From 6a4cf465bb8f4bd008a43aad3857ad99626720ee Mon Sep 17 00:00:00 2001 From: Arnaud Boeglin Date: Sun, 2 May 2021 09:09:07 +0200 Subject: [PATCH] chore: Update snapshots and bump version for release --- .../golden | 2 +- .snapshots/should_compile_JSX/golden | 8 +- .../golden | 12 +- .../golden | 28 ++--- .../golden | 26 ++-- .../should_compile_monad_transformers/golden | 114 +++++++++--------- .../golden | 114 +++++++++--------- .../golden | 2 +- madlib.cabal | 4 +- package.yaml | 2 +- pkg/package.json | 2 +- 11 files changed, 157 insertions(+), 157 deletions(-) diff --git a/.snapshots/should_build_all_internal_JS_functions/golden b/.snapshots/should_build_all_internal_JS_functions/golden index f174521be..9c0a0cd00 100644 --- a/.snapshots/should_build_all_internal_JS_functions/golden +++ b/.snapshots/should_build_all_internal_JS_functions/golden @@ -72,7 +72,7 @@ global.__eq__ = (l, r) => { const __applyMany__ = (f, params) => params.reduce((_f, param) => _f(param), f); global.__apMtdDicts__ = (dict, dicts) => - Object.keys(dict).reduce((o, k) => ({ ...o, [k]: __applyMany__(dict[k], dicts) }), {}); + Object.keys(dict).reduce((o, k) => ({ ...o, [k]: () => __applyMany__(dict[k](), dicts) }), {}); global.__once__ = (fn, context) => { diff --git a/.snapshots/should_compile_JSX/golden b/.snapshots/should_compile_JSX/golden index f6646fbe2..eb89dd550 100644 --- a/.snapshots/should_compile_JSX/golden +++ b/.snapshots/should_compile_JSX/golden @@ -10,9 +10,9 @@ let OnMouseOut = (a => ({ __constructor: "OnMouseOut", __args: [ a ] })); global.Show = {}; global.Functor = {}; Show['Number'] = {}; -Show['Number']['show'] = (x => new Number(x).toString()); +Show['Number']['show'] = () => (x => new Number(x).toString()); Functor['List'] = {}; -Functor['List']['map'] = (f => xs => xs.map((x) => f(x))); +Functor['List']['map'] = () => (f => xs => xs.map((x) => f(x))); export let good = (a => Wish((_ => goodCB => goodCB(a)))); export let id = AttributeId; export let className = AttributeClass; @@ -26,11 +26,11 @@ export let p = (attrs => children => h('p', objectifyAttrs(attrs), children)); export let input = (attrs => children => h('input', objectifyAttrs(attrs), children)); export let button = (attrs => children => h('button', objectifyAttrs(attrs), children)); let initialState = 0; -let MyApp = (count => div(([id("id"), className("class")]))(([div(([]))(([text(`Current count is ${Show.Number.show(count)}`)])), div(([]))(([button(([onClick((state => event => ([good((s => s + 1))])))]))(([text("increment")]))]))]))); +let MyApp = (count => div(([id("id"), className("class")]))(([div(([]))(([text(`Current count is ${Show.Number.show()(count)}`)])), div(([]))(([button(([onClick((state => event => ([good((s => s + 1))])))]))(([text("increment")]))]))]))); div(([]))(([text("Some text!")])); div(([]))(([div(([]))(([span(([]))(([]))])), div(([]))(([span(([]))(([]))]))])); let methods = (['1', '2', '3']); -let childElems = Functor.List.map((method => div(([]))(([method]))))(methods); +let childElems = Functor.List.map()((method => div(([]))(([method]))))(methods); div(([]))(([ ...((f) => (xs) => xs.map(f))(text)(methods)])); div(([]))(([ ...childElems])); export default { good, id, className, onClick, onMouseOver, onMouseOut, text, div, span, p, input, button, Wish }; diff --git a/.snapshots/should_compile_and_resolve_files_importing_modules_that_rely_on_type_aliases/golden b/.snapshots/should_compile_and_resolve_files_importing_modules_that_rely_on_type_aliases/golden index 2493e31dd..3d512db3e 100644 --- a/.snapshots/should_compile_and_resolve_files_importing_modules_that_rely_on_type_aliases/golden +++ b/.snapshots/should_compile_and_resolve_files_importing_modules_that_rely_on_type_aliases/golden @@ -4,7 +4,7 @@ global.Functor = {}; global.Applicative = {}; global.Monad = {}; Functor['Wish'] = {}; -Functor['Wish']['map'] = (f => m => Wish((bad => good => ((__x__) => { +Functor['Wish']['map'] = () => (f => m => Wish((bad => good => ((__x__) => { if (__x__.__constructor === "Wish" && true) { let run = __x__.__args[0]; return run(bad)((x => good(f(x)))); @@ -16,7 +16,7 @@ Functor['Wish']['map'] = (f => m => Wish((bad => good => ((__x__) => { } })(m)))); Applicative['Wish'] = {}; -Applicative['Wish']['ap'] = (mf => m => Wish((bad => good => ((__x__) => { +Applicative['Wish']['ap'] = () => (mf => m => Wish((bad => good => ((__x__) => { if (__x__.length === 2 && __x__[0].__constructor === "Wish" && true && __x__[1].__constructor === "Wish" && true) { let [{ __args: [runMF]},{ __args: [runM]}] = __x__; return runM(bad)((x => runMF(bad)((f => good(f(x)))))); @@ -27,9 +27,9 @@ Applicative['Wish']['ap'] = (mf => m => Wish((bad => good => ((__x__) => { throw 'non exhaustive patterns!'; } })(([mf, m]))))); -Applicative['Wish']['pure'] = (a => Wish((bad => good => good(a)))); +Applicative['Wish']['pure'] = () => (a => Wish((bad => good => good(a)))); Monad['Wish'] = {}; -Monad['Wish']['chain'] = (f => m => Wish((bad => good => ((__x__) => { +Monad['Wish']['chain'] = () => (f => m => Wish((bad => good => ((__x__) => { if (__x__.__constructor === "Wish" && true) { let run = __x__.__args[0]; return run(bad)((x => ((__x__) => { @@ -50,7 +50,7 @@ Monad['Wish']['chain'] = (f => m => Wish((bad => good => ((__x__) => { throw 'non exhaustive patterns!'; } })(m)))); -Monad['Wish']['of'] = Applicative.Wish.pure; +Monad['Wish']['of'] = () => Applicative.Wish.pure(); export let mapRej = (f => m => Wish((bad => good => ((__x__) => { if (__x__.__constructor === "Wish" && true) { let run = __x__.__args[0]; @@ -127,5 +127,5 @@ export default { mapRej, chainRej, good, bad, parallel, fulfill, Wish }; import {} from "./__internals__.mjs" import W from "./.prelude/Wish.mjs"; -W.fulfill((a => ({ __constructor: "Unit", __args: [] })))((a => ({ __constructor: "Unit", __args: [] })))(Functor.Wish.map((x => x + '!'))(Monad.Wish.chain((x => Monad.Wish.of(`finally a string`)))(Monad.Wish.chain((x => Monad.Wish.of(x * 3)))(Functor.Wish.map((x => x % 2))(Monad.Wish.of(3)))))); +W.fulfill((a => ({ __constructor: "Unit", __args: [] })))((a => ({ __constructor: "Unit", __args: [] })))(Functor.Wish.map()((x => x + '!'))(Monad.Wish.chain()((x => Monad.Wish.of()(`finally a string`)))(Monad.Wish.chain()((x => Monad.Wish.of()(x * 3)))(Functor.Wish.map()((x => x % 2))(Monad.Wish.of()(3)))))); export default {}; diff --git a/.snapshots/should_compile_constrained_instances_and_resolve_their_dictionary_parameters/golden b/.snapshots/should_compile_constrained_instances_and_resolve_their_dictionary_parameters/golden index 36ce189c3..202ac7709 100644 --- a/.snapshots/should_compile_constrained_instances_and_resolve_their_dictionary_parameters/golden +++ b/.snapshots/should_compile_constrained_instances_and_resolve_their_dictionary_parameters/golden @@ -3,14 +3,14 @@ let Right = (a => ({ __constructor: "Right", __args: [ a ] })); let Left = (a => ({ __constructor: "Left", __args: [ a ] })); global.Show = {}; Show['Boolean'] = {}; -Show['Boolean']['show'] = (b => (b ? 'True' : 'False')); +Show['Boolean']['show'] = () => (b => (b ? 'True' : 'False')); Show['Number'] = {}; -Show['Number']['show'] = (n => new Number(n).toString()); +Show['Number']['show'] = () => (n => new Number(n).toString()); Show['Tuple_2'] = {}; let __ShowTuple_2show = __once__(() => (__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,b] = __x__; - return '<' + Show_i8.show(a) + ', ' + Show_j9.show(b) + '>'; + return '<' + Show_i8.show()(a) + ', ' + Show_j9.show()(b) + '>'; } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -18,7 +18,7 @@ let __ShowTuple_2show = __once__(() => (__x__ => ((__x__) => { throw 'non exhaustive patterns!'; } })(__x__))); -Show['Tuple_2']['show'] = (Show_j9) => (Show_i8) => { +Show['Tuple_2']['show'] = () => (Show_j9) => (Show_i8) => { global.Show_i8 = Show_i8 global.Show_j9 = Show_j9 return __ShowTuple_2show(); @@ -27,7 +27,7 @@ Show['Tuple_3'] = {}; let __ShowTuple_3show = __once__(() => (__x__ => ((__x__) => { if (__x__.length === 3 && true && true && true) { let [a,b,c] = __x__; - return '<' + Show_b27.show(a) + ', ' + Show_c28.show(b) + ', ' + Show_d29.show(c) + '>'; + return '<' + Show_b27.show()(a) + ', ' + Show_c28.show()(b) + ', ' + Show_d29.show()(c) + '>'; } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -35,7 +35,7 @@ let __ShowTuple_3show = __once__(() => (__x__ => ((__x__) => { throw 'non exhaustive patterns!'; } })(__x__))); -Show['Tuple_3']['show'] = (Show_d29) => (Show_c28) => (Show_b27) => { +Show['Tuple_3']['show'] = () => (Show_d29) => (Show_c28) => (Show_b27) => { global.Show_b27 = Show_b27 global.Show_c28 = Show_c28 global.Show_d29 = Show_d29 @@ -45,11 +45,11 @@ Show['Either'] = {}; let __ShowEithershow = __once__(() => (__x__ => ((__x__) => { if (__x__.__constructor === "Right" && true) { let a = __x__.__args[0]; - return 'Right ' + Show_c54.show(a); + return 'Right ' + Show_c54.show()(a); } else if (__x__.__constructor === "Left" && true) { let e = __x__.__args[0]; - return 'Left ' + Show_f57.show(e); + return 'Left ' + Show_f57.show()(e); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -57,19 +57,19 @@ let __ShowEithershow = __once__(() => (__x__ => ((__x__) => { throw 'non exhaustive patterns!'; } })(__x__))); -Show['Either']['show'] = (Show_c54) => (Show_f57) => { +Show['Either']['show'] = () => (Show_c54) => (Show_f57) => { global.Show_f57 = Show_f57 global.Show_c54 = Show_c54 return __ShowEithershow(); }; -Show.Tuple_2.show(Show.Boolean)(Show.Number)(([1, false])); -Show.Either.show(Show.Number)(Show.Number)(Right(3)); +Show.Tuple_2.show()(Show.Boolean)(Show.Number)(([1, false])); +Show.Either.show()(Show.Number)(Show.Number)(Right(3)); let fnWithConstraint = (Show_k88) => { global.Show_k88 = Show_k88 return fnWithConstraint__ND__() }; -let fnWithConstraint__ND__ = __once__(() => Show_k88.show); -Show.Tuple_2.show(Show.Number)(Show.Number)(([1, 1])); -Show.Tuple_3.show(Show.Boolean)(Show.Number)(Show.Boolean)(([false, 42, true])); +let fnWithConstraint__ND__ = __once__(() => Show_k88.show()); +Show.Tuple_2.show()(Show.Number)(Show.Number)(([1, 1])); +Show.Tuple_3.show()(Show.Boolean)(Show.Number)(Show.Boolean)(([false, 42, true])); export default {}; diff --git a/.snapshots/should_compile_interfaces_and_instances/golden b/.snapshots/should_compile_interfaces_and_instances/golden index 35bb753ca..c7e3888f6 100644 --- a/.snapshots/should_compile_interfaces_and_instances/golden +++ b/.snapshots/should_compile_interfaces_and_instances/golden @@ -6,7 +6,7 @@ let Left = (a => ({ __constructor: "Left", __args: [ a ] })); global.Functor = {}; global.Monad = {}; Functor['Maybe'] = {}; -Functor['Maybe']['map'] = (f => __x__ => ((__x__) => { +Functor['Maybe']['map'] = () => (f => __x__ => ((__x__) => { if (__x__.__constructor === "Just" && true) { let x = __x__.__args[0]; return Just(f(x)); @@ -21,10 +21,10 @@ Functor['Maybe']['map'] = (f => __x__ => ((__x__) => { } })(__x__)); Functor['List'] = {}; -Functor['List']['map'] = (f => __x__ => ((__x__) => { +Functor['List']['map'] = () => (f => __x__ => ((__x__) => { if (__x__.length >= 2 && true && true) { let [h,...t] = __x__; - return ([f(h), ...Functor.List.map(f)(t)]); + return ([f(h), ...Functor.List.map()(f)(t)]); } else if (__x__.length === 1 && true) { let [l] = __x__; @@ -41,7 +41,7 @@ Functor['List']['map'] = (f => __x__ => ((__x__) => { } })(__x__)); Monad['Maybe'] = {}; -Monad['Maybe']['chain'] = (f => __x__ => ((__x__) => { +Monad['Maybe']['chain'] = () => (f => __x__ => ((__x__) => { if (__x__.__constructor === "Just" && true) { let x = __x__.__args[0]; return f(x); @@ -55,9 +55,9 @@ Monad['Maybe']['chain'] = (f => __x__ => ((__x__) => { throw 'non exhaustive patterns!'; } })(__x__)); -Monad['Maybe']['of'] = (x => Just(x)); +Monad['Maybe']['of'] = () => (x => Just(x)); Monad['Either'] = {}; -Monad['Either']['chain'] = (f => __x__ => ((__x__) => { +Monad['Either']['chain'] = () => (f => __x__ => ((__x__) => { if (__x__.__constructor === "Right" && true) { let x = __x__.__args[0]; return f(x); @@ -72,16 +72,16 @@ Monad['Either']['chain'] = (f => __x__ => ((__x__) => { throw 'non exhaustive patterns!'; } })(__x__)); -Monad['Either']['of'] = (x => Right(x)); +Monad['Either']['of'] = () => (x => Right(x)); let inc = (a => a + 1); -Functor.List.map(inc)(([1, 2, 3])); -Monad.Maybe.chain((x => Just(x + 1)))(Just(3)); +Functor.List.map()(inc)(([1, 2, 3])); +Monad.Maybe.chain()((x => Just(x + 1)))(Just(3)); let doIt = (Functor_q120) => { global.Functor_q120 = Functor_q120 return doIt__ND__() }; -let doIt__ND__ = __once__(() => (x => Functor_q120.map((k => k + 1))(x))); +let doIt__ND__ = __once__(() => (x => Functor_q120.map()((k => k + 1))(x))); doIt(Functor.Maybe)(Just(3)); let p = 1; let fn = (Functor_i138) => { @@ -89,17 +89,17 @@ let fn = (Functor_i138) => { return fn__ND__() }; -let fn__ND__ = __once__(() => Functor_i138.map(inc)); +let fn__ND__ = __once__(() => Functor_i138.map()(inc)); fn(Functor.Maybe)(Just(3)); fn(Functor.List)(([4, 5, 6])); let hideCall = (x => ((__x__) => { if (__x__.__constructor === "Just" && __x__.__args[0] === 2) { - return Monad.Either.chain((a => Right(a + 1)))(Right(2)); + return Monad.Either.chain()((a => Right(a + 1)))(Right(2)); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); console.trace(); throw 'non exhaustive patterns!'; } -})(Monad.Maybe.chain((a => Just(a + 1)))(x))); +})(Monad.Maybe.chain()((a => Just(a + 1)))(x))); export default {}; diff --git a/.snapshots/should_compile_monad_transformers/golden b/.snapshots/should_compile_monad_transformers/golden index 271981548..a19d16f89 100644 --- a/.snapshots/should_compile_monad_transformers/golden +++ b/.snapshots/should_compile_monad_transformers/golden @@ -11,12 +11,12 @@ global.MonadTrans = {}; global.MonadWriter = {}; global.MonadState = {}; Semigroup['List'] = {}; -Semigroup['List']['assoc'] = (xs1 => xs2 => xs1.concat(xs2)); +Semigroup['List']['assoc'] = () => (xs1 => xs2 => xs1.concat(xs2)); Monoid['List'] = {}; -Monoid['List']['mappend'] = (xs1 => xs2 => xs1.concat(xs2)); -Monoid['List']['mempty'] = ([]); +Monoid['List']['mappend'] = () => (xs1 => xs2 => xs1.concat(xs2)); +Monoid['List']['mempty'] = () => ([]); Functor['WriterT'] = {}; -let __FunctorWriterTmap = __once__(() => (f => m => WriterT(Functor_i34.map((__x__ => ((__x__) => { +let __FunctorWriterTmap = __once__(() => (f => m => WriterT(Functor_i34.map()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,w] = __x__; return ([f(a), w]); @@ -27,7 +27,7 @@ let __FunctorWriterTmap = __once__(() => (f => m => WriterT(Functor_i34.map((__x throw 'non exhaustive patterns!'; } })(__x__)))(runWriterT(m))))); -Functor['WriterT']['map'] = (Functor_i34) => { +Functor['WriterT']['map'] = () => (Functor_i34) => { global.Functor_i34 = Functor_i34 return __FunctorWriterTmap(); }; @@ -38,7 +38,7 @@ let __ApplicativeWriterTap = __once__(() => (mf => mm => WriterT(liftA2(Applicat return ((__x__) => { if (__x__.length === 2 && true && true) { let [b,ww] = __x__; - return ([a(b), Monoid_v73.mappend(w)(ww)]); + return ([a(b), Monoid_v73.mappend()(w)(ww)]); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -53,15 +53,15 @@ let __ApplicativeWriterTap = __once__(() => (mf => mm => WriterT(liftA2(Applicat throw 'non exhaustive patterns!'; } })(x1)))(runWriterT(mf))(runWriterT(mm))))); -Applicative['WriterT']['ap'] = (Semigroup_v73) => (Monoid_v73) => (Functor_w74) => (Applicative_w74) => { +Applicative['WriterT']['ap'] = () => (Semigroup_v73) => (Monoid_v73) => (Functor_w74) => (Applicative_w74) => { global.Applicative_w74 = Applicative_w74 global.Functor_w74 = Functor_w74 global.Monoid_v73 = Monoid_v73 global.Semigroup_v73 = Semigroup_v73 return __ApplicativeWriterTap(); }; -let __ApplicativeWriterTpure = __once__(() => (x => WriterT(Applicative_k88.pure(([x, Monoid_m90.mempty]))))); -Applicative['WriterT']['pure'] = (Semigroup_m90) => (Monoid_m90) => (Functor_k88) => (Applicative_k88) => { +let __ApplicativeWriterTpure = __once__(() => (x => WriterT(Applicative_k88.pure()(([x, Monoid_m90.mempty()]))))); +Applicative['WriterT']['pure'] = () => (Semigroup_m90) => (Monoid_m90) => (Functor_k88) => (Applicative_k88) => { global.Applicative_k88 = Applicative_k88 global.Functor_k88 = Functor_k88 global.Monoid_m90 = Monoid_m90 @@ -69,13 +69,13 @@ Applicative['WriterT']['pure'] = (Semigroup_m90) => (Monoid_m90) => (Functor_k88 return __ApplicativeWriterTpure(); }; Monad['WriterT'] = {}; -let __MonadWriterTchain = __once__(() => (f => m => WriterT(Monad_e134.chain((__x__ => ((__x__) => { +let __MonadWriterTchain = __once__(() => (f => m => WriterT(Monad_e134.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,w] = __x__; - return Monad_e134.chain((__x__ => ((__x__) => { + return Monad_e134.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [b,ww] = __x__; - return Monad_e134.of(([b, Monoid_d133.mappend(w)(ww)])); + return Monad_e134.of()(([b, Monoid_d133.mappend()(w)(ww)])); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -90,7 +90,7 @@ let __MonadWriterTchain = __once__(() => (f => m => WriterT(Monad_e134.chain((__ throw 'non exhaustive patterns!'; } })(__x__)))(runWriterT(m))))); -Monad['WriterT']['chain'] = (Functor_e134) => (Applicative_e134) => (Monad_e134) => (Semigroup_d133) => (Monoid_d133) => { +Monad['WriterT']['chain'] = () => (Functor_e134) => (Applicative_e134) => (Monad_e134) => (Semigroup_d133) => (Monoid_d133) => { global.Monoid_d133 = Monoid_d133 global.Semigroup_d133 = Semigroup_d133 global.Monad_e134 = Monad_e134 @@ -98,8 +98,8 @@ Monad['WriterT']['chain'] = (Functor_e134) => (Applicative_e134) => (Monad_e134) global.Functor_e134 = Functor_e134 return __MonadWriterTchain(); }; -let __MonadWriterTof = __once__(() => Applicative.WriterT.pure(Semigroup_o144)(Monoid_o144)(Functor_p145)(Applicative_p145)); -Monad['WriterT']['of'] = (Functor_p145) => (Applicative_p145) => (Monad_p145) => (Semigroup_o144) => (Monoid_o144) => { +let __MonadWriterTof = __once__(() => Applicative.WriterT.pure()(Semigroup_o144)(Monoid_o144)(Functor_p145)(Applicative_p145)); +Monad['WriterT']['of'] = () => (Functor_p145) => (Applicative_p145) => (Monad_p145) => (Semigroup_o144) => (Monoid_o144) => { global.Monoid_o144 = Monoid_o144 global.Semigroup_o144 = Semigroup_o144 global.Monad_p145 = Monad_p145 @@ -108,8 +108,8 @@ Monad['WriterT']['of'] = (Functor_p145) => (Applicative_p145) => (Monad_p145) => return __MonadWriterTof(); }; MonadTrans['m_WriterT'] = {}; -let __MonadTransm_WriterTlift = __once__(() => (m => WriterT(Monad_j165.chain((a => Monad_j165.of(([a, Monoid_l167.mempty]))))(m)))); -MonadTrans['m_WriterT']['lift'] = (Semigroup_l167) => (Monoid_l167) => (Functor_j165) => (Applicative_j165) => (Monad_j165) => { +let __MonadTransm_WriterTlift = __once__(() => (m => WriterT(Monad_j165.chain()((a => Monad_j165.of()(([a, Monoid_l167.mempty()]))))(m)))); +MonadTrans['m_WriterT']['lift'] = () => (Semigroup_l167) => (Monoid_l167) => (Functor_j165) => (Applicative_j165) => (Monad_j165) => { global.Monad_j165 = Monad_j165 global.Applicative_j165 = Applicative_j165 global.Functor_j165 = Functor_j165 @@ -118,15 +118,15 @@ MonadTrans['m_WriterT']['lift'] = (Semigroup_l167) => (Monoid_l167) => (Functor_ return __MonadTransm_WriterTlift(); }; Functor['Identity'] = {}; -Functor['Identity']['map'] = (f => m => Identity(f(runIdentity(m)))); +Functor['Identity']['map'] = () => (f => m => Identity(f(runIdentity(m)))); Applicative['Identity'] = {}; -Applicative['Identity']['ap'] = (mf => mm => Identity(runIdentity(mf)(runIdentity(mm)))); -Applicative['Identity']['pure'] = Identity; +Applicative['Identity']['ap'] = () => (mf => mm => Identity(runIdentity(mf)(runIdentity(mm)))); +Applicative['Identity']['pure'] = () => Identity; Monad['Identity'] = {}; -Monad['Identity']['chain'] = (f => mm => f(runIdentity(mm))); -Monad['Identity']['of'] = Applicative.Identity.pure; +Monad['Identity']['chain'] = () => (f => mm => f(runIdentity(mm))); +Monad['Identity']['of'] = () => Applicative.Identity.pure(); Functor['StateT'] = {}; -let __FunctorStateTmap = __once__(() => (f => m => StateT((s => Functor_g240.map((__x__ => ((__x__) => { +let __FunctorStateTmap = __once__(() => (f => m => StateT((s => Functor_g240.map()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,ss] = __x__; return ([f(a), ss]); @@ -137,18 +137,18 @@ let __FunctorStateTmap = __once__(() => (f => m => StateT((s => Functor_g240.map throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(m)(s)))))); -Functor['StateT']['map'] = (Functor_g240) => { +Functor['StateT']['map'] = () => (Functor_g240) => { global.Functor_g240 = Functor_g240 return __FunctorStateTmap(); }; Applicative['StateT'] = {}; -let __ApplicativeStateTap = __once__(() => (mf => mm => StateT((s => Monad_a286.chain((__x__ => ((__x__) => { +let __ApplicativeStateTap = __once__(() => (mf => mm => StateT((s => Monad_a286.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [f,ss] = __x__; - return Monad_a286.chain((__x__ => ((__x__) => { + return Monad_a286.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [m,sss] = __x__; - return Monad_a286.of(([f(m), sss])); + return Monad_a286.of()(([f(m), sss])); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -163,21 +163,21 @@ let __ApplicativeStateTap = __once__(() => (mf => mm => StateT((s => Monad_a286. throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(mf)(s)))))); -Applicative['StateT']['ap'] = (Functor_a286) => (Applicative_a286) => (Monad_a286) => { +Applicative['StateT']['ap'] = () => (Functor_a286) => (Applicative_a286) => (Monad_a286) => { global.Monad_a286 = Monad_a286 global.Applicative_a286 = Applicative_a286 global.Functor_a286 = Functor_a286 return __ApplicativeStateTap(); }; -let __ApplicativeStateTpure = __once__(() => (a => StateT((s => Monad_p301.of(([a, s])))))); -Applicative['StateT']['pure'] = (Functor_p301) => (Applicative_p301) => (Monad_p301) => { +let __ApplicativeStateTpure = __once__(() => (a => StateT((s => Monad_p301.of()(([a, s])))))); +Applicative['StateT']['pure'] = () => (Functor_p301) => (Applicative_p301) => (Monad_p301) => { global.Monad_p301 = Monad_p301 global.Applicative_p301 = Applicative_p301 global.Functor_p301 = Functor_p301 return __ApplicativeStateTpure(); }; Monad['StateT'] = {}; -let __MonadStateTchain = __once__(() => (f => m => StateT((s => Monad_w334.chain((__x__ => ((__x__) => { +let __MonadStateTchain = __once__(() => (f => m => StateT((s => Monad_w334.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,ss] = __x__; return runStateT(f(a))(ss); @@ -188,30 +188,30 @@ let __MonadStateTchain = __once__(() => (f => m => StateT((s => Monad_w334.chain throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(m)(s)))))); -Monad['StateT']['chain'] = (Functor_w334) => (Applicative_w334) => (Monad_w334) => { +Monad['StateT']['chain'] = () => (Functor_w334) => (Applicative_w334) => (Monad_w334) => { global.Monad_w334 = Monad_w334 global.Applicative_w334 = Applicative_w334 global.Functor_w334 = Functor_w334 return __MonadStateTchain(); }; -let __MonadStateTof = __once__(() => (a => StateT((s => Monad_l349.of(([a, s])))))); -Monad['StateT']['of'] = (Functor_l349) => (Applicative_l349) => (Monad_l349) => { +let __MonadStateTof = __once__(() => (a => StateT((s => Monad_l349.of()(([a, s])))))); +Monad['StateT']['of'] = () => (Functor_l349) => (Applicative_l349) => (Monad_l349) => { global.Monad_l349 = Monad_l349 global.Applicative_l349 = Applicative_l349 global.Functor_l349 = Functor_l349 return __MonadStateTof(); }; MonadTrans['m_StateT'] = {}; -let __MonadTransm_StateTlift = __once__(() => (m => StateT((s => Monad_g370.chain((a => Monad_g370.of(([a, s]))))(m))))); -MonadTrans['m_StateT']['lift'] = (Functor_g370) => (Applicative_g370) => (Monad_g370) => { +let __MonadTransm_StateTlift = __once__(() => (m => StateT((s => Monad_g370.chain()((a => Monad_g370.of()(([a, s]))))(m))))); +MonadTrans['m_StateT']['lift'] = () => (Functor_g370) => (Applicative_g370) => (Monad_g370) => { global.Monad_g370 = Monad_g370 global.Applicative_g370 = Applicative_g370 global.Functor_g370 = Functor_g370 return __MonadTransm_StateTlift(); }; MonadWriter['w_WriterT'] = {}; -let __MonadWriterw_WriterTtell = __once__(() => (v => WriterT(Monad_t383.of(([({ __constructor: "Unit", __args: [] }), v]))))); -MonadWriter['w_WriterT']['tell'] = (Functor_t383) => (Applicative_t383) => (Monad_t383) => (Semigroup_n377) => (Monoid_n377) => { +let __MonadWriterw_WriterTtell = __once__(() => (v => WriterT(Monad_t383.of()(([({ __constructor: "Unit", __args: [] }), v]))))); +MonadWriter['w_WriterT']['tell'] = () => (Functor_t383) => (Applicative_t383) => (Monad_t383) => (Semigroup_n377) => (Monoid_n377) => { global.Monoid_n377 = Monoid_n377 global.Semigroup_n377 = Semigroup_n377 global.Monad_t383 = Monad_t383 @@ -220,8 +220,8 @@ MonadWriter['w_WriterT']['tell'] = (Functor_t383) => (Applicative_t383) => (Mona return __MonadWriterw_WriterTtell(); }; MonadWriter['w_StateT'] = {}; -let __MonadWriterw_StateTtell = __once__(() => (_P_ => MonadTrans.m_StateT.lift(Functor_g396)(Applicative_g396)(Monad_g396)(MonadWriter_z389_g396.tell(_P_)))); -MonadWriter['w_StateT']['tell'] = (Functor_g396) => (Applicative_g396) => (Semigroup_z389) => (Monad_g396) => (Monoid_z389) => (MonadWriter_z389_g396) => (Functor_g396) => (Applicative_g396) => (Monad_g396) => (Semigroup_z389) => (Monoid_z389) => { +let __MonadWriterw_StateTtell = __once__(() => (_P_ => MonadTrans.m_StateT.lift()(Functor_g396)(Applicative_g396)(Monad_g396)(MonadWriter_z389_g396.tell()(_P_)))); +MonadWriter['w_StateT']['tell'] = () => (Functor_g396) => (Applicative_g396) => (Semigroup_z389) => (Monad_g396) => (Monoid_z389) => (MonadWriter_z389_g396) => (Functor_g396) => (Applicative_g396) => (Monad_g396) => (Semigroup_z389) => (Monoid_z389) => { global.Monoid_z389 = Monoid_z389 global.Semigroup_z389 = Semigroup_z389 global.Monad_g396 = Monad_g396 @@ -236,30 +236,30 @@ MonadWriter['w_StateT']['tell'] = (Functor_g396) => (Applicative_g396) => (Semig return __MonadWriterw_StateTtell(); }; MonadState['s_StateT'] = {}; -let __MonadStates_StateTget = __once__(() => StateT((s => Monad_v411.of(([s, s]))))); -MonadState['s_StateT']['get'] = (Functor_v411) => (Applicative_v411) => (Monad_v411) => { +let __MonadStates_StateTget = __once__(() => StateT((s => Monad_v411.of()(([s, s]))))); +MonadState['s_StateT']['get'] = () => (Functor_v411) => (Applicative_v411) => (Monad_v411) => { global.Monad_v411 = Monad_v411 global.Applicative_v411 = Applicative_v411 global.Functor_v411 = Functor_v411 return __MonadStates_StateTget(); }; -let __MonadStates_StateTmodify = __once__(() => (f => StateT((s => Monad_i424.of(([({ __constructor: "Unit", __args: [] }), f(s)])))))); -MonadState['s_StateT']['modify'] = (Functor_i424) => (Applicative_i424) => (Monad_i424) => { +let __MonadStates_StateTmodify = __once__(() => (f => StateT((s => Monad_i424.of()(([({ __constructor: "Unit", __args: [] }), f(s)])))))); +MonadState['s_StateT']['modify'] = () => (Functor_i424) => (Applicative_i424) => (Monad_i424) => { global.Monad_i424 = Monad_i424 global.Applicative_i424 = Applicative_i424 global.Functor_i424 = Functor_i424 return __MonadStates_StateTmodify(); }; -let __MonadStates_StateTput = __once__(() => (s => StateT((_ => Monad_w438.of(([({ __constructor: "Unit", __args: [] }), s])))))); -MonadState['s_StateT']['put'] = (Functor_w438) => (Applicative_w438) => (Monad_w438) => { +let __MonadStates_StateTput = __once__(() => (s => StateT((_ => Monad_w438.of()(([({ __constructor: "Unit", __args: [] }), s])))))); +MonadState['s_StateT']['put'] = () => (Functor_w438) => (Applicative_w438) => (Monad_w438) => { global.Monad_w438 = Monad_w438 global.Applicative_w438 = Applicative_w438 global.Functor_w438 = Functor_w438 return __MonadStates_StateTput(); }; MonadState['s_WriterT'] = {}; -let __MonadStates_WriterTget = __once__(() => MonadTrans.m_WriterT.lift(Semigroup_i450)(Monoid_i450)(Functor_h449)(Applicative_h449)(Monad_h449)(MonadState_g448_h449.get)); -MonadState['s_WriterT']['get'] = (Functor_h449) => (Applicative_h449) => (Monad_h449) => (MonadState_g448_h449) => (Functor_h449) => (Applicative_h449) => (Monad_h449) => (Semigroup_i450) => (Monoid_i450) => { +let __MonadStates_WriterTget = __once__(() => MonadTrans.m_WriterT.lift()(Semigroup_i450)(Monoid_i450)(Functor_h449)(Applicative_h449)(Monad_h449)(MonadState_g448_h449.get())); +MonadState['s_WriterT']['get'] = () => (Functor_h449) => (Applicative_h449) => (Monad_h449) => (MonadState_g448_h449) => (Functor_h449) => (Applicative_h449) => (Monad_h449) => (Semigroup_i450) => (Monoid_i450) => { global.Monoid_i450 = Monoid_i450 global.Semigroup_i450 = Semigroup_i450 global.Monad_h449 = Monad_h449 @@ -271,8 +271,8 @@ MonadState['s_WriterT']['get'] = (Functor_h449) => (Applicative_h449) => (Monad_ global.Functor_h449 = Functor_h449 return __MonadStates_WriterTget(); }; -let __MonadStates_WriterTmodify = __once__(() => (_P_ => MonadTrans.m_WriterT.lift(Semigroup_y466)(Monoid_y466)(Functor_x465)(Applicative_x465)(Monad_x465)(MonadState_w464_x465.modify(_P_)))); -MonadState['s_WriterT']['modify'] = (Functor_x465) => (Applicative_x465) => (Monad_x465) => (MonadState_w464_x465) => (Functor_x465) => (Applicative_x465) => (Monad_x465) => (Semigroup_y466) => (Monoid_y466) => { +let __MonadStates_WriterTmodify = __once__(() => (_P_ => MonadTrans.m_WriterT.lift()(Semigroup_y466)(Monoid_y466)(Functor_x465)(Applicative_x465)(Monad_x465)(MonadState_w464_x465.modify()(_P_)))); +MonadState['s_WriterT']['modify'] = () => (Functor_x465) => (Applicative_x465) => (Monad_x465) => (MonadState_w464_x465) => (Functor_x465) => (Applicative_x465) => (Monad_x465) => (Semigroup_y466) => (Monoid_y466) => { global.Monoid_y466 = Monoid_y466 global.Semigroup_y466 = Semigroup_y466 global.Monad_x465 = Monad_x465 @@ -284,8 +284,8 @@ MonadState['s_WriterT']['modify'] = (Functor_x465) => (Applicative_x465) => (Mon global.Functor_x465 = Functor_x465 return __MonadStates_WriterTmodify(); }; -let __MonadStates_WriterTput = __once__(() => (_P_ => MonadTrans.m_WriterT.lift(Semigroup_o482)(Monoid_o482)(Functor_n481)(Applicative_n481)(Monad_n481)(MonadState_g474_n481.put(_P_)))); -MonadState['s_WriterT']['put'] = (Functor_n481) => (Applicative_n481) => (Monad_n481) => (MonadState_g474_n481) => (Functor_n481) => (Applicative_n481) => (Monad_n481) => (Semigroup_o482) => (Monoid_o482) => { +let __MonadStates_WriterTput = __once__(() => (_P_ => MonadTrans.m_WriterT.lift()(Semigroup_o482)(Monoid_o482)(Functor_n481)(Applicative_n481)(Monad_n481)(MonadState_g474_n481.put()(_P_)))); +MonadState['s_WriterT']['put'] = () => (Functor_n481) => (Applicative_n481) => (Monad_n481) => (MonadState_g474_n481) => (Functor_n481) => (Applicative_n481) => (Monad_n481) => (Semigroup_o482) => (Monoid_o482) => { global.Monoid_o482 = Monoid_o482 global.Semigroup_o482 = Semigroup_o482 global.Monad_n481 = Monad_n481 @@ -304,7 +304,7 @@ export let andDo = (Functor_u488) => (Applicative_u488) => (Monad_u488) => { return andDo__ND__() }; -let andDo__ND__ = __once__(() => (b => a => Monad_u488.chain((_ => b))(a))); +let andDo__ND__ = __once__(() => (b => a => Monad_u488.chain()((_ => b))(a))); export let runWriterT = (__x__ => ((__x__) => { if (__x__.__constructor === "WriterT" && true) { let m = __x__.__args[0]; @@ -322,7 +322,7 @@ let liftA2 = (Functor_v515) => (Applicative_v515) => { return liftA2__ND__() }; -let liftA2__ND__ = __once__(() => (f => x1 => x2 => Applicative_v515.ap(Functor_v515.map(f)(x1))(x2))); +let liftA2__ND__ = __once__(() => (f => x1 => x2 => Applicative_v515.ap()(Functor_v515.map()(f)(x1))(x2))); export let runIdentity = (__x__ => ((__x__) => { if (__x__.__constructor === "Identity" && true) { let a = __x__.__args[0]; @@ -355,7 +355,7 @@ let hep = (Functor_n559) => (Applicative_n559) => (Semigroup_m558) => (Monad_n55 return hep__ND__() }; -let hep__ND__ = __once__(() => MonadWriter_m558_n559.tell); +let hep__ND__ = __once__(() => MonadWriter_m558_n559.tell()); let sumAndLog = (Functor_s564) => (Applicative_s564) => (Monad_s564) => (MonadWriter_List_s564) => { global.MonadWriter_List_s564 = MonadWriter_List_s564 global.Monad_s564 = Monad_s564 @@ -364,7 +364,7 @@ let sumAndLog = (Functor_s564) => (Applicative_s564) => (Monad_s564) => (MonadWr return sumAndLog__ND__() }; -let sumAndLog__ND__ = __once__(() => (_P_ => Monad_s564.chain((x => andDo(Functor_s564)(Applicative_s564)(Monad_s564)(Monad_s564.of(x))(MonadWriter_List_s564.tell((['Summed 18'])))))(Monad_s564.chain((x => Monad_s564.of(x + 18)))(Monad_s564.of(_P_))))); +let sumAndLog__ND__ = __once__(() => (_P_ => Monad_s564.chain()((x => andDo(Functor_s564)(Applicative_s564)(Monad_s564)(Monad_s564.of()(x))(MonadWriter_List_s564.tell()((['Summed 18'])))))(Monad_s564.chain()((x => Monad_s564.of()(x + 18)))(Monad_s564.of()(_P_))))); let runStack = (x => _P_ => runIdentity(runWriterT((m => runStateT(m)(x))(_P_)))); -runStack(37)(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(sumAndLog(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List])))(andDo(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monad.StateT.of(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(5))(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HAP']))))(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => MonadState.s_StateT.put(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(157)))(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HIP']))))(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HOP']))))(Functor.StateT.map(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))((x => x * 17))(Monad.StateT.chain(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((x => Monad.StateT.of(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(29 * x)))(Monad.StateT.of(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(3)))))))))); +runStack(37)(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(sumAndLog(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List])))(andDo(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monad.StateT.of()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(5))(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HAP']))))(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => MonadState.s_StateT.put()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(157)))(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HIP']))))(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((_ => hep(__apMtdDicts__(Functor.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity])]))(__apMtdDicts__(Applicative.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Semigroup.List)(__apMtdDicts__(Monad.StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List])]))(Monoid.List)(__apMtdDicts__(MonadWriter.w_StateT, [__apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), Semigroup.List, __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Monoid.List, __apMtdDicts__(MonadWriter.w_WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), __apMtdDicts__(Functor.WriterT, [Functor.Identity]), __apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]), __apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]), Semigroup.List, Monoid.List]))((['HOP']))))(Functor.StateT.map()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))((x => x * 17))(Monad.StateT.chain()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))((x => Monad.StateT.of()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(29 * x)))(Monad.StateT.of()(__apMtdDicts__(Functor.WriterT, [Functor.Identity]))(__apMtdDicts__(Applicative.WriterT, [Semigroup.List, Monoid.List, Functor.Identity, Applicative.Identity]))(__apMtdDicts__(Monad.WriterT, [Functor.Identity, Applicative.Identity, Monad.Identity, Semigroup.List, Monoid.List]))(3)))))))))); export default { andDo, runWriterT, runIdentity, runStateT, WriterT, Identity, StateT }; diff --git a/.snapshots/should_compile_monad_transformers_with_optimized_dictionaries/golden b/.snapshots/should_compile_monad_transformers_with_optimized_dictionaries/golden index 8290d7c3b..62a823e70 100644 --- a/.snapshots/should_compile_monad_transformers_with_optimized_dictionaries/golden +++ b/.snapshots/should_compile_monad_transformers_with_optimized_dictionaries/golden @@ -11,12 +11,12 @@ global.Ι8 = {}; global.Ι4 = {}; global.Ι7 = {}; Ι6['τ10'] = {}; -Ι6['τ10']['assoc'] = (xs1 => xs2 => xs1.concat(xs2)); +Ι6['τ10']['assoc'] = () => (xs1 => xs2 => xs1.concat(xs2)); Ι5['τ10'] = {}; -Ι5['τ10']['mappend'] = (xs1 => xs2 => xs1.concat(xs2)); -Ι5['τ10']['mempty'] = ([]); +Ι5['τ10']['mappend'] = () => (xs1 => xs2 => xs1.concat(xs2)); +Ι5['τ10']['mempty'] = () => ([]); Ι3['τ11'] = {}; -let __Ι3τ11map = λ4(() => (f => m => WriterT(Ι3τ15.map((__x__ => ((__x__) => { +let __Ι3τ11map = λ4(() => (f => m => WriterT(Ι3τ15.map()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,w] = __x__; return ([f(a), w]); @@ -27,7 +27,7 @@ let __Ι3τ11map = λ4(() => (f => m => WriterT(Ι3τ15.map((__x__ => ((__x__) = throw 'non exhaustive patterns!'; } })(__x__)))(runWriterT(m))))); -Ι3['τ11']['map'] = (Ι3τ15) => { +Ι3['τ11']['map'] = () => (Ι3τ15) => { global.Ι3τ15 = Ι3τ15 return __Ι3τ11map(); }; @@ -38,7 +38,7 @@ let __Ι2τ11ap = λ4(() => (mf => mm => WriterT(liftA2(Ι2τ16)((x1 => x2 => (( return ((__x__) => { if (__x__.length === 2 && true && true) { let [b,ww] = __x__; - return ([a(b), Ι5τ17.mappend(w)(ww)]); + return ([a(b), Ι5τ17.mappend()(w)(ww)]); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -53,15 +53,15 @@ let __Ι2τ11ap = λ4(() => (mf => mm => WriterT(liftA2(Ι2τ16)((x1 => x2 => (( throw 'non exhaustive patterns!'; } })(x1)))(runWriterT(mf))(runWriterT(mm))))); -Ι2['τ11']['ap'] = (Ι6τ17) => (Ι5τ17) => (Ι3τ16) => (Ι2τ16) => { +Ι2['τ11']['ap'] = () => (Ι6τ17) => (Ι5τ17) => (Ι3τ16) => (Ι2τ16) => { global.Ι2τ16 = Ι2τ16 global.Ι3τ16 = Ι3τ16 global.Ι5τ17 = Ι5τ17 global.Ι6τ17 = Ι6τ17 return __Ι2τ11ap(); }; -let __Ι2τ11pure = λ4(() => (x => WriterT(Ι2τ18.pure(([x, Ι5τ19.mempty]))))); -Ι2['τ11']['pure'] = (Ι6τ19) => (Ι5τ19) => (Ι3τ18) => (Ι2τ18) => { +let __Ι2τ11pure = λ4(() => (x => WriterT(Ι2τ18.pure()(([x, Ι5τ19.mempty()]))))); +Ι2['τ11']['pure'] = () => (Ι6τ19) => (Ι5τ19) => (Ι3τ18) => (Ι2τ18) => { global.Ι2τ18 = Ι2τ18 global.Ι3τ18 = Ι3τ18 global.Ι5τ19 = Ι5τ19 @@ -69,13 +69,13 @@ let __Ι2τ11pure = λ4(() => (x => WriterT(Ι2τ18.pure(([x, Ι5τ19.mempty]))) return __Ι2τ11pure(); }; Ι1['τ11'] = {}; -let __Ι1τ11chain = λ4(() => (f => m => WriterT(Ι1τ20.chain((__x__ => ((__x__) => { +let __Ι1τ11chain = λ4(() => (f => m => WriterT(Ι1τ20.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,w] = __x__; - return Ι1τ20.chain((__x__ => ((__x__) => { + return Ι1τ20.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [b,ww] = __x__; - return Ι1τ20.of(([b, Ι5τ21.mappend(w)(ww)])); + return Ι1τ20.of()(([b, Ι5τ21.mappend()(w)(ww)])); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -90,7 +90,7 @@ let __Ι1τ11chain = λ4(() => (f => m => WriterT(Ι1τ20.chain((__x__ => ((__x_ throw 'non exhaustive patterns!'; } })(__x__)))(runWriterT(m))))); -Ι1['τ11']['chain'] = (Ι3τ20) => (Ι2τ20) => (Ι1τ20) => (Ι6τ21) => (Ι5τ21) => { +Ι1['τ11']['chain'] = () => (Ι3τ20) => (Ι2τ20) => (Ι1τ20) => (Ι6τ21) => (Ι5τ21) => { global.Ι5τ21 = Ι5τ21 global.Ι6τ21 = Ι6τ21 global.Ι1τ20 = Ι1τ20 @@ -98,8 +98,8 @@ let __Ι1τ11chain = λ4(() => (f => m => WriterT(Ι1τ20.chain((__x__ => ((__x_ global.Ι3τ20 = Ι3τ20 return __Ι1τ11chain(); }; -let __Ι1τ11of = λ4(() => Ι2.τ11.pure(Ι6τ23)(Ι5τ23)(Ι3τ22)(Ι2τ22)); -Ι1['τ11']['of'] = (Ι3τ22) => (Ι2τ22) => (Ι1τ22) => (Ι6τ23) => (Ι5τ23) => { +let __Ι1τ11of = λ4(() => Ι2.τ11.pure()(Ι6τ23)(Ι5τ23)(Ι3τ22)(Ι2τ22)); +Ι1['τ11']['of'] = () => (Ι3τ22) => (Ι2τ22) => (Ι1τ22) => (Ι6τ23) => (Ι5τ23) => { global.Ι5τ23 = Ι5τ23 global.Ι6τ23 = Ι6τ23 global.Ι1τ22 = Ι1τ22 @@ -108,8 +108,8 @@ let __Ι1τ11of = λ4(() => Ι2.τ11.pure(Ι6τ23)(Ι5τ23)(Ι3τ22)(Ι2τ22)); return __Ι1τ11of(); }; Ι8['τ24'] = {}; -let __Ι8τ24lift = λ4(() => (m => WriterT(Ι1τ25.chain((a => Ι1τ25.of(([a, Ι5τ26.mempty]))))(m)))); -Ι8['τ24']['lift'] = (Ι6τ26) => (Ι5τ26) => (Ι3τ25) => (Ι2τ25) => (Ι1τ25) => { +let __Ι8τ24lift = λ4(() => (m => WriterT(Ι1τ25.chain()((a => Ι1τ25.of()(([a, Ι5τ26.mempty()]))))(m)))); +Ι8['τ24']['lift'] = () => (Ι6τ26) => (Ι5τ26) => (Ι3τ25) => (Ι2τ25) => (Ι1τ25) => { global.Ι1τ25 = Ι1τ25 global.Ι2τ25 = Ι2τ25 global.Ι3τ25 = Ι3τ25 @@ -118,15 +118,15 @@ let __Ι8τ24lift = λ4(() => (m => WriterT(Ι1τ25.chain((a => Ι1τ25.of(([a, return __Ι8τ24lift(); }; Ι3['τ9'] = {}; -Ι3['τ9']['map'] = (f => m => Identity(f(runIdentity(m)))); +Ι3['τ9']['map'] = () => (f => m => Identity(f(runIdentity(m)))); Ι2['τ9'] = {}; -Ι2['τ9']['ap'] = (mf => mm => Identity(runIdentity(mf)(runIdentity(mm)))); -Ι2['τ9']['pure'] = Identity; +Ι2['τ9']['ap'] = () => (mf => mm => Identity(runIdentity(mf)(runIdentity(mm)))); +Ι2['τ9']['pure'] = () => Identity; Ι1['τ9'] = {}; -Ι1['τ9']['chain'] = (f => mm => f(runIdentity(mm))); -Ι1['τ9']['of'] = Ι2.τ9.pure; +Ι1['τ9']['chain'] = () => (f => mm => f(runIdentity(mm))); +Ι1['τ9']['of'] = () => Ι2.τ9.pure(); Ι3['τ8'] = {}; -let __Ι3τ8map = λ4(() => (f => m => StateT((s => Ι3τ27.map((__x__ => ((__x__) => { +let __Ι3τ8map = λ4(() => (f => m => StateT((s => Ι3τ27.map()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,ss] = __x__; return ([f(a), ss]); @@ -137,18 +137,18 @@ let __Ι3τ8map = λ4(() => (f => m => StateT((s => Ι3τ27.map((__x__ => ((__x_ throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(m)(s)))))); -Ι3['τ8']['map'] = (Ι3τ27) => { +Ι3['τ8']['map'] = () => (Ι3τ27) => { global.Ι3τ27 = Ι3τ27 return __Ι3τ8map(); }; Ι2['τ8'] = {}; -let __Ι2τ8ap = λ4(() => (mf => mm => StateT((s => Ι1τ28.chain((__x__ => ((__x__) => { +let __Ι2τ8ap = λ4(() => (mf => mm => StateT((s => Ι1τ28.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [f,ss] = __x__; - return Ι1τ28.chain((__x__ => ((__x__) => { + return Ι1τ28.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [m,sss] = __x__; - return Ι1τ28.of(([f(m), sss])); + return Ι1τ28.of()(([f(m), sss])); } else { console.log('non exhaustive patterns for value: ', __x__.toString()); @@ -163,21 +163,21 @@ let __Ι2τ8ap = λ4(() => (mf => mm => StateT((s => Ι1τ28.chain((__x__ => ((_ throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(mf)(s)))))); -Ι2['τ8']['ap'] = (Ι3τ28) => (Ι2τ28) => (Ι1τ28) => { +Ι2['τ8']['ap'] = () => (Ι3τ28) => (Ι2τ28) => (Ι1τ28) => { global.Ι1τ28 = Ι1τ28 global.Ι2τ28 = Ι2τ28 global.Ι3τ28 = Ι3τ28 return __Ι2τ8ap(); }; -let __Ι2τ8pure = λ4(() => (a => StateT((s => Ι1τ29.of(([a, s])))))); -Ι2['τ8']['pure'] = (Ι3τ29) => (Ι2τ29) => (Ι1τ29) => { +let __Ι2τ8pure = λ4(() => (a => StateT((s => Ι1τ29.of()(([a, s])))))); +Ι2['τ8']['pure'] = () => (Ι3τ29) => (Ι2τ29) => (Ι1τ29) => { global.Ι1τ29 = Ι1τ29 global.Ι2τ29 = Ι2τ29 global.Ι3τ29 = Ι3τ29 return __Ι2τ8pure(); }; Ι1['τ8'] = {}; -let __Ι1τ8chain = λ4(() => (f => m => StateT((s => Ι1τ30.chain((__x__ => ((__x__) => { +let __Ι1τ8chain = λ4(() => (f => m => StateT((s => Ι1τ30.chain()((__x__ => ((__x__) => { if (__x__.length === 2 && true && true) { let [a,ss] = __x__; return runStateT(f(a))(ss); @@ -188,30 +188,30 @@ let __Ι1τ8chain = λ4(() => (f => m => StateT((s => Ι1τ30.chain((__x__ => (( throw 'non exhaustive patterns!'; } })(__x__)))(runStateT(m)(s)))))); -Ι1['τ8']['chain'] = (Ι3τ30) => (Ι2τ30) => (Ι1τ30) => { +Ι1['τ8']['chain'] = () => (Ι3τ30) => (Ι2τ30) => (Ι1τ30) => { global.Ι1τ30 = Ι1τ30 global.Ι2τ30 = Ι2τ30 global.Ι3τ30 = Ι3τ30 return __Ι1τ8chain(); }; -let __Ι1τ8of = λ4(() => (a => StateT((s => Ι1τ31.of(([a, s])))))); -Ι1['τ8']['of'] = (Ι3τ31) => (Ι2τ31) => (Ι1τ31) => { +let __Ι1τ8of = λ4(() => (a => StateT((s => Ι1τ31.of()(([a, s])))))); +Ι1['τ8']['of'] = () => (Ι3τ31) => (Ι2τ31) => (Ι1τ31) => { global.Ι1τ31 = Ι1τ31 global.Ι2τ31 = Ι2τ31 global.Ι3τ31 = Ι3τ31 return __Ι1τ8of(); }; Ι8['τ32'] = {}; -let __Ι8τ32lift = λ4(() => (m => StateT((s => Ι1τ33.chain((a => Ι1τ33.of(([a, s]))))(m))))); -Ι8['τ32']['lift'] = (Ι3τ33) => (Ι2τ33) => (Ι1τ33) => { +let __Ι8τ32lift = λ4(() => (m => StateT((s => Ι1τ33.chain()((a => Ι1τ33.of()(([a, s]))))(m))))); +Ι8['τ32']['lift'] = () => (Ι3τ33) => (Ι2τ33) => (Ι1τ33) => { global.Ι1τ33 = Ι1τ33 global.Ι2τ33 = Ι2τ33 global.Ι3τ33 = Ι3τ33 return __Ι8τ32lift(); }; Ι4['τ12'] = {}; -let __Ι4τ12tell = λ4(() => (v => WriterT(Ι1τ34.of(([({ __constructor: "Unit", __args: [] }), v]))))); -Ι4['τ12']['tell'] = (Ι3τ34) => (Ι2τ34) => (Ι1τ34) => (Ι6τ35) => (Ι5τ35) => { +let __Ι4τ12tell = λ4(() => (v => WriterT(Ι1τ34.of()(([({ __constructor: "Unit", __args: [] }), v]))))); +Ι4['τ12']['tell'] = () => (Ι3τ34) => (Ι2τ34) => (Ι1τ34) => (Ι6τ35) => (Ι5τ35) => { global.Ι5τ35 = Ι5τ35 global.Ι6τ35 = Ι6τ35 global.Ι1τ34 = Ι1τ34 @@ -220,8 +220,8 @@ let __Ι4τ12tell = λ4(() => (v => WriterT(Ι1τ34.of(([({ __constructor: "Unit return __Ι4τ12tell(); }; Ι4['τ13'] = {}; -let __Ι4τ13tell = λ4(() => (_P_ => Ι8.τ32.lift(Ι3τ36)(Ι2τ36)(Ι1τ36)(Ι4τ37.tell(_P_)))); -Ι4['τ13']['tell'] = (Ι3τ36) => (Ι2τ36) => (Ι6τ38) => (Ι1τ36) => (Ι5τ38) => (Ι4τ37) => (Ι3τ36) => (Ι2τ36) => (Ι1τ36) => (Ι6τ38) => (Ι5τ38) => { +let __Ι4τ13tell = λ4(() => (_P_ => Ι8.τ32.lift()(Ι3τ36)(Ι2τ36)(Ι1τ36)(Ι4τ37.tell()(_P_)))); +Ι4['τ13']['tell'] = () => (Ι3τ36) => (Ι2τ36) => (Ι6τ38) => (Ι1τ36) => (Ι5τ38) => (Ι4τ37) => (Ι3τ36) => (Ι2τ36) => (Ι1τ36) => (Ι6τ38) => (Ι5τ38) => { global.Ι5τ38 = Ι5τ38 global.Ι6τ38 = Ι6τ38 global.Ι1τ36 = Ι1τ36 @@ -236,30 +236,30 @@ let __Ι4τ13tell = λ4(() => (_P_ => Ι8.τ32.lift(Ι3τ36)(Ι2τ36)(Ι1τ36)( return __Ι4τ13tell(); }; Ι7['τ14'] = {}; -let __Ι7τ14get = λ4(() => StateT((s => Ι1τ39.of(([s, s]))))); -Ι7['τ14']['get'] = (Ι3τ39) => (Ι2τ39) => (Ι1τ39) => { +let __Ι7τ14get = λ4(() => StateT((s => Ι1τ39.of()(([s, s]))))); +Ι7['τ14']['get'] = () => (Ι3τ39) => (Ι2τ39) => (Ι1τ39) => { global.Ι1τ39 = Ι1τ39 global.Ι2τ39 = Ι2τ39 global.Ι3τ39 = Ι3τ39 return __Ι7τ14get(); }; -let __Ι7τ14modify = λ4(() => (f => StateT((s => Ι1τ40.of(([({ __constructor: "Unit", __args: [] }), f(s)])))))); -Ι7['τ14']['modify'] = (Ι3τ40) => (Ι2τ40) => (Ι1τ40) => { +let __Ι7τ14modify = λ4(() => (f => StateT((s => Ι1τ40.of()(([({ __constructor: "Unit", __args: [] }), f(s)])))))); +Ι7['τ14']['modify'] = () => (Ι3τ40) => (Ι2τ40) => (Ι1τ40) => { global.Ι1τ40 = Ι1τ40 global.Ι2τ40 = Ι2τ40 global.Ι3τ40 = Ι3τ40 return __Ι7τ14modify(); }; -let __Ι7τ14put = λ4(() => (s => StateT((_ => Ι1τ41.of(([({ __constructor: "Unit", __args: [] }), s])))))); -Ι7['τ14']['put'] = (Ι3τ41) => (Ι2τ41) => (Ι1τ41) => { +let __Ι7τ14put = λ4(() => (s => StateT((_ => Ι1τ41.of()(([({ __constructor: "Unit", __args: [] }), s])))))); +Ι7['τ14']['put'] = () => (Ι3τ41) => (Ι2τ41) => (Ι1τ41) => { global.Ι1τ41 = Ι1τ41 global.Ι2τ41 = Ι2τ41 global.Ι3τ41 = Ι3τ41 return __Ι7τ14put(); }; Ι7['τ42'] = {}; -let __Ι7τ42get = λ4(() => Ι8.τ24.lift(Ι6τ44)(Ι5τ44)(Ι3τ43)(Ι2τ43)(Ι1τ43)(Ι7τ45.get)); -Ι7['τ42']['get'] = (Ι3τ43) => (Ι2τ43) => (Ι1τ43) => (Ι7τ45) => (Ι3τ43) => (Ι2τ43) => (Ι1τ43) => (Ι6τ44) => (Ι5τ44) => { +let __Ι7τ42get = λ4(() => Ι8.τ24.lift()(Ι6τ44)(Ι5τ44)(Ι3τ43)(Ι2τ43)(Ι1τ43)(Ι7τ45.get())); +Ι7['τ42']['get'] = () => (Ι3τ43) => (Ι2τ43) => (Ι1τ43) => (Ι7τ45) => (Ι3τ43) => (Ι2τ43) => (Ι1τ43) => (Ι6τ44) => (Ι5τ44) => { global.Ι5τ44 = Ι5τ44 global.Ι6τ44 = Ι6τ44 global.Ι1τ43 = Ι1τ43 @@ -271,8 +271,8 @@ let __Ι7τ42get = λ4(() => Ι8.τ24.lift(Ι6τ44)(Ι5τ44)(Ι3τ43)(Ι2τ43)( global.Ι3τ43 = Ι3τ43 return __Ι7τ42get(); }; -let __Ι7τ42modify = λ4(() => (_P_ => Ι8.τ24.lift(Ι6τ47)(Ι5τ47)(Ι3τ46)(Ι2τ46)(Ι1τ46)(Ι7τ48.modify(_P_)))); -Ι7['τ42']['modify'] = (Ι3τ46) => (Ι2τ46) => (Ι1τ46) => (Ι7τ48) => (Ι3τ46) => (Ι2τ46) => (Ι1τ46) => (Ι6τ47) => (Ι5τ47) => { +let __Ι7τ42modify = λ4(() => (_P_ => Ι8.τ24.lift()(Ι6τ47)(Ι5τ47)(Ι3τ46)(Ι2τ46)(Ι1τ46)(Ι7τ48.modify()(_P_)))); +Ι7['τ42']['modify'] = () => (Ι3τ46) => (Ι2τ46) => (Ι1τ46) => (Ι7τ48) => (Ι3τ46) => (Ι2τ46) => (Ι1τ46) => (Ι6τ47) => (Ι5τ47) => { global.Ι5τ47 = Ι5τ47 global.Ι6τ47 = Ι6τ47 global.Ι1τ46 = Ι1τ46 @@ -284,8 +284,8 @@ let __Ι7τ42modify = λ4(() => (_P_ => Ι8.τ24.lift(Ι6τ47)(Ι5τ47)(Ι3τ46) global.Ι3τ46 = Ι3τ46 return __Ι7τ42modify(); }; -let __Ι7τ42put = λ4(() => (_P_ => Ι8.τ24.lift(Ι6τ50)(Ι5τ50)(Ι3τ49)(Ι2τ49)(Ι1τ49)(Ι7τ51.put(_P_)))); -Ι7['τ42']['put'] = (Ι3τ49) => (Ι2τ49) => (Ι1τ49) => (Ι7τ51) => (Ι3τ49) => (Ι2τ49) => (Ι1τ49) => (Ι6τ50) => (Ι5τ50) => { +let __Ι7τ42put = λ4(() => (_P_ => Ι8.τ24.lift()(Ι6τ50)(Ι5τ50)(Ι3τ49)(Ι2τ49)(Ι1τ49)(Ι7τ51.put()(_P_)))); +Ι7['τ42']['put'] = () => (Ι3τ49) => (Ι2τ49) => (Ι1τ49) => (Ι7τ51) => (Ι3τ49) => (Ι2τ49) => (Ι1τ49) => (Ι6τ50) => (Ι5τ50) => { global.Ι5τ50 = Ι5τ50 global.Ι6τ50 = Ι6τ50 global.Ι1τ49 = Ι1τ49 @@ -304,7 +304,7 @@ export let andDo = (Ι3τ1) => (Ι2τ1) => (Ι1τ1) => { return andDo__ND__() }; -let andDo__ND__ = λ4(() => (b => a => Ι1τ1.chain((_ => b))(a))); +let andDo__ND__ = λ4(() => (b => a => Ι1τ1.chain()((_ => b))(a))); export let runWriterT = (__x__ => ((__x__) => { if (__x__.__constructor === "WriterT" && true) { let m = __x__.__args[0]; @@ -322,7 +322,7 @@ let liftA2 = (Ι3τ2) => (Ι2τ2) => { return liftA2__ND__() }; -let liftA2__ND__ = λ4(() => (f => x1 => x2 => Ι2τ2.ap(Ι3τ2.map(f)(x1))(x2))); +let liftA2__ND__ = λ4(() => (f => x1 => x2 => Ι2τ2.ap()(Ι3τ2.map()(f)(x1))(x2))); export let runIdentity = (__x__ => ((__x__) => { if (__x__.__constructor === "Identity" && true) { let a = __x__.__args[0]; @@ -355,7 +355,7 @@ let hep = (Ι3τ5) => (Ι2τ5) => (Ι6τ4) => (Ι1τ5) => (Ι5τ4) => (Ι4τ3) = return hep__ND__() }; -let hep__ND__ = λ4(() => Ι4τ3.tell); +let hep__ND__ = λ4(() => Ι4τ3.tell()); let sumAndLog = (Ι3τ6) => (Ι2τ6) => (Ι1τ6) => (Ι4τ7) => { global.Ι4τ7 = Ι4τ7 global.Ι1τ6 = Ι1τ6 @@ -364,7 +364,7 @@ let sumAndLog = (Ι3τ6) => (Ι2τ6) => (Ι1τ6) => (Ι4τ7) => { return sumAndLog__ND__() }; -let sumAndLog__ND__ = λ4(() => (_P_ => Ι1τ6.chain((x => andDo(Ι3τ6)(Ι2τ6)(Ι1τ6)(Ι1τ6.of(x))(Ι4τ7.tell((['Summed 18'])))))(Ι1τ6.chain((x => Ι1τ6.of(x + 18)))(Ι1τ6.of(_P_))))); +let sumAndLog__ND__ = λ4(() => (_P_ => Ι1τ6.chain()((x => andDo(Ι3τ6)(Ι2τ6)(Ι1τ6)(Ι1τ6.of()(x))(Ι4τ7.tell()((['Summed 18'])))))(Ι1τ6.chain()((x => Ι1τ6.of()(x + 18)))(Ι1τ6.of()(_P_))))); let runStack = (x => _P_ => runIdentity(runWriterT((m => runStateT(m)(x))(_P_)))); -runStack(37)(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(sumAndLog(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10])))(andDo(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι1.τ8.of(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(5))(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HAP']))))(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => Ι7.τ14.put(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(157)))(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HIP']))))(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HOP']))))(Ι3.τ8.map(λ3(Ι3.τ11, [Ι3.τ9]))((x => x * 17))(Ι1.τ8.chain(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((x => Ι1.τ8.of(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(29 * x)))(Ι1.τ8.of(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(3)))))))))); +runStack(37)(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(sumAndLog(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10])))(andDo(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι1.τ8.of()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(5))(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HAP']))))(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => Ι7.τ14.put()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(157)))(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HIP']))))(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((_ => hep(λ3(Ι3.τ8, [λ3(Ι3.τ11, [Ι3.τ9])]))(λ3(Ι2.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι6.τ10)(λ3(Ι1.τ8, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10])]))(Ι5.τ10)(λ3(Ι4.τ13, [λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), Ι6.τ10, λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι5.τ10, λ3(Ι4.τ12, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), λ3(Ι3.τ11, [Ι3.τ9]), λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]), λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]), Ι6.τ10, Ι5.τ10]))((['HOP']))))(Ι3.τ8.map()(λ3(Ι3.τ11, [Ι3.τ9]))((x => x * 17))(Ι1.τ8.chain()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))((x => Ι1.τ8.of()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(29 * x)))(Ι1.τ8.of()(λ3(Ι3.τ11, [Ι3.τ9]))(λ3(Ι2.τ11, [Ι6.τ10, Ι5.τ10, Ι3.τ9, Ι2.τ9]))(λ3(Ι1.τ11, [Ι3.τ9, Ι2.τ9, Ι1.τ9, Ι6.τ10, Ι5.τ10]))(3)))))))))); export default { andDo, runWriterT, runIdentity, runStateT, WriterT, Identity, StateT }; diff --git a/.snapshots/should_include_coverage_trackers_when_coverage_is_True/golden b/.snapshots/should_include_coverage_trackers_when_coverage_is_True/golden index 8071657ff..0cafd366e 100644 --- a/.snapshots/should_include_coverage_trackers_when_coverage_is_True/golden +++ b/.snapshots/should_include_coverage_trackers_when_coverage_is_True/golden @@ -72,7 +72,7 @@ global.__eq__ = (l, r) => { const __applyMany__ = (f, params) => params.reduce((_f, param) => _f(param), f); global.__apMtdDicts__ = (dict, dicts) => - Object.keys(dict).reduce((o, k) => ({ ...o, [k]: __applyMany__(dict[k], dicts) }), {}); + Object.keys(dict).reduce((o, k) => ({ ...o, [k]: () => __applyMany__(dict[k](), dicts) }), {}); global.__once__ = (fn, context) => { diff --git a/madlib.cabal b/madlib.cabal index e6d5b942a..b9ee96872 100644 --- a/madlib.cabal +++ b/madlib.cabal @@ -4,10 +4,10 @@ cabal-version: 1.12 -- -- see: https://github.com/sol/hpack -- --- hash: c32cb47a81da5130b79e327b68caefae565acd8cdded7d6a594425acf5d6aa14 +-- hash: 2d8afcaeacaad0ff296827c4fae6076bd8a4e0deeaab828584b7ef95869a363a name: madlib -version: 0.8.4 +version: 0.8.5 description: Please see the README on GitHub at homepage: https://github.com/open-sorcerers/madlib#readme bug-reports: https://github.com/open-sorcerers/madlib/issues diff --git a/package.yaml b/package.yaml index 2088475ae..53988be4c 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: madlib -version: 0.8.4 +version: 0.8.5 github: "open-sorcerers/madlib" license: BSD3 author: "Arnaud Boeglin, Brekk Bockrath" diff --git a/pkg/package.json b/pkg/package.json index 7832103b8..b83c66962 100644 --- a/pkg/package.json +++ b/pkg/package.json @@ -1,6 +1,6 @@ { "name": "@madlib-lang/madlib", - "version": "0.8.4", + "version": "0.8.5", "main": "./src/run.js", "bin": { "madlib": "src/run.js"