1// Generated by purs version 0.13.6
3var $foreign = require("./foreign.js");
4var withArray = function (f) {
6 return function __do() {
7 var result = $foreign.thaw(xs)();
8 var $dollar__unused = f(result)();
9 return $foreign.unsafeFreeze(result)();
13var push = function (a) {
14 return $foreign.pushAll([ a ]);
19 pushAll: $foreign.pushAll,
21 unsafeFreeze: $foreign.unsafeFreeze
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list