1// Generated by purs version 0.15.16
2import * as Data_Either from "../Data.Either/index.js";
3import * as Data_Lens_Internal_Wander from "../Data.Lens.Internal.Wander/index.js";
4import * as Data_Profunctor from "../Data.Profunctor/index.js";
5import * as Data_Profunctor_Choice from "../Data.Profunctor.Choice/index.js";
6import * as Data_Profunctor_Strong from "../Data.Profunctor.Strong/index.js";
7import * as Data_Tuple from "../Data.Tuple/index.js";
8var second = /* #__PURE__ */ Data_Profunctor_Strong.second(Data_Profunctor_Strong.strongFn);
9var Indexed = function (x) {
12var profunctorIndexed = function (dictProfunctor) {
13 var dimap = Data_Profunctor.dimap(dictProfunctor);
18 return dimap(second(f))(g)(v);
24var strongIndexed = function (dictStrong) {
25 var Profunctor0 = dictStrong.Profunctor0();
26 var lcmap = Data_Profunctor.lcmap(Profunctor0);
27 var first = Data_Profunctor_Strong.first(dictStrong);
28 var second1 = Data_Profunctor_Strong.second(dictStrong);
29 var profunctorIndexed1 = profunctorIndexed(Profunctor0);
32 return lcmap(function (v1) {
33 return new Data_Tuple.Tuple(new Data_Tuple.Tuple(v1.value0, v1.value1.value0), v1.value1.value1);
36 second: function (v) {
37 return lcmap(function (v1) {
38 return new Data_Tuple.Tuple(v1.value1.value0, new Data_Tuple.Tuple(v1.value0, v1.value1.value1));
41 Profunctor0: function () {
42 return profunctorIndexed1;
47 Coercible0: function () {
51var choiceIndexed = function (dictChoice) {
52 var Profunctor0 = dictChoice.Profunctor0();
53 var lcmap = Data_Profunctor.lcmap(Profunctor0);
54 var left = Data_Profunctor_Choice.left(dictChoice);
55 var right = Data_Profunctor_Choice.right(dictChoice);
56 var profunctorIndexed1 = profunctorIndexed(Profunctor0);
59 return lcmap(function (v1) {
60 return Data_Either.either((function () {
61 var $63 = Data_Tuple.Tuple.create(v1.value0);
62 return function ($64) {
63 return Data_Either.Left.create($63($64));
65 })())(Data_Either.Right.create)(v1.value1);
69 return lcmap(function (v1) {
70 return Data_Either.either(Data_Either.Left.create)((function () {
71 var $65 = Data_Tuple.Tuple.create(v1.value0);
72 return function ($66) {
73 return Data_Either.Right.create($65($66));
78 Profunctor0: function () {
79 return profunctorIndexed1;
83var wanderIndexed = function (dictWander) {
84 var wander = Data_Lens_Internal_Wander.wander(dictWander);
85 var strongIndexed1 = strongIndexed(dictWander.Strong0());
86 var choiceIndexed1 = choiceIndexed(dictWander.Choice1());
88 wander: function (trav) {
90 return wander(function (dictApplicative) {
91 var trav2 = trav(dictApplicative);
92 return function (ia2fb) {
93 return function (v1) {
94 return trav2((function () {
95 var $67 = Data_Tuple.Tuple.create(v1.value0);
96 return function ($68) {
97 return ia2fb($67($68));
105 Strong0: function () {
106 return strongIndexed1;
108 Choice1: function () {
109 return choiceIndexed1;
121//# 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