purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
114 lines (113 loc) • 4.11 kB
JavaScript
// Generated by purs version 0.14.3
;
var Control_Comonad = require("../Control.Comonad/index.js");
var Control_Comonad_Trans_Class = require("../Control.Comonad.Trans.Class/index.js");
var Control_Extend = require("../Control.Extend/index.js");
var Data_Foldable = require("../Data.Foldable/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var Data_Traversable = require("../Data.Traversable/index.js");
var Data_Tuple = require("../Data.Tuple/index.js");
var EnvT = function (x) {
return x;
};
var withEnvT = function (f) {
return function (v) {
return EnvT(new Data_Tuple.Tuple(f(v.value0), v.value1));
};
};
var runEnvT = function (v) {
return v;
};
var newtypeEnvT = new Data_Newtype.Newtype(function () {
return undefined;
});
var mapEnvT = function (f) {
return function (v) {
return EnvT(new Data_Tuple.Tuple(v.value0, f(v.value1)));
};
};
var functorEnvT = function (dictFunctor) {
return new Data_Functor.Functor(function (f) {
return function (v) {
return EnvT(new Data_Tuple.Tuple(v.value0, Data_Functor.map(dictFunctor)(f)(v.value1)));
};
});
};
var foldableEnvT = function (dictFoldable) {
return new Data_Foldable.Foldable(function (dictMonoid) {
return function (fn) {
return function (v) {
return Data_Foldable.foldMap(dictFoldable)(dictMonoid)(fn)(v.value1);
};
};
}, function (fn) {
return function (a) {
return function (v) {
return Data_Foldable.foldl(dictFoldable)(fn)(a)(v.value1);
};
};
}, function (fn) {
return function (a) {
return function (v) {
return Data_Foldable.foldr(dictFoldable)(fn)(a)(v.value1);
};
};
});
};
var traversableEnvT = function (dictTraversable) {
return new Data_Traversable.Traversable(function () {
return foldableEnvT(dictTraversable.Foldable1());
}, function () {
return functorEnvT(dictTraversable.Functor0());
}, function (dictApplicative) {
return function (v) {
return Data_Functor.map((dictApplicative.Apply0()).Functor0())(Data_Functor.map(Data_Functor.functorFn)(EnvT)(Data_Tuple.Tuple.create(v.value0)))(Data_Traversable.sequence(dictTraversable)(dictApplicative)(v.value1));
};
}, function (dictApplicative) {
return function (f) {
return function (v) {
return Data_Functor.map((dictApplicative.Apply0()).Functor0())(Data_Functor.map(Data_Functor.functorFn)(EnvT)(Data_Tuple.Tuple.create(v.value0)))(Data_Traversable.traverse(dictTraversable)(dictApplicative)(f)(v.value1));
};
};
});
};
var extendEnvT = function (dictExtend) {
return new Control_Extend.Extend(function () {
return functorEnvT(dictExtend.Functor0());
}, function (f) {
return function (v) {
return EnvT(new Data_Tuple.Tuple(v.value0, Data_Functor.map(dictExtend.Functor0())(f)(Control_Extend.extend(dictExtend)((function () {
var $65 = Data_Tuple.Tuple.create(v.value0);
return function ($66) {
return EnvT($65($66));
};
})())(v.value1))));
};
});
};
var comonadTransEnvT = new Control_Comonad_Trans_Class.ComonadTrans(function (dictComonad) {
return function (v) {
return v.value1;
};
});
var comonadEnvT = function (dictComonad) {
return new Control_Comonad.Comonad(function () {
return extendEnvT(dictComonad.Extend0());
}, function (v) {
return Control_Comonad.extract(dictComonad)(v.value1);
});
};
module.exports = {
EnvT: EnvT,
runEnvT: runEnvT,
withEnvT: withEnvT,
mapEnvT: mapEnvT,
newtypeEnvT: newtypeEnvT,
functorEnvT: functorEnvT,
extendEnvT: extendEnvT,
comonadEnvT: comonadEnvT,
comonadTransEnvT: comonadTransEnvT,
foldableEnvT: foldableEnvT,
traversableEnvT: traversableEnvT
};