| function lens(get, set) { | |
| var f = function (a) { return get(a); }; | |
| f.set = set; | |
| f.mod = function (f, a) { return set(a, f(get(a))); }; | |
| return f; | |
| } | |
| var first = lens( | |
| function (a) { return a[0]; }, | |
| function (a, b) { return [b].concat(a.slice(1)); } |
| /// PRELIMINARIES | |
| /** | |
| * Generalized "products" of any size. For gluing things together. A tuple is a | |
| * "2"-meet. | |
| * | |
| * The type `Meet a b c d ...` indicates a `Meet` of the given size with values | |
| * at each type in the sequence. | |
| */ |
I published a library which implements this idea; furry.
| # | From | To | Normal | Alternative |
|---|---|---|---|---|
| 1 | a → b → c |
a → c |
f(_, b)(a) |
f(_, b)(a) |
| 2 | a → b → c |
b → a → c |
nope | f(_)(b, a) |
| 3 | a → b → c → d |
b → d |
f(a, _, c)(b) |
f(a, _, c)(b) |
| 4 | a → b → c → d |
a → b → d |
f(_, _, c)(a, b) |
f(_, _, c)(a, b) |
| 5 | a → b → c → d |
a → c → d |
f(_, b)(a, c) |
f(_, b, _)(a, c) |
| #!/usr/bin/env bash | |
| # Browse Ramda documentation in Terminal | |
| # Requires jq and a tool such as fzf or peco for interactive filtering | |
| LATEST="http://raine.github.io/ramda-json-docs/latest.json" | |
| DOCS_URL="http://ramdajs.com/docs/" | |
| json=$(curl -s $LATEST) | |
| functions=$(echo "$json" | jq -r '.[] | if .sig and (.sig | length > 0) then .name + " :: " + .sig else .name end') |
| hush :: Either e a -> Maybe a | |
| hush = either (const Nothing) Just | |
| toId :: JObject -> Maybe Number | |
| toId o = fromNumber <|> fromString | |
| where | |
| fromNumber = hush $ o .? "id" | |
| fromString = do | |
| s <- hush $ o .? "id" | |
| mfilter (isNan >>> not) Just (readFloat s) |
| // | |
| // utils | |
| // | |
| const thrush = x => f => f(x); | |
| const indexBy = k => xs => xs.reduce((index, x) => { | |
| if(index[x[k]] != null) index[x[k]].push(x); | |
| else index[x[k]] = [x]; | |
| return index; |
| # A simple Makefile alternative to using Grunt for your static asset compilation | |
| # | |
| ## Usage | |
| # | |
| # $ npm install | |
| # | |
| # And then you can run various commands: | |
| # | |
| # $ make # compile files that need compiling | |
| # $ make clean all # remove target files and recompile from scratch |
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta http-equiv="content-type" content="text/html; charset=UTF-8"> | |
| <title>WebKit contentEditable focus bug workaround</title> | |
| <script type='text/javascript' src='http://code.jquery.com/jquery-1.6.2.js'></script> | |
| <script type='text/javascript'> | |
| //<
| wget http://download.virtualbox.org/virtualbox/4.3.12/VBoxGuestAdditions_4.3.12.iso | |
| sudo mkdir /media/iso | |
| sudo mount -o loop ./VBoxGuestAdditions_4.3.12.iso /media/iso | |
| sudo bash /media/iso/VBoxLinuxAdditions.run --nox11 | |
| sudo umount /media/iso |
| /* eslint-disable new-cap */ | |
| /** | |
| * Lens types. | |
| * =========== | |
| * | |
| * a * b = {fst: a, snd: b} | |
| * a + b = {index: Boolean, value: a | b} | |
| * | |
| * Iso s t a b = forall (~>) . Profunctor (~>) => (a ~> b) -> (s ~> t) |
