1// Generated by purs version 0.15.16
2import * as Record from "../Record/index.js";
3var BindStep = /* #__PURE__ */ (function () {
4 function BindStep(value0, value1) {
8 BindStep.create = function (value0) {
9 return function (value1) {
10 return new BindStep(value0, value1);
15var foldingWithIndexBindStepP = function (dictIsSymbol) {
16 var get = Record.get(dictIsSymbol)();
17 var insert = Record.insert(dictIsSymbol)()();
22 foldingWithIndex: function (v) {
23 return function (mthName) {
24 return function (boundedProps) {
25 return function (v1) {
26 var mth = get(mthName)(v.value1);
27 return insert(mthName)(mth(v.value0))(boundedProps);
39 foldingWithIndexBindStepP
41//# sourceMappingURL=index.js.map
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