|| Generated Sapl file for Flavour.icl


Flavour.fromGenericFlavourRep_23 !c_0 = select c_0 (\ c_1_0 = select c_1_0 (\ c_2_0 c_2_1 = select c_2_0 (\ x1_3_0 = select c_2_1 (\ x2_4_0 = Flavour._FlavourRep x1_3_0 x2_4_0))))
Flavour.bimapFromGeneric_37 !x_0 = Flavour._f83_83 x_0
Flavour._f83_83 !x_0 = select x_0 Maybe.Nothing (\ x1_1_0 = Maybe.Just (Flavour.fromGenericFlavourRep_23 x1_1_0))
Flavour.bimapFromGeneric_38 !x_0 = Flavour._f84_84 x_0
Flavour._f84_84 !x_0 = select x_0 (\ x1_1_0 x2_1_1 = _predefined._Tuple2 (Flavour.bimapFromGeneric_37 x1_1_0) x2_1_1)
Flavour.fromGenericBIFRep_34 !c_0 = select c_0 (\ c_1_0 = select c_1_0 (\ c_2_0 c_2_1 = select c_2_0 (\ c_3_0 c_3_1 = select c_3_0 (\ x1_4_0 = select c_3_1 (\ x2_5_0 = select c_2_1 (\ c_6_0 c_6_1 = select c_6_0 (\ x3_7_0 = select c_6_1 (\ c_8_0 c_8_1 = select c_8_0 (\ x4_9_0 = select c_8_1 (\ x5_10_0 = Flavour._BIFRep x1_4_0 x2_5_0 x3_7_0 x4_9_0 x5_10_0))))))))))
Flavour.bimapFromGeneric_39 !x_0 = Flavour._f85_85 x_0
Flavour._f85_85 !x_0 = select x_0 Maybe.Nothing (\ x1_1_0 = Maybe.Just (Flavour.fromGenericBIFRep_34 x1_1_0))
Flavour.bimapFromGeneric_40 !x_0 = Flavour._f86_86 x_0
Flavour._f86_86 !x_0 = select x_0 (\ x1_1_0 x2_1_1 = _predefined._Tuple2 (Flavour.bimapFromGeneric_39 x1_1_0) x2_1_1)
Flavour.JSONDecode_BIFRep_16 !x1_0 = Flavour.bimapFromGeneric_40 (JSON.JSONDecode_RECORD_38 (JSON.JSONDecode_PAIR_36 (JSON.JSONDecode_PAIR_36 (JSON.JSONDecode_FIELD_39 "sapl_name" JSON.JSONDecode__String_34) (JSON.JSONDecode_FIELD_39 "arity" JSON.JSONDecode_Int_30)) (JSON.JSONDecode_PAIR_36 (JSON.JSONDecode_FIELD_39 "strict" JSON.JSONDecode_Bool_33) (JSON.JSONDecode_PAIR_36 (JSON.JSONDecode_FIELD_39 "js_name" (JSON.JSONDecode_Maybe_49 JSON.JSONDecode__String_34)) (JSON.JSONDecode_FIELD_39 "js_inline" (JSON.JSONDecode_Maybe_49 JSON.JSONDecode__String_34))))) x1_0)
Flavour.JSONDecode_FlavourRep_15 !x1_0 = Flavour.bimapFromGeneric_38 (JSON.JSONDecode_RECORD_38 (JSON.JSONDecode_PAIR_36 (JSON.JSONDecode_FIELD_39 "fun_prefix" JSON.JSONDecode__String_34) (JSON.JSONDecode_FIELD_39 "bifs" (JSON.JSONDecode__List_42 Flavour.JSONDecode_BIFRep_16))) x1_0)
Flavour.mbRep_11 !str_0 = JSON.fromJSON (<{Flavour.JSONDecode_s;}> Flavour.JSONDecode_FlavourRep_15) (JSON.fromString_7 str_0)
Flavour.anon_4 !f_0 = Maybe.isJust (Flavour.get_js_name_8 f_0)
Flavour.anon_5 f_0 = _predefined._Tuple2 (Flavour.get_sapl_name_5 f_0) (_predefined._Tuple2 (Maybe.fromJust (Flavour.get_js_name_8 f_0)) (Flavour.get_arity_6 f_0))
Flavour.anon_6 !f_0 = Maybe.isJust (Flavour.get_js_inline_9 f_0)
Flavour.foldl_17 op_0 r_1 !_x_2 = select _x_2 (\ a_1_0 x_1_1 = Flavour.foldl_17 op_0 (op_0 r_1 a_1_0) x_1_1) r_1
Flavour.app_8 eval_0 args_1 a_2 !_x_3 = select _x_3 (\ str_1_0 = <{StringAppender.<++_4}> a_2 str_1_0) (\ x_1_0 = eval_0 (<{StdList.!!}> args_1 (<{StdInt.-_7}> x_1_0 1)) a_2)
Flavour.revstr_3 !_vtoChar_0 !ss_1 = StdList.toString_49 _vtoChar_0 (StdList.reverse ss_1)
Flavour.revstr_81 !ss_0 = StdList.toString_79 (StdList.reverse ss_0)
<{Flavour.extractBindings`_2}> !_x_0 _x_1 = select _x_0 (\ _x_1_0 _x_1_1 = if (<{StdChar.==_18}> _x_1_0 ':') (select _x_1_1 (\ x_2_0 _x_2_1 = select _x_2_1 (\ _x_3_0 xs_3_1 = if (<{StdChar.==_18}> _x_3_0 ':') (if (StdChar.isDigit x_2_0) (<{Flavour._c;28;23_87}> _x_1 x_2_0 xs_3_1) (<{Flavour.extractBindings`_2_def1}> _x_1_0 _x_1_1 _x_0 _x_1)) (<{Flavour.extractBindings`_2_def1}> _x_1_0 _x_1_1 _x_0 _x_1)) (<{Flavour.extractBindings`_2_def1}> _x_1_0 _x_1_1 _x_0 _x_1)) (<{Flavour.extractBindings`_2_def1}> _x_1_0 _x_1_1 _x_0 _x_1)) (<{Flavour.extractBindings`_2_def1}> _x_1_0 _x_1_1 _x_0 _x_1)) (select _x_1 (\ _uv1_2_0 _uv2_2_1 = <{Flavour.extractBindings`_2_def0}> _x_0 _x_1) _predefined._Nil)
<{Flavour.extractBindings`_2_def0}> !_x_0 _x_1 = _predefined._Cons (Flavour.StringPart (Flavour.revstr_81 _x_1)) _predefined._Nil
<{Flavour.extractBindings`_2_def1}> _x_0 _x_1 !_x_2 _x_3 = <{Flavour.extractBindings`_2}> _x_1 (_predefined._Cons _x_0 _x_3)
<{Flavour._c;28;23_87}> !_x_0 x_1 xs_2 = select _x_0 (\ _uv1_1_0 _uv2_1_1 = <{Flavour._c;28;23_87_def0}> _x_0 x_1 xs_2) (_predefined._Cons (Flavour.Binding (StdChar.digitToInt x_1)) (<{Flavour.extractBindings`_2}> xs_2 _predefined._Nil))
<{Flavour._c;28;23_87_def0}> !_x_0 x_1 xs_2 = _predefined._Cons (Flavour.StringPart (Flavour.revstr_81 _x_0)) (_predefined._Cons (Flavour.Binding (StdChar.digitToInt x_1)) (<{Flavour.extractBindings`_2}> xs_2 _predefined._Nil))
Flavour.extractBindings !str_0 = <{Flavour.extractBindings`_2}> (StdList.fromString_78 str_0) _predefined._Nil
Flavour.foldl_82 eval_0 args_1 r_2 !_x_3 = select _x_3 (\ a_1_0 x_1_1 = Flavour.foldl_82 eval_0 args_1 (Flavour.app_8 eval_0 args_1 r_2 a_1_0) x_1_1) r_2
Flavour.inst_9 !tpl_0 eval_1 args_2 a_3 = Flavour.foldl_82 eval_1 args_2 a_3 (Flavour.extractBindings tpl_0)
Flavour.toInlineFun_10 tpl_0 = Flavour.inst_9 tpl_0
Flavour.anon_7 f_0 = _predefined._Tuple2 (Flavour.get_sapl_name_5 f_0) (_predefined._Tuple3 (Flavour.toInlineFun_10 (Maybe.fromJust (Flavour.get_js_inline_9 f_0))) (Flavour.get_arity_6 f_0) (Flavour.get_strict_7 f_0))
<{Flavour.toFlavour`_12}> rep_0 = Flavour._Flavour (Flavour.get_fun_prefix_3 rep_0) (Map.fromList (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{StdString.==_2}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{StdString.<_3}>)) (StdList.map Flavour.anon_5 (StdList.filter Flavour.anon_4 (Flavour.get_bifs_4 rep_0)))) (Map.fromList (<{StdClass.Eq;}> (<{StdOverloaded.==;}> <{StdString.==_2}>)) (<{StdClass.Ord;}> (<{StdOverloaded.<;}> <{StdString.<_3}>)) (StdList.map Flavour.anon_7 (StdList.filter Flavour.anon_6 (Flavour.get_bifs_4 rep_0))))
Flavour.toFlavour !str_0 = <{Flavour._c;37;7_88}> (Flavour.mbRep_11 str_0)
<{Flavour._c;37;7_88}> !_x_0 = select _x_0 Maybe.Nothing (\ rep_1_0 = Maybe.Just (<{Flavour.toFlavour`_12}> rep_1_0))
Flavour.toGenericFlavourRep_24 !x_0 = select x_0 (\ x11_1_0 x12_1_1 = StdGeneric.RECORD (StdGeneric.PAIR (StdGeneric.FIELD x11_1_0) (StdGeneric.FIELD x12_1_1)))
Flavour.fli__FlavourRep_19 = _predefined._Cons "fun_prefix" (_predefined._Cons "bifs" _predefined._Nil)
Flavour.toGenericBIFRep_35 !x_0 = select x_0 (\ x11_1_0 x12_1_1 x13_1_2 x14_1_3 x15_1_4 = StdGeneric.RECORD (StdGeneric.PAIR (StdGeneric.PAIR (StdGeneric.FIELD x11_1_0) (StdGeneric.FIELD x12_1_1)) (StdGeneric.PAIR (StdGeneric.FIELD x13_1_2) (StdGeneric.PAIR (StdGeneric.FIELD x14_1_3) (StdGeneric.FIELD x15_1_4)))))
Flavour.fli__BIFRep_27 = _predefined._Cons "sapl_name" (_predefined._Cons "arity" (_predefined._Cons "strict" (_predefined._Cons "js_name" (_predefined._Cons "js_inline" _predefined._Nil))))
Flavour.JSONEncode_BIFRep_14 !x1_0 = JSON.JSONEncode_RECORD_17 Flavour.fli__BIFRep_27 (JSON.JSONEncode_PAIR_15 (JSON.JSONEncode_PAIR_15 (JSON.JSONEncode_FIELD_18 JSON.JSONEncode__String_13) (JSON.JSONEncode_FIELD_18 JSON.JSONEncode_Int_9)) (JSON.JSONEncode_PAIR_15 (JSON.JSONEncode_FIELD_18 JSON.JSONEncode_Bool_12) (JSON.JSONEncode_PAIR_15 (JSON.JSONEncode_FIELD_18 (JSON.JSONEncode_Maybe_28 JSON.JSONEncode__String_13)) (JSON.JSONEncode_FIELD_18 (JSON.JSONEncode_Maybe_28 JSON.JSONEncode__String_13))))) (Flavour.toGenericBIFRep_35 x1_0)
Flavour.JSONEncode_FlavourRep_13 !x1_0 = JSON.JSONEncode_RECORD_17 Flavour.fli__FlavourRep_19 (JSON.JSONEncode_PAIR_15 (JSON.JSONEncode_FIELD_18 JSON.JSONEncode__String_13) (JSON.JSONEncode_FIELD_18 (JSON.JSONEncode__List_21 Flavour.JSONEncode_BIFRep_14))) (Flavour.toGenericFlavourRep_24 x1_0)

:: Flavour.X = Flavour.StringPart a1 | Flavour.Binding a1

|| Converted Records
:: Flavour._Flavour = {Flavour.fun_prefix, Flavour.builtInFunctions, Flavour.inlineFunctions}
Flavour.get_fun_prefix_0 rec = select rec (\ a1 a2 a3 = a1)
Flavour.get_builtInFunctions_1 rec = select rec (\ a1 a2 a3 = a2)
Flavour.get_inlineFunctions_2 rec = select rec (\ a1 a2 a3 = a3)
Flavour.set_fun_prefix_0 rec val = select rec (\ a1 a2 a3 = Flavour._Flavour  val a2 a3)
Flavour.set_builtInFunctions_1 rec val = select rec (\ a1 a2 a3 = Flavour._Flavour  a1 val a3)
Flavour.set_inlineFunctions_2 rec val = select rec (\ a1 a2 a3 = Flavour._Flavour  a1 a2 val)

:: Flavour._FlavourRep = {Flavour.fun_prefix, Flavour.bifs}
Flavour.get_fun_prefix_3 rec = select rec (\ a1 a2 = a1)
Flavour.get_bifs_4 rec = select rec (\ a1 a2 = a2)
Flavour.set_fun_prefix_3 rec val = select rec (\ a1 a2 = Flavour._FlavourRep  val a2)
Flavour.set_bifs_4 rec val = select rec (\ a1 a2 = Flavour._FlavourRep  a1 val)

:: Flavour._BIFRep = {Flavour.sapl_name, Flavour.arity, Flavour.strict, Flavour.js_name, Flavour.js_inline}
Flavour.get_sapl_name_5 rec = select rec (\ a1 a2 a3 a4 a5 = a1)
Flavour.get_arity_6 rec = select rec (\ a1 a2 a3 a4 a5 = a2)
Flavour.get_strict_7 rec = select rec (\ a1 a2 a3 a4 a5 = a3)
Flavour.get_js_name_8 rec = select rec (\ a1 a2 a3 a4 a5 = a4)
Flavour.get_js_inline_9 rec = select rec (\ a1 a2 a3 a4 a5 = a5)
Flavour.set_sapl_name_5 rec val = select rec (\ a1 a2 a3 a4 a5 = Flavour._BIFRep  val a2 a3 a4 a5)
Flavour.set_arity_6 rec val = select rec (\ a1 a2 a3 a4 a5 = Flavour._BIFRep  a1 val a3 a4 a5)
Flavour.set_strict_7 rec val = select rec (\ a1 a2 a3 a4 a5 = Flavour._BIFRep  a1 a2 val a4 a5)
Flavour.set_js_name_8 rec val = select rec (\ a1 a2 a3 a4 a5 = Flavour._BIFRep  a1 a2 a3 val a5)
Flavour.set_js_inline_9 rec val = select rec (\ a1 a2 a3 a4 a5 = Flavour._BIFRep  a1 a2 a3 a4 val)

:: <{Flavour.JSONEncode_s;}> = {Flavour.JSONEncode_s}
Flavour.get_JSONEncode_s_10 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_s_10 rec val = select rec (\ a1 = <{Flavour.JSONEncode_s;}>  val)

:: <{Flavour.JSONEncode_ss;}> = {Flavour.JSONEncode_ss}
Flavour.get_JSONEncode_ss_11 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_ss_11 rec val = select rec (\ a1 = <{Flavour.JSONEncode_ss;}>  val)

:: <{Flavour.JSONEncode_sss;}> = {Flavour.JSONEncode_sss}
Flavour.get_JSONEncode_sss_12 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_sss_12 rec val = select rec (\ a1 = <{Flavour.JSONEncode_sss;}>  val)

:: <{Flavour.JSONDecode_s;}> = {Flavour.JSONDecode_s}
Flavour.get_JSONDecode_s_13 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_s_13 rec val = select rec (\ a1 = <{Flavour.JSONDecode_s;}>  val)

:: <{Flavour.JSONDecode_ss;}> = {Flavour.JSONDecode_ss}
Flavour.get_JSONDecode_ss_14 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_ss_14 rec val = select rec (\ a1 = <{Flavour.JSONDecode_ss;}>  val)

:: <{Flavour.JSONDecode_sss;}> = {Flavour.JSONDecode_sss}
Flavour.get_JSONDecode_sss_15 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_sss_15 rec val = select rec (\ a1 = <{Flavour.JSONDecode_sss;}>  val)

:: <{Flavour.JSONEncode_ssss;}> = {Flavour.JSONEncode_ssss}
Flavour.get_JSONEncode_ssss_16 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_ssss_16 rec val = select rec (\ a1 = <{Flavour.JSONEncode_ssss;}>  val)

:: <{Flavour.JSONEncode_sssss;}> = {Flavour.JSONEncode_sssss}
Flavour.get_JSONEncode_sssss_17 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_sssss_17 rec val = select rec (\ a1 = <{Flavour.JSONEncode_sssss;}>  val)

:: <{Flavour.JSONEncode_ssssss;}> = {Flavour.JSONEncode_ssssss}
Flavour.get_JSONEncode_ssssss_18 rec = select rec (\ a1 = a1)
Flavour.set_JSONEncode_ssssss_18 rec val = select rec (\ a1 = <{Flavour.JSONEncode_ssssss;}>  val)

:: <{Flavour.JSONDecode_ssss;}> = {Flavour.JSONDecode_ssss}
Flavour.get_JSONDecode_ssss_19 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_ssss_19 rec val = select rec (\ a1 = <{Flavour.JSONDecode_ssss;}>  val)

:: <{Flavour.JSONDecode_sssss;}> = {Flavour.JSONDecode_sssss}
Flavour.get_JSONDecode_sssss_20 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_sssss_20 rec val = select rec (\ a1 = <{Flavour.JSONDecode_sssss;}>  val)

:: <{Flavour.JSONDecode_ssssss;}> = {Flavour.JSONDecode_ssssss}
Flavour.get_JSONDecode_ssssss_21 rec = select rec (\ a1 = a1)
Flavour.set_JSONDecode_ssssss_21 rec val = select rec (\ a1 = <{Flavour.JSONDecode_ssssss;}>  val)

:: <{Flavour.bimap_s;}> = {Flavour.bimap_s}
Flavour.get_bimap_s_22 rec = select rec (\ a1 = a1)
Flavour.set_bimap_s_22 rec val = select rec (\ a1 = <{Flavour.bimap_s;}>  val)

:: <{Flavour.bimap_ss;}> = {Flavour.bimap_ss}
Flavour.get_bimap_ss_23 rec = select rec (\ a1 = a1)
Flavour.set_bimap_ss_23 rec val = select rec (\ a1 = <{Flavour.bimap_ss;}>  val)

:: <{Flavour.bimap_sss;}> = {Flavour.bimap_sss}
Flavour.get_bimap_sss_24 rec = select rec (\ a1 = a1)
Flavour.set_bimap_sss_24 rec val = select rec (\ a1 = <{Flavour.bimap_sss;}>  val)