UNPKG

inquire

Version:
1,208 lines 88.3 kB
(function (_ps) { "use strict"; _ps.Prelude = (function () { var module = {}; function id(dict) { return dict.id; }; function $less$less$less(dict) { return dict.$less$less$less; }; function show(dict) { return dict.show; }; function $less$dollar$greater(dict) { return dict.$less$dollar$greater; }; function pure(dict) { return dict.pure; }; function $less$times$greater(dict) { return dict.$less$times$greater; }; function $eq$eq(dict) { return dict.$eq$eq; }; function $amp$amp(dict) { return dict.$amp$amp; }; function $bar$bar(dict) { return dict.$bar$bar; }; function not(dict) { return dict.not; }; function boolAnd(b1) { return function(b2) { return b1 && b2; };}; function boolOr(b1) { return function(b2) { return b1 || b2; };}; function boolNot(b) { return !b;}; function $plus$plus(s1) { return function(s2) { return s1 + s2; };}; var functorFromApplicative_$less$dollar$greater = function (__dict_Applicative_0) { return function (f) { if (typeof f !== "function") { throw "function expected"; }; return function (a) { return $less$times$greater(__dict_Applicative_0)(pure(__dict_Applicative_0)(f))(a); }; }; }; var functorFromApplicative = function (_1) { return { $less$dollar$greater: functorFromApplicative_$less$dollar$greater(_1) }; }; var flip = function (f) { if (typeof f !== "function") { throw "function expected"; }; return function (b) { return function (a) { return f(a)(b); }; }; }; var categoryArr_id = function (x) { return x; }; var categoryArr_$less$less$less = function (f) { if (typeof f !== "function") { throw "function expected"; }; return function (g) { if (typeof g !== "function") { throw "function expected"; }; return function (x) { return f(g(x)); }; }; }; var categoryArr = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { id: categoryArr_id, $less$less$less: categoryArr_$less$less$less }; }; var boolLikeBoolean_not = boolNot; var boolLikeBoolean_$bar$bar = boolOr; var boolLikeBoolean_$amp$amp = boolAnd; var boolLikeBoolean = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $amp$amp: boolLikeBoolean_$amp$amp, $bar$bar: boolLikeBoolean_$bar$bar, not: boolLikeBoolean_not }; }; var $dollar = function (f) { if (typeof f !== "function") { throw "function expected"; }; return function (x) { return f(x); }; }; module["++"] = $plus$plus; module.boolNot = boolNot; module.boolOr = boolOr; module.boolAnd = boolAnd; module.not = not; module["||"] = $bar$bar; module["&&"] = $amp$amp; module["=="] = $eq$eq; module["<*>"] = $less$times$greater; module.pure = pure; module["<$>"] = $less$dollar$greater; module.show = show; module["$"] = $dollar; module["<<<"] = $less$less$less; module.id = id; module.flip = flip; module.categoryArr = categoryArr; module.functorFromApplicative = functorFromApplicative; module.boolLikeBoolean = boolLikeBoolean; return module; })(); _ps.Data_Maybe = (function () { var module = {}; var Nothing = { ctor: "Data.Maybe.Nothing", values: [ ] }; var Just = function (value0) { return { ctor: "Data.Maybe.Just", values: [ value0 ] }; }; var maybe = function (_1) { return function (_2) { if (typeof _2 !== "function") { throw "function expected"; }; return function (_3) { if (_3.ctor === "Data.Maybe.Nothing") { return _1; }; if (_3.ctor === "Data.Maybe.Just") { return _2(_3.values[0]); }; throw "Failed pattern match"; }; }; }; module.Nothing = Nothing; module.Just = Just; module.maybe = maybe; return module; })(); _ps.Data_BiTraversable = (function () { var module = {}; function bitraverse(dict) { return dict.bitraverse; }; module.bitraverse = bitraverse; return module; })(); _ps.Data_BiFunctor = (function () { var module = {}; function $less$dollar$dollar$greater(dict) { return dict.$less$dollar$dollar$greater; }; module["<$$>"] = $less$dollar$dollar$greater; return module; })(); _ps.Data_BiFoldable = (function () { var module = {}; function bifoldr(dict) { return dict.bifoldr; }; module.bifoldr = bifoldr; return module; })(); _ps.Data_Array = (function () { var module = {}; function concat (l1) { return function (l2) { return l1.concat(l2); };}; function zipWith (f) { return function (xs) { return function (ys) { var l = xs.length > ys.length ? xs.length : ys.length; var result = new Array(l); for (var i = 0; i < l; i++) { result[i] = f(xs[i])(ys[i]); } return result; }; };}; var $colon = function (a) { return concat([ a ]); }; module.zipWith = zipWith; module.concat = concat; module[":"] = $colon; return module; })(); _ps.Data_Monoid = (function () { var module = {}; function mempty(dict) { return dict.mempty; }; function $less$greater(dict) { return dict.$less$greater; }; module["<>"] = $less$greater; module.mempty = mempty; return module; })(); _ps.Data_Tuple = (function () { var module = {}; var Tuple = function (value0) { return function (value1) { return { ctor: "Data.Tuple.Tuple", values: [ value0, value1 ] }; }; }; var zip = _ps.Data_Array.zipWith(Tuple); module.Tuple = Tuple; module.zip = zip; return module; })(); _ps.Data_Foldable = (function () { var module = {}; function foldr(dict) { return dict.foldr; }; function foldl(dict) { return dict.foldl; }; function foldMap(dict) { return dict.foldMap; }; var foldableArray = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { foldr: foldableArray_foldr, foldl: foldableArray_foldl, foldMap: function (__dict_Monoid_286) { return foldableArray_foldMap(__dict_Monoid_286); } }; }; var foldableArray_foldr = function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { return function (_3) { if (!Array.isArray(_3)) { throw "Array expected"; }; return (function (_4, _5, _6) { if (_6.length === 0) { return _5; }; if (_6.length > 0) { var _8 = _6.slice(1); return _4(_6[0])(foldr(foldableArray({}))(_4)(_5)(_8)); }; throw "Failed pattern match"; })(_1, _2, _3); }; }; }; var foldableArray_foldl = function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { return function (_3) { if (!Array.isArray(_3)) { throw "Array expected"; }; return (function (_4, _5, _6) { if (_6.length === 0) { return _5; }; if (_6.length > 0) { var _8 = _6.slice(1); return foldl(foldableArray({}))(_4)(_4(_5)(_6[0]))(_8); }; throw "Failed pattern match"; })(_1, _2, _3); }; }; }; var foldableArray_foldMap = function (__dict_Monoid_285) { return function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { if (!Array.isArray(_2)) { throw "Array expected"; }; return (function (_3, _4) { if (_4.length === 0) { return _ps.Data_Monoid.mempty(__dict_Monoid_285); }; if (_4.length > 0) { var _6 = _4.slice(1); return _ps.Data_Monoid["<>"](__dict_Monoid_285)(_3(_4[0]))(foldMap(foldableArray({}))(__dict_Monoid_285)(_3)(_6)); }; throw "Failed pattern match"; })(_1, _2); }; }; }; module.foldMap = foldMap; module.foldl = foldl; module.foldr = foldr; module.foldableArray = foldableArray; return module; })(); _ps.Data_Traversable = (function () { var module = {}; function traverse(dict) { return dict.traverse; }; module.traverse = traverse; return module; })(); _ps.Network_Inquire = (function () { var module = {}; var NOBOOL = { ctor: "Network.Inquire.NOBOOL", values: [ ] }; var NOT = { ctor: "Network.Inquire.NOT", values: [ ] }; var IEQ = { ctor: "Network.Inquire.IEQ", values: [ ] }; var INE = { ctor: "Network.Inquire.INE", values: [ ] }; var IGT = { ctor: "Network.Inquire.IGT", values: [ ] }; var IGE = { ctor: "Network.Inquire.IGE", values: [ ] }; var ILT = { ctor: "Network.Inquire.ILT", values: [ ] }; var ILE = { ctor: "Network.Inquire.ILE", values: [ ] }; var AND = { ctor: "Network.Inquire.AND", values: [ ] }; var OR = { ctor: "Network.Inquire.OR", values: [ ] }; var True = { ctor: "Network.Inquire.True", values: [ ] }; var False = { ctor: "Network.Inquire.False", values: [ ] }; var Pred = function (value0) { return function (value1) { return function (value2) { return { ctor: "Network.Inquire.Pred", values: [ value0, value1, value2 ] }; }; }; }; var Junc = function (value0) { return function (value1) { return function (value2) { return { ctor: "Network.Inquire.Junc", values: [ value0, value1, value2 ] }; }; }; }; var Wrap = function (value0) { return function (value1) { return { ctor: "Network.Inquire.Wrap", values: [ value0, value1 ] }; }; }; function unsafeGenerate(i) { var showDict = { show: function(k) { if ({}.toString.call(k).slice(8, -1) === 'Function') { return k().toString(); } else { return k.toString(); } } }; return generate(showDict)(showDict)(i);}; function unsafeEncode(x) { var show = function(k) { if ({}.toString.call(k).slice(8, -1) === 'Function') { return k().toString(); } else { return k.toString(); } }; if ({}.toString.call(x).slice(8, -1) === 'Array') { return x.map(encodeURIComponent).join(); } else { return encodeURIComponent(show(x)); }}; var traversableInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { traverse: function (__dict_Applicative_322) { return traversableInquire_traverse(__dict_Applicative_322); }, sequence: function (__dict_Applicative_323) { return traversableInquire_sequence(__dict_Applicative_323); } }; }; var traversableInquire_traverse = function (__dict_Applicative_320) { return function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { if (_2.ctor === "Network.Inquire.True") { return _ps.Prelude.pure(__dict_Applicative_320)(True); }; if (_2.ctor === "Network.Inquire.False") { return _ps.Prelude.pure(__dict_Applicative_320)(False); }; if (_2.ctor === "Network.Inquire.Pred") { return _ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_320))(Pred(_2.values[0])(_2.values[1]))(_1(_2.values[2])); }; if (_2.ctor === "Network.Inquire.Junc") { return _ps.Prelude["<*>"](__dict_Applicative_320)(_ps.Prelude["<*>"](__dict_Applicative_320)(_ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_320))(Junc)(_ps.Data_Traversable.traverse(traversableInquire({}))(__dict_Applicative_320)(_1)(_2.values[0])))(_ps.Prelude.pure(__dict_Applicative_320)(_2.values[1])))(_ps.Data_Traversable.traverse(traversableInquire({}))(__dict_Applicative_320)(_1)(_2.values[2])); }; if (_2.ctor === "Network.Inquire.Wrap") { return _ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_320))(Wrap(_2.values[0]))(_ps.Data_Traversable.traverse(traversableInquire({}))(__dict_Applicative_320)(_1)(_2.values[1])); }; throw "Failed pattern match"; }; }; }; var traversableInquire_sequence = function (__dict_Applicative_321) { return _ps.Data_Traversable.traverse(traversableInquire({}))(__dict_Applicative_321)(_ps.Prelude.id(_ps.Prelude.categoryArr({}))); }; var showWrapOp_show = function (_1) { if (_1.ctor === "Network.Inquire.NOBOOL") { return ""; }; if (_1.ctor === "Network.Inquire.NOT") { return "!"; }; throw "Failed pattern match"; }; var showWrapOp = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { show: showWrapOp_show }; }; var showRel_show = function (_1) { if (_1.ctor === "Network.Inquire.IEQ") { return "="; }; if (_1.ctor === "Network.Inquire.INE") { return "!="; }; if (_1.ctor === "Network.Inquire.IGT") { return ">"; }; if (_1.ctor === "Network.Inquire.IGE") { return ">="; }; if (_1.ctor === "Network.Inquire.ILT") { return "<"; }; if (_1.ctor === "Network.Inquire.ILE") { return "<="; }; throw "Failed pattern match"; }; var showRel = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { show: showRel_show }; }; var showJuncOp_show = function (_1) { if (_1.ctor === "Network.Inquire.AND") { return "&"; }; if (_1.ctor === "Network.Inquire.OR") { return ";"; }; throw "Failed pattern match"; }; var showJuncOp = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { show: showJuncOp_show }; }; var pred = function (o) { if (typeof o !== "object") { throw "object expected"; }; return Pred(o.key)(o.rel)(o.val); }; var neObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: INE, val: o.val }); }; var ne = function (k) { return function (v) { return neObj({ key: k, val: v }); }; }; var monoidInquire_mempty = True; var monoidInquire_$less$greater = function (_1) { return function (_2) { if (_2.ctor === "Network.Inquire.True") { return _1; }; if (_1.ctor === "Network.Inquire.True") { return _2; }; return Junc(_1)(AND)(_2); }; }; var monoidInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { mempty: monoidInquire_mempty, $less$greater: monoidInquire_$less$greater }; }; var ltObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: ILT, val: o.val }); }; var lt = function (k) { return function (v) { return ltObj({ key: k, val: v }); }; }; var leObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: ILE, val: o.val }); }; var le = function (k) { return function (v) { return leObj({ key: k, val: v }); }; }; var gtObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: IGT, val: o.val }); }; var gt = function (k) { return function (v) { return gtObj({ key: k, val: v }); }; }; var geObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: IGE, val: o.val }); }; var ge = function (k) { return function (v) { return geObj({ key: k, val: v }); }; }; var functorInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $less$dollar$greater: functorInquire_$less$dollar$greater }; }; var functorInquire_$less$dollar$greater = function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { if (_2.ctor === "Network.Inquire.True") { return True; }; if (_2.ctor === "Network.Inquire.False") { return False; }; if (_2.ctor === "Network.Inquire.Pred") { return Pred(_2.values[0])(_2.values[1])(_1(_2.values[2])); }; if (_2.ctor === "Network.Inquire.Junc") { return Junc(_ps.Prelude["<$>"](functorInquire({}))(_1)(_2.values[0]))(_2.values[1])(_ps.Prelude["<$>"](functorInquire({}))(_1)(_2.values[2])); }; if (_2.ctor === "Network.Inquire.Wrap") { return Wrap(_2.values[0])(_ps.Prelude["<$>"](functorInquire({}))(_1)(_2.values[1])); }; throw "Failed pattern match"; }; }; var foldableInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { foldr: foldableInquire_foldr, foldl: foldableInquire_foldl, foldMap: function (__dict_Monoid_329) { return foldableInquire_foldMap(__dict_Monoid_329); } }; }; var foldableInquire_foldr = function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { return function (_3) { if (_3.ctor === "Network.Inquire.True") { return _2; }; if (_3.ctor === "Network.Inquire.False") { return _2; }; if (_3.ctor === "Network.Inquire.Pred") { return _1(_3.values[2])(_2); }; if (_3.ctor === "Network.Inquire.Junc") { return _ps.Data_Foldable.foldr(foldableInquire({}))(_1)(_ps.Data_Foldable.foldr(foldableInquire({}))(_1)(_2)(_3.values[2]))(_3.values[0]); }; if (_3.ctor === "Network.Inquire.Wrap") { return _ps.Data_Foldable.foldr(foldableInquire({}))(_1)(_2)(_3.values[1]); }; throw "Failed pattern match"; }; }; }; var foldableInquire_foldl = function (f) { if (typeof f !== "function") { throw "function expected"; }; return function (z) { return function (i) { return _ps.Data_Foldable.foldr(foldableInquire({}))(_ps.Prelude.flip(f))(z)(i); }; }; }; var foldableInquire_foldMap = function (__dict_Monoid_328) { return function (f) { if (typeof f !== "function") { throw "function expected"; }; return _ps.Data_Foldable.foldr(foldableInquire({}))(_ps.Prelude["<<<"](_ps.Prelude.categoryArr({}))(_ps.Data_Monoid["<>"](__dict_Monoid_328))(f))(_ps.Data_Monoid.mempty(__dict_Monoid_328)); }; }; var eqWrapOp_$eq$eq = function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.NOBOOL") { if (_2.ctor === "Network.Inquire.NOBOOL") { return true; }; }; if (_1.ctor === "Network.Inquire.NOT") { if (_2.ctor === "Network.Inquire.NOT") { return true; }; }; return false; }; }; var eqWrapOp = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $eq$eq: eqWrapOp_$eq$eq, $div$eq: eqWrapOp_$div$eq }; }; var eqWrapOp_$div$eq = function (r) { return function (r$prime) { return !_ps.Prelude["=="](eqWrapOp({}))(r)(r$prime); }; }; var eqRel_$eq$eq = function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.IEQ") { if (_2.ctor === "Network.Inquire.IEQ") { return true; }; }; if (_1.ctor === "Network.Inquire.INE") { if (_2.ctor === "Network.Inquire.INE") { return true; }; }; if (_1.ctor === "Network.Inquire.IGT") { if (_2.ctor === "Network.Inquire.IGT") { return true; }; }; if (_1.ctor === "Network.Inquire.IGE") { if (_2.ctor === "Network.Inquire.IGE") { return true; }; }; if (_1.ctor === "Network.Inquire.ILT") { if (_2.ctor === "Network.Inquire.ILT") { return true; }; }; if (_1.ctor === "Network.Inquire.ILE") { if (_2.ctor === "Network.Inquire.ILE") { return true; }; }; return false; }; }; var eqRel = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $eq$eq: eqRel_$eq$eq, $div$eq: eqRel_$div$eq }; }; var eqRel_$div$eq = function (r) { return function (r$prime) { return !_ps.Prelude["=="](eqRel({}))(r)(r$prime); }; }; var eqObj = function (o) { if (typeof o !== "object") { throw "object expected"; }; return pred({ key: o.key, rel: IEQ, val: o.val }); }; var eqJuncOp_$eq$eq = function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.AND") { if (_2.ctor === "Network.Inquire.AND") { return true; }; }; if (_1.ctor === "Network.Inquire.OR") { if (_2.ctor === "Network.Inquire.OR") { return true; }; }; return false; }; }; var eqJuncOp = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $eq$eq: eqJuncOp_$eq$eq, $div$eq: eqJuncOp_$div$eq }; }; var eqJuncOp_$div$eq = function (r) { return function (r$prime) { return !_ps.Prelude["=="](eqJuncOp({}))(r)(r$prime); }; }; var showInquire_show = function (__dict_Show_324) { return function (__dict_Show_325) { return function (_1) { if (_1.ctor === "Network.Inquire.True") { return ""; }; if (_1.ctor === "Network.Inquire.False") { return ""; }; if (_1.ctor === "Network.Inquire.Pred") { return unsafeEncode(_1.values[0]) + _ps.Prelude.show(showRel({}))(_1.values[1]) + unsafeEncode(_1.values[2]); }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.True") { if ((_1.values[2]).ctor === "Network.Inquire.True") { return ""; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.True") { if ((_1.values[2]).ctor === "Network.Inquire.False") { return ""; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.True") { if ((_1.values[2]).ctor === "Network.Inquire.False") { return ""; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.False") { if ((_1.values[2]).ctor === "Network.Inquire.False") { return ""; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.False") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.True") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.True") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.False") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Pred") { if ((_1.values[2]).ctor === "Network.Inquire.Pred") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Pred") { if ((_1.values[2]).ctor === "Network.Inquire.Junc") { if (_ps.Prelude["=="](eqJuncOp({}))(_1.values[1])((_1.values[2]).values[1])) { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.Pred") { if (_ps.Prelude["=="](eqJuncOp({}))((_1.values[0]).values[1])(_1.values[1])) { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))((_1.values[0]).values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Pred") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]) + ")"; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.Pred") { return "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + ")" + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.Junc") { if (_ps.Prelude["=="](eqJuncOp({}))((_1.values[0]).values[1])(_1.values[1]) && _ps.Prelude["=="](eqJuncOp({}))(_1.values[1])((_1.values[2]).values[1])) { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))((_1.values[0]).values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[0]).ctor === "Network.Inquire.Junc") { if (_ps.Prelude["=="](eqJuncOp({}))((_1.values[0]).values[1])(_1.values[1])) { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + _ps.Prelude.show(showJuncOp({}))((_1.values[0]).values[1]) + "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]) + ")"; }; }; }; if (_1.ctor === "Network.Inquire.Junc") { if ((_1.values[2]).ctor === "Network.Inquire.Junc") { if (_ps.Prelude["=="](eqJuncOp({}))(_1.values[1])((_1.values[2]).values[1])) { return "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + ")" + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]); }; }; }; if (_1.ctor === "Network.Inquire.Junc") { return "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[0]) + ")" + _ps.Prelude.show(showJuncOp({}))(_1.values[1]) + "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[2]) + ")"; }; if (_1.ctor === "Network.Inquire.Wrap") { if ((_1.values[0]).ctor === "Network.Inquire.NOBOOL") { if ((_1.values[1]).ctor === "Network.Inquire.Wrap") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[1]); }; }; }; if (_1.ctor === "Network.Inquire.Wrap") { if ((_1.values[1]).ctor === "Network.Inquire.Wrap") { if (((_1.values[1]).values[0]).ctor === "Network.Inquire.NOBOOL") { return _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[1]); }; }; }; if (_1.ctor === "Network.Inquire.Wrap") { return _ps.Prelude.show(showWrapOp({}))(_1.values[0]) + "(" + _ps.Prelude.show(showInquire(__dict_Show_324)(__dict_Show_325))(_1.values[1]) + ")"; }; throw "Failed pattern match"; }; }; }; var showInquire = function (_1) { return function (_2) { return { show: showInquire_show(_1)(_2) }; }; }; var generate = function (__dict_Show_326) { return function (__dict_Show_327) { return function (i) { return _ps.Prelude.show(showInquire(__dict_Show_326)(__dict_Show_327))(i); }; }; }; var eqInquire = function (_1) { return function (_2) { return { $eq$eq: eqInquire_$eq$eq(_1)(_2), $div$eq: eqInquire_$div$eq(_1)(_2) }; }; }; var eqInquire_$eq$eq = function (__dict_Eq_330) { return function (__dict_Eq_331) { return function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.True") { if (_2.ctor === "Network.Inquire.True") { return true; }; }; if (_1.ctor === "Network.Inquire.False") { if (_2.ctor === "Network.Inquire.False") { return true; }; }; if (_1.ctor === "Network.Inquire.Pred") { if (_2.ctor === "Network.Inquire.Pred") { return _ps.Prelude["=="](__dict_Eq_330)(_1.values[0])(_2.values[0]) && _ps.Prelude["=="](eqRel({}))(_1.values[1])(_2.values[1]) && _ps.Prelude["=="](__dict_Eq_331)(_1.values[2])(_2.values[2]); }; }; if (_1.ctor === "Network.Inquire.Junc") { if (_2.ctor === "Network.Inquire.Junc") { return _ps.Prelude["=="](eqInquire(__dict_Eq_330)(__dict_Eq_331))(_1.values[0])(_2.values[0]) && _ps.Prelude["=="](eqJuncOp({}))(_1.values[1])(_2.values[1]) && _ps.Prelude["=="](eqInquire(__dict_Eq_330)(__dict_Eq_331))(_1.values[2])(_2.values[2]); }; }; if (_1.ctor === "Network.Inquire.Wrap") { if (_2.ctor === "Network.Inquire.Wrap") { return _ps.Prelude["=="](eqInquire(__dict_Eq_330)(__dict_Eq_331))(_1.values[1])(_2.values[1]) && _ps.Prelude["=="](eqWrapOp({}))(_1.values[0])(_2.values[0]); }; }; return false; }; }; }; }; var eqInquire_$div$eq = function (__dict_Eq_332) { return function (__dict_Eq_333) { return function (i) { return function (i$prime) { return !_ps.Prelude["=="](eqInquire(__dict_Eq_332)(__dict_Eq_333))(i)(i$prime); }; }; }; }; var eq = function (k) { return function (v) { return eqObj({ key: k, val: v }); }; }; var boolLikeInquire_not = function (_1) { if (_1.ctor === "Network.Inquire.True") { return False; }; if (_1.ctor === "Network.Inquire.False") { return True; }; return Wrap(NOT)(_1); }; var boolLikeInquire_$bar$bar = function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.True") { return True; }; if (_2.ctor === "Network.Inquire.True") { return True; }; if (_2.ctor === "Network.Inquire.False") { return _1; }; if (_1.ctor === "Network.Inquire.False") { return _2; }; return Junc(_1)(OR)(_2); }; }; var boolLikeInquire_$amp$amp = function (_1) { return function (_2) { if (_1.ctor === "Network.Inquire.False") { return False; }; if (_2.ctor === "Network.Inquire.False") { return False; }; if (_2.ctor === "Network.Inquire.True") { return _1; }; if (_1.ctor === "Network.Inquire.True") { return _2; }; return Junc(_1)(AND)(_2); }; }; var boolLikeInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $bar$bar: boolLikeInquire_$bar$bar, $amp$amp: boolLikeInquire_$amp$amp, not: boolLikeInquire_not }; }; var equiv = function (p) { return function (q) { return _ps.Prelude["||"](boolLikeInquire({}))(_ps.Prelude["&&"](boolLikeInquire({}))(p)(q))(_ps.Prelude["&&"](boolLikeInquire({}))(_ps.Prelude.not(boolLikeInquire({}))(p))(_ps.Prelude.not(boolLikeInquire({}))(q))); }; }; var implies = function (p) { return function (q) { return _ps.Prelude["||"](boolLikeInquire({}))(_ps.Prelude.not(boolLikeInquire({}))(p))(q); }; }; var neg = function (i) { return _ps.Prelude.not(boolLikeInquire({}))(i); }; var or = function (i1) { return function (i2) { return _ps.Prelude["||"](boolLikeInquire({}))(i1)(i2); }; }; var xor = function (p) { return function (q) { return _ps.Prelude["||"](boolLikeInquire({}))(_ps.Prelude["&&"](boolLikeInquire({}))(p)(_ps.Prelude.not(boolLikeInquire({}))(q)))(_ps.Prelude["&&"](boolLikeInquire({}))(_ps.Prelude.not(boolLikeInquire({}))(p))(q)); }; }; var bitraversableInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { bitraverse: function (__dict_Applicative_336) { return bitraversableInquire_bitraverse(__dict_Applicative_336); }, bisequence: function (__dict_Applicative_337) { return bitraversableInquire_bisequence(__dict_Applicative_337); } }; }; var bitraversableInquire_bitraverse = function (__dict_Applicative_334) { return function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { if (typeof _2 !== "function") { throw "function expected"; }; return function (_3) { if (_3.ctor === "Network.Inquire.True") { return _ps.Prelude.pure(__dict_Applicative_334)(True); }; if (_3.ctor === "Network.Inquire.False") { return _ps.Prelude.pure(__dict_Applicative_334)(False); }; if (_3.ctor === "Network.Inquire.Pred") { return _ps.Prelude["<*>"](__dict_Applicative_334)(_ps.Prelude["<*>"](__dict_Applicative_334)(_ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_334))(Pred)(_1(_3.values[0])))(_ps.Prelude.pure(__dict_Applicative_334)(_3.values[1])))(_2(_3.values[2])); }; if (_3.ctor === "Network.Inquire.Junc") { return _ps.Prelude["<*>"](__dict_Applicative_334)(_ps.Prelude["<*>"](__dict_Applicative_334)(_ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_334))(Junc)(_ps.Data_BiTraversable.bitraverse(bitraversableInquire({}))(__dict_Applicative_334)(_1)(_2)(_3.values[0])))(_ps.Prelude.pure(__dict_Applicative_334)(_3.values[1])))(_ps.Data_BiTraversable.bitraverse(bitraversableInquire({}))(__dict_Applicative_334)(_1)(_2)(_3.values[2])); }; if (_3.ctor === "Network.Inquire.Wrap") { return _ps.Prelude["<$>"](_ps.Prelude.functorFromApplicative(__dict_Applicative_334))(Wrap(_3.values[0]))(_ps.Data_BiTraversable.bitraverse(bitraversableInquire({}))(__dict_Applicative_334)(_1)(_2)(_3.values[1])); }; throw "Failed pattern match"; }; }; }; }; var bitraversableInquire_bisequence = function (__dict_Applicative_335) { return _ps.Data_BiTraversable.bitraverse(bitraversableInquire({}))(__dict_Applicative_335)(_ps.Prelude.id(_ps.Prelude.categoryArr({})))(_ps.Prelude.id(_ps.Prelude.categoryArr({}))); }; var biFunctorInquire = function (_1) { if (typeof _1 !== "object") { throw "object expected"; }; return { $less$dollar$dollar$greater: biFunctorInquire_$less$dollar$dollar$greater }; }; var biFunctorInquire_$less$dollar$dollar$greater = function (_1) { if (typeof _1 !== "function") { throw "function expected"; }; return function (_2) { if (typeof _2 !== "function") { throw "function expected"; }; return function (_3) { if (_3.ctor === "Network.Inquire.True") { return True; }; if (_3.ctor === "Network.Inquire.False") { return False; }; if (_3.ctor === "Network.Inquire.Pred") { return Pred(_1(_3.values[0]))(_3.values[1])(_2(_3.values[2])); }; if (_3.ctor === "Network.Inquire.Junc") { return Junc(_ps.Data_BiFunctor["<$$>"](biFunctorInquire({}))(_1)(_2)(_3.values[0]))(_3.values[1])(_ps.Data_BiFunctor["<$$>"](biFunctorInquire({}))(_1)(_2)(_3.values[2])); }; if (_3.ctor === "Network.Inquire.Wrap") { return Wrap(_3.values[0])(_ps.Data_BiFunctor["<$$>"](biFunctorInquire({}))(_1)(_2)(_3.values[1])); }; throw "Failed pattern match"; }; }; }; var biFoldableInquire = function (_1) { if (typeo