purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
652 lines (650 loc) • 27.6 kB
JavaScript
// Generated by purs version 0.14.3
;
var Control_Alt = require("../Control.Alt/index.js");
var Control_Alternative = require("../Control.Alternative/index.js");
var Control_Applicative = require("../Control.Applicative/index.js");
var Control_Apply = require("../Control.Apply/index.js");
var Control_Bind = require("../Control.Bind/index.js");
var Control_Category = require("../Control.Category/index.js");
var Control_Monad = require("../Control.Monad/index.js");
var Control_Monad_Error_Class = require("../Control.Monad.Error.Class/index.js");
var Control_Monad_Except = require("../Control.Monad.Except/index.js");
var Control_Monad_Except_Trans = require("../Control.Monad.Except.Trans/index.js");
var Control_Monad_Reader = require("../Control.Monad.Reader/index.js");
var Control_Monad_Reader_Class = require("../Control.Monad.Reader.Class/index.js");
var Control_Monad_Reader_Trans = require("../Control.Monad.Reader.Trans/index.js");
var Control_Monad_State_Class = require("../Control.Monad.State.Class/index.js");
var Control_Monad_State_Trans = require("../Control.Monad.State.Trans/index.js");
var Control_Monad_Trans_Class = require("../Control.Monad.Trans.Class/index.js");
var Control_MonadPlus = require("../Control.MonadPlus/index.js");
var Control_Plus = require("../Control.Plus/index.js");
var Data_Array = require("../Data.Array/index.js");
var Data_Either = require("../Data.Either/index.js");
var Data_Exists = require("../Data.Exists/index.js");
var Data_Function = require("../Data.Function/index.js");
var Data_Functor = require("../Data.Functor/index.js");
var Data_Identity = require("../Data.Identity/index.js");
var Data_List_Types = require("../Data.List.Types/index.js");
var Data_Maybe = require("../Data.Maybe/index.js");
var Data_Newtype = require("../Data.Newtype/index.js");
var Data_Tuple = require("../Data.Tuple/index.js");
var Data_Unit = require("../Data.Unit/index.js");
var Options_Applicative_Types = require("../Options.Applicative.Types/index.js");
var TNil = (function () {
function TNil() {
};
TNil.value = new TNil();
return TNil;
})();
var TCons = (function () {
function TCons(value0, value1) {
this.value0 = value0;
this.value1 = value1;
};
TCons.create = function (value0) {
return function (value1) {
return new TCons(value0, value1);
};
};
return TCons;
})();
var P = function (x) {
return x;
};
var MonadP = function (Alt1, Monad0, enterContext, errorP, exitContext, exitP, getPrefs, missingArgP) {
this.Alt1 = Alt1;
this.Monad0 = Monad0;
this.enterContext = enterContext;
this.errorP = errorP;
this.exitContext = exitContext;
this.exitP = exitP;
this.getPrefs = getPrefs;
this.missingArgP = missingArgP;
};
var ListT = function (x) {
return x;
};
var NondetT = function (x) {
return x;
};
var ComplParser = (function () {
function ComplParser(value0, value1) {
this.value0 = value0;
this.value1 = value1;
};
ComplParser.create = function (value0) {
return function (value1) {
return new ComplParser(value0, value1);
};
};
return ComplParser;
})();
var ComplOption = (function () {
function ComplOption(value0) {
this.value0 = value0;
};
ComplOption.create = function (value0) {
return new ComplOption(value0);
};
return ComplOption;
})();
var ComplResult = (function () {
function ComplResult(value0) {
this.value0 = value0;
};
ComplResult.create = function (value0) {
return new ComplResult(value0);
};
return ComplResult;
})();
var Completion = function (x) {
return x;
};
var withReadM = function (f) {
var f$prime = function (v) {
if (v instanceof Options_Applicative_Types.ErrorMsg) {
return new Options_Applicative_Types.ErrorMsg(f(v.value0));
};
return v;
};
var $136 = Control_Monad_Reader_Trans.mapReaderT(Control_Monad_Except.withExcept(f$prime));
var $137 = Data_Newtype.un()(Options_Applicative_Types.ReadM);
return function ($138) {
return Options_Applicative_Types.ReadM($136($137($138)));
};
};
var stepListT = function (v) {
return v;
};
var runP = function (v) {
return Control_Monad_Reader.runReader(Data_Function.flip(Control_Monad_State_Trans.runStateT)([ ])(Control_Monad_Except_Trans.runExceptT(v)));
};
var runNondetT = function (v) {
return v;
};
var runListT = function (dictMonad) {
return function (xs) {
return Control_Bind.bind(dictMonad.Bind1())(stepListT(xs))(function (s) {
if (s instanceof TNil) {
return Control_Applicative.pure(dictMonad.Applicative0())(Data_List_Types.Nil.value);
};
if (s instanceof TCons) {
return Control_Monad.liftM1(dictMonad)(Data_List_Types.Cons.create(s.value0))(runListT(dictMonad)(s.value1));
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 200, column 3 - line 202, column 53): " + [ s.constructor.name ]);
});
};
};
var runCompletion = function (v) {
return function (prefs) {
var v1 = Control_Monad_Reader_Trans.runReaderT(Control_Monad_Except_Trans.runExceptT(v))(prefs);
if (v1 instanceof ComplResult) {
return Data_Maybe.Nothing.value;
};
if (v1 instanceof ComplParser) {
return Data_Maybe.Just.create(new Data_Either.Left(new Data_Tuple.Tuple(v1.value0, v1.value1)));
};
if (v1 instanceof ComplOption) {
return Data_Maybe.Just.create(new Data_Either.Right(v1.value0));
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 170, column 38 - line 173, column 42): " + [ v1.constructor.name ]);
};
};
var pFunctor = new Data_Functor.Functor(function (f) {
return function (v) {
return P(Data_Functor.map(Control_Monad_Except_Trans.functorExceptT(Control_Monad_State_Trans.functorStateT(Control_Monad_Reader_Trans.functorReaderT(Data_Identity.functorIdentity))))(f)(v));
};
});
var pApply = new Control_Apply.Apply(function () {
return pFunctor;
}, function (v) {
return function (v1) {
return P(Control_Apply.apply(Control_Monad_Except_Trans.applyExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))))(v)(v1));
};
});
var pBind = new Control_Bind.Bind(function () {
return pApply;
}, function (v) {
return function (k) {
return P(Control_Bind.bind(Control_Monad_Except_Trans.bindExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))))(v)(function (a) {
var v1 = k(a);
return v1;
}));
};
});
var pApplicative = new Control_Applicative.Applicative(function () {
return pApply;
}, function (a) {
return P(Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))))(a));
});
var pMonad = new Control_Monad.Monad(function () {
return pApplicative;
}, function () {
return pBind;
});
var pAlt = new Control_Alt.Alt(function () {
return pFunctor;
}, function (v) {
return function (v1) {
return P(Control_Alt.alt(Control_Monad_Except_Trans.altExceptT(Options_Applicative_Types.parseErrorSemigroup)(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))))(v)(v1));
};
});
var missingArgP = function (dict) {
return dict.missingArgP;
};
var getPrefs = function (dict) {
return dict.getPrefs;
};
var exitP = function (dict) {
return dict.exitP;
};
var exitContext = function (dict) {
return dict.exitContext;
};
var errorP = function (dict) {
return dict.errorP;
};
var hoistEither = function (dictMonadP) {
return Data_Either.either(errorP(dictMonadP))(Control_Applicative.pure((dictMonadP.Monad0()).Applicative0()));
};
var runReadM = function (dictMonadP) {
return function (v) {
return function (s) {
return hoistEither(dictMonadP)(Control_Monad_Except.runExcept(Control_Monad_Reader_Trans.runReaderT(v)(s)));
};
};
};
var hoistMaybe = function (dictMonadP) {
return function (err) {
return Data_Maybe.maybe(errorP(dictMonadP)(err))(Control_Applicative.pure((dictMonadP.Monad0()).Applicative0()));
};
};
var pMonadP = new MonadP(function () {
return pAlt;
}, function () {
return pMonad;
}, function (name) {
return function (pinfo) {
return P(Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))(Control_Monad_State_Class.modify_(Control_Monad_State_Trans.monadStateStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))(Data_Array.cons(new Options_Applicative_Types.Context(name, Data_Exists.mkExists(pinfo))))));
};
}, (function () {
var $139 = Control_Monad_Error_Class.throwError(Control_Monad_Except_Trans.monadThrowExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))));
return function ($140) {
return P($139($140));
};
})(), P(Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))(Control_Monad_State_Class.modify_(Control_Monad_State_Trans.monadStateStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))(Data_Array.drop(1)))), function (i) {
return function (v) {
return function (p) {
var $141 = Data_Maybe.maybe(Control_Monad_Error_Class.throwError(Control_Monad_Except_Trans.monadThrowExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))))(Options_Applicative_Types.MissingError.create(i)(Options_Applicative_Types.SomeParser.create(Data_Exists.mkExists(p)))))(Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))));
return function ($142) {
return P($141($142));
};
};
};
}, P(Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_State_Trans.monadStateT(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity)))(Control_Monad_Trans_Class.lift(Control_Monad_State_Trans.monadTransStateT)(Control_Monad_Reader_Trans.monadReaderT(Data_Identity.monadIdentity))(Control_Monad_Reader_Class.ask(Control_Monad_Reader_Trans.monadAskReaderT(Data_Identity.monadIdentity))))), function (e) {
return function (v) {
return errorP(pMonadP)(e);
};
});
var enterContext = function (dict) {
return dict.enterContext;
};
var contextNames = function (ns) {
var go = function (v) {
return v.value0;
};
return Data_Array.reverse(Data_Functor.map(Data_Functor.functorArray)(go)(ns));
};
var complResultMonad = new Control_Monad.Monad(function () {
return complResultApplicative;
}, function () {
return complResultBind;
});
var complResultFunctor = new Data_Functor.Functor(Control_Monad.liftM1(complResultMonad));
var complResultBind = new Control_Bind.Bind(function () {
return complResultApply;
}, function (m) {
return function (f) {
if (m instanceof ComplResult) {
return f(m.value0);
};
if (m instanceof ComplParser) {
return new ComplParser(m.value0, m.value1);
};
if (m instanceof ComplOption) {
return new ComplOption(m.value0);
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 134, column 14 - line 137, column 35): " + [ m.constructor.name ]);
};
});
var complResultApply = new Control_Apply.Apply(function () {
return complResultFunctor;
}, Control_Monad.ap(complResultMonad));
var complResultApplicative = new Control_Applicative.Applicative(function () {
return complResultApply;
}, ComplResult.create);
var completionFunctor = new Data_Functor.Functor(function (f) {
return function (v) {
return Completion(Data_Functor.map(Control_Monad_Except_Trans.functorExceptT(Control_Monad_Reader_Trans.functorReaderT(complResultFunctor)))(f)(v));
};
});
var completionAlt = new Control_Alt.Alt(function () {
return completionFunctor;
}, function (v) {
return function (v1) {
return Completion(Control_Alt.alt(Control_Monad_Except_Trans.altExceptT(Options_Applicative_Types.parseErrorSemigroup)(Control_Monad_Reader_Trans.monadReaderT(complResultMonad)))(v)(v1));
};
});
var completionApply = new Control_Apply.Apply(function () {
return completionFunctor;
}, function (v) {
return function (v1) {
return Completion(Control_Apply.apply(Control_Monad_Except_Trans.applyExceptT(Control_Monad_Reader_Trans.monadReaderT(complResultMonad)))(v)(v1));
};
});
var completionApplicative = new Control_Applicative.Applicative(function () {
return completionApply;
}, function (a) {
return Completion(Control_Applicative.pure(Control_Monad_Except_Trans.applicativeExceptT(Control_Monad_Reader_Trans.monadReaderT(complResultMonad)))(a));
});
var completionBind = new Control_Bind.Bind(function () {
return completionApply;
}, function (v) {
return function (k) {
return Completion(Control_Bind.bind(Control_Monad_Except_Trans.bindExceptT(Control_Monad_Reader_Trans.monadReaderT(complResultMonad)))(v)(function (a) {
var v1 = k(a);
return v1;
}));
};
});
var completionMonad = new Control_Monad.Monad(function () {
return completionApplicative;
}, function () {
return completionBind;
});
var completionMonadP = new MonadP(function () {
return completionAlt;
}, function () {
return completionMonad;
}, function (v) {
return function (v1) {
return Control_Applicative.pure(completionApplicative)(Data_Unit.unit);
};
}, (function () {
var $143 = Control_Monad_Error_Class.throwError(Control_Monad_Except_Trans.monadThrowExceptT(Control_Monad_Reader_Trans.monadReaderT(complResultMonad)));
return function ($144) {
return Completion($143($144));
};
})(), Control_Applicative.pure(completionApplicative)(Data_Unit.unit), function (v) {
return function (a) {
return function (p) {
return function (v1) {
return Completion(Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_Reader_Trans.monadReaderT(complResultMonad))(Control_Monad_Trans_Class.lift(Control_Monad_Reader_Trans.monadTransReaderT)(complResultMonad)(new ComplParser(Options_Applicative_Types.SomeParser.create(Data_Exists.mkExists(p)), a))));
};
};
};
}, Completion(Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_Reader_Trans.monadReaderT(complResultMonad))(Control_Monad_Reader_Class.ask(Control_Monad_Reader_Trans.monadAskReaderT(complResultMonad)))), function (v) {
var $145 = Control_Monad_Trans_Class.lift(Control_Monad_Except_Trans.monadTransExceptT)(Control_Monad_Reader_Trans.monadReaderT(complResultMonad));
var $146 = Control_Monad_Trans_Class.lift(Control_Monad_Reader_Trans.monadTransReaderT)(complResultMonad);
return function ($147) {
return Completion($145($146(ComplOption.create($147))));
};
});
var bimapTStep = function (v) {
return function (v1) {
return function (v2) {
if (v2 instanceof TNil) {
return TNil.value;
};
if (v2 instanceof TCons) {
return new TCons(v(v2.value0), v1(v2.value1));
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 186, column 1 - line 186, column 77): " + [ v.constructor.name, v1.constructor.name, v2.constructor.name ]);
};
};
};
var listTFunctor = function (dictMonad) {
return new Data_Functor.Functor(function (f) {
return function (v) {
return ListT(Control_Monad.liftM1(dictMonad)(bimapTStep(f)(Data_Functor.map(listTFunctor(dictMonad))(f)))(stepListT(v)));
};
});
};
var listTAlt = function (dictMonad) {
return new Control_Alt.Alt(function () {
return listTFunctor(dictMonad);
}, function (xs) {
return function (ys) {
return ListT(Control_Bind.bind(dictMonad.Bind1())(stepListT(xs))(function (s) {
if (s instanceof TNil) {
return stepListT(ys);
};
if (s instanceof TCons) {
return Control_Applicative.pure(dictMonad.Applicative0())(new TCons(s.value0, Control_Alt.alt(listTAlt(dictMonad))(s.value1)(ys)));
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 227, column 5 - line 229, column 49): " + [ s.constructor.name ]);
}));
};
});
};
var listTPlus = function (dictMonad) {
return new Control_Plus.Plus(function () {
return listTAlt(dictMonad);
}, Control_Applicative.pure(dictMonad.Applicative0())(TNil.value));
};
var hoistList = function (dictMonad) {
return Data_Array.foldr(function (x) {
return function (xt) {
return Control_Applicative.pure(dictMonad.Applicative0())(new TCons(x, xt));
};
})(Control_Plus.empty(listTPlus(dictMonad)));
};
var listTMonadTrans = new Control_Monad_Trans_Class.MonadTrans(function (dictMonad) {
var $148 = Control_Monad.liftM1(dictMonad)(function (v) {
return new TCons(v, Control_Plus.empty(listTPlus(dictMonad)));
});
return function ($149) {
return ListT($148($149));
};
});
var cut = function (dictMonad) {
return NondetT(Control_Monad_Trans_Class.lift(listTMonadTrans)(Control_Monad_State_Trans.monadStateT(dictMonad))(Control_Monad_State_Class.put(Control_Monad_State_Trans.monadStateStateT(dictMonad))(true)));
};
var nondetTMonadTrans = new Control_Monad_Trans_Class.MonadTrans(function (dictMonad) {
var $150 = Control_Monad_Trans_Class.lift(listTMonadTrans)(Control_Monad_State_Trans.monadStateT(dictMonad));
var $151 = Control_Monad_Trans_Class.lift(Control_Monad_State_Trans.monadTransStateT)(dictMonad);
return function ($152) {
return NondetT($150($151($152)));
};
});
var listTMonad = function (dictMonad) {
return new Control_Monad.Monad(function () {
return listTApplicative(dictMonad);
}, function () {
return listTBind(dictMonad);
});
};
var listTBind = function (dictMonad) {
return new Control_Bind.Bind(function () {
return listTApply(dictMonad);
}, function (xs) {
return function (f) {
return ListT(Control_Bind.bind(dictMonad.Bind1())(stepListT(xs))(function (s) {
if (s instanceof TNil) {
return Control_Applicative.pure(dictMonad.Applicative0())(TNil.value);
};
if (s instanceof TCons) {
return stepListT(Control_Alt.alt(listTAlt(dictMonad))(f(s.value0))(Control_Bind.bind(listTBind(dictMonad))(s.value1)(f)));
};
throw new Error("Failed pattern match at Options.Applicative.Internal (line 218, column 5 - line 220, column 53): " + [ s.constructor.name ]);
}));
};
});
};
var listTApply = function (dictMonad) {
return new Control_Apply.Apply(function () {
return listTFunctor(dictMonad);
}, Control_Monad.ap(listTMonad(dictMonad)));
};
var listTApplicative = function (dictMonad) {
return new Control_Applicative.Applicative(function () {
return listTApply(dictMonad);
}, (function () {
var $153 = hoistList(dictMonad);
var $154 = Control_Applicative.pure(Control_Applicative.applicativeArray);
return function ($155) {
return $153($154($155));
};
})());
};
var listTAlternative = function (dictMonad) {
return new Control_Alternative.Alternative(function () {
return listTApplicative(dictMonad);
}, function () {
return listTPlus(dictMonad);
});
};
var listTMonadPlus = function (dictMonad) {
return new Control_MonadPlus.MonadPlus(function () {
return listTAlternative(dictMonad);
}, function () {
return listTMonad(dictMonad);
});
};
var nondetTAltOp = function (dictMonad) {
return function (m1) {
return function (m2) {
return NondetT(Control_Alt.alt(listTAlt(Control_Monad_State_Trans.monadStateT(dictMonad)))(runNondetT(m1))(Control_Bind.bind(listTBind(Control_Monad_State_Trans.monadStateT(dictMonad)))(Control_Monad_Trans_Class.lift(listTMonadTrans)(Control_Monad_State_Trans.monadStateT(dictMonad))(Control_Monad_State_Class.get(Control_Monad_State_Trans.monadStateStateT(dictMonad))))(function (s) {
return Control_Bind.discard(Control_Bind.discardUnit)(listTBind(Control_Monad_State_Trans.monadStateT(dictMonad)))(Control_Alternative.guard(listTAlternative(Control_Monad_State_Trans.monadStateT(dictMonad)))(!s))(function () {
return runNondetT(m2);
});
})));
};
};
};
var nondetTFunctor = function (dictMonad) {
return new Data_Functor.Functor(function (f) {
var $156 = Data_Functor.map(listTFunctor(Control_Monad_State_Trans.monadStateT(dictMonad)))(f);
return function ($157) {
return NondetT($156(runNondetT($157)));
};
});
};
var nondetTAlt = function (dictMonad) {
return new Control_Alt.Alt(function () {
return nondetTFunctor(dictMonad);
}, function (v) {
return function (v1) {
return Control_Alt.alt(listTAlt(Control_Monad_State_Trans.monadStateT(dictMonad)))(v)(v1);
};
});
};
var nondetTPlus = function (dictMonad) {
return new Control_Plus.Plus(function () {
return nondetTAlt(dictMonad);
}, Control_Plus.empty(listTPlus(Control_Monad_State_Trans.monadStateT(dictMonad))));
};
var nondetTApply = function (dictMonad) {
return new Control_Apply.Apply(function () {
return nondetTFunctor(dictMonad);
}, function (v) {
return function (v1) {
return Control_Apply.apply(listTApply(Control_Monad_State_Trans.monadStateT(dictMonad)))(v)(v1);
};
});
};
var nondetTApplicative = function (dictMonad) {
return new Control_Applicative.Applicative(function () {
return nondetTApply(dictMonad);
}, (function () {
var $158 = Control_Applicative.pure(listTApplicative(Control_Monad_State_Trans.monadStateT(dictMonad)));
return function ($159) {
return NondetT($158($159));
};
})());
};
var nondetTAlternative = function (dictMonad) {
return new Control_Alternative.Alternative(function () {
return nondetTApplicative(dictMonad);
}, function () {
return nondetTPlus(dictMonad);
});
};
var nondetTBind = function (dictMonad) {
return new Control_Bind.Bind(function () {
return nondetTApply(dictMonad);
}, function (v) {
return function (f) {
return NondetT(Control_Bind.bind(listTBind(Control_Monad_State_Trans.monadStateT(dictMonad)))(v)(function ($160) {
return runNondetT(f($160));
}));
};
});
};
var nondetTMonad = function (dictMonad) {
return new Control_Monad.Monad(function () {
return nondetTApplicative(dictMonad);
}, function () {
return nondetTBind(dictMonad);
});
};
var nondetTMonadPlus = function (dictMonad) {
return new Control_MonadPlus.MonadPlus(function () {
return nondetTAlternative(dictMonad);
}, function () {
return nondetTMonad(dictMonad);
});
};
var takeListT = function (dictMonad) {
return function (v) {
if (v === 0) {
return Data_Function["const"](Control_Plus.empty(listTPlus(dictMonad)));
};
var $161 = Control_Monad.liftM1(dictMonad)(bimapTStep(Control_Category.identity(Control_Category.categoryFn))(takeListT(dictMonad)(v - 1 | 0)));
return function ($162) {
return ListT($161(stepListT($162)));
};
};
};
var disamb = function (dictMonad) {
return function (allow_amb) {
return function (xs) {
return Control_Bind.bind(dictMonad.Bind1())((function (v) {
return Control_Monad_State_Trans.evalStateT(((dictMonad.Bind1()).Apply0()).Functor0())(v)(false);
})(runListT(Control_Monad_State_Trans.monadStateT(dictMonad))(takeListT(Control_Monad_State_Trans.monadStateT(dictMonad))((function () {
if (allow_amb) {
return 1;
};
return 2;
})())(runNondetT(xs)))))(function (xs$prime) {
return Control_Applicative.pure(dictMonad.Applicative0())((function () {
if (xs$prime instanceof Data_List_Types.Cons && xs$prime.value1 instanceof Data_List_Types.Nil) {
return new Data_Maybe.Just(xs$prime.value0);
};
return Data_Maybe.Nothing.value;
})());
});
};
};
};
module.exports = {
MonadP: MonadP,
enterContext: enterContext,
exitContext: exitContext,
getPrefs: getPrefs,
missingArgP: missingArgP,
errorP: errorP,
exitP: exitP,
hoistMaybe: hoistMaybe,
hoistEither: hoistEither,
runReadM: runReadM,
withReadM: withReadM,
runP: runP,
runCompletion: runCompletion,
contextNames: contextNames,
takeListT: takeListT,
runListT: runListT,
cut: cut,
nondetTAltOp: nondetTAltOp,
disamb: disamb,
pFunctor: pFunctor,
pApply: pApply,
pApplicative: pApplicative,
pAlt: pAlt,
pBind: pBind,
pMonad: pMonad,
pMonadP: pMonadP,
completionFunctor: completionFunctor,
completionApply: completionApply,
completionApplicative: completionApplicative,
completionAlt: completionAlt,
completionBind: completionBind,
completionMonad: completionMonad,
completionMonadP: completionMonadP,
listTFunctor: listTFunctor,
listTApply: listTApply,
listTApplicative: listTApplicative,
listTBind: listTBind,
listTMonad: listTMonad,
listTAlt: listTAlt,
listTPlus: listTPlus,
listTAlternative: listTAlternative,
listTMonadTrans: listTMonadTrans,
listTMonadPlus: listTMonadPlus,
nondetTFunctor: nondetTFunctor,
nondetTApply: nondetTApply,
nondetTApplicative: nondetTApplicative,
nondetTBind: nondetTBind,
nondetTMonad: nondetTMonad,
nondetTMonadPlus: nondetTMonadPlus,
nondetTAlt: nondetTAlt,
nondetTPlus: nondetTPlus,
nondetTAlternative: nondetTAlternative,
nondetTMonadTrans: nondetTMonadTrans,
ErrorMsg: Options_Applicative_Types.ErrorMsg,
ExpectsArgError: Options_Applicative_Types.ExpectsArgError,
InfoMsg: Options_Applicative_Types.InfoMsg,
MissingError: Options_Applicative_Types.MissingError,
ShowHelpText: Options_Applicative_Types.ShowHelpText,
UnexpectedError: Options_Applicative_Types.UnexpectedError
};