1// Generated by purs version 0.13.6
3var Data_FoldableWithIndex = require("../Data.FoldableWithIndex/index.js");
4var Data_FunctorWithIndex = require("../Data.FunctorWithIndex/index.js");
5var Data_Traversable = require("../Data.Traversable/index.js");
6var TraversableWithIndex = function (FoldableWithIndex1, FunctorWithIndex0, Traversable2, traverseWithIndex) {
7 this.FoldableWithIndex1 = FoldableWithIndex1;
8 this.FunctorWithIndex0 = FunctorWithIndex0;
9 this.Traversable2 = Traversable2;
10 this.traverseWithIndex = traverseWithIndex;
12var traverseWithIndexDefault = function (dictTraversableWithIndex) {
13 return function (dictApplicative) {
15 var $295 = Data_Traversable.sequence(dictTraversableWithIndex.Traversable2())(dictApplicative);
16 var $296 = Data_FunctorWithIndex.mapWithIndex(dictTraversableWithIndex.FunctorWithIndex0())(f);
17 return function ($297) {
18 return $295($296($297));
23var traverseWithIndex = function (dict) {
24 return dict.traverseWithIndex;
26var traversableWithIndexArray = new TraversableWithIndex(function ($dollar__unused) {
27 return Data_FoldableWithIndex.foldableWithIndexArray;
28}, function ($dollar__unused) {
29 return Data_FunctorWithIndex.functorWithIndexArray;
30}, function ($dollar__unused) {
31 return Data_Traversable.traversableArray;
32}, function (dictApplicative) {
33 return traverseWithIndexDefault(traversableWithIndexArray)(dictApplicative);
36 TraversableWithIndex: TraversableWithIndex,
37 traverseWithIndex: traverseWithIndex,
38 traverseWithIndexDefault: traverseWithIndexDefault,
39 traversableWithIndexArray: traversableWithIndexArray
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