Current section
Files
Jump to
Current section
Files
src/Idris.Idris2.Erlang.Decode.erl
-module('Idris.Idris2.Erlang.Decode').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
'case--errorTuple-4214'/3,
'case--okTuple-4183'/3,
'case--fun8-4043'/10,
'case--fun7-3939'/9,
'case--fun6-3845'/8,
'case--fun5-3761'/7,
'case--fun4-3687'/6,
'case--fun3-3623'/5,
'case--fun2-3569'/4,
'case--fun1-3525'/3,
'case--fun0-3494'/2,
'case--case block in mapEntry-3380'/9,
'case--mapEntry-3325'/7,
'case--hList-3209'/5,
'case--list-3165'/3,
'case--tuple8-2943'/18,
'case--tuple7-2716'/16,
'case--tuple6-2517'/14,
'case--tuple5-2346'/12,
'case--tuple4-2203'/10,
'case--tuple3-2088'/8,
'case--tuple2-2001'/6,
'case--tuple1-1942'/4,
'case--cons-1850'/6,
'case--exact-1614'/5,
'case--lazyAlt-1570'/4,
'case--erlDecodeDef-1452'/7,
'case--erlDecodeMay-1393'/6,
'case--case block in <|>-1306'/6,
'case--<|>-1269'/5,
'case-->>=-1192'/7,
'nested--4076-3243--in--un--listHead'/1,
'dn--un--pure_Applicative__ErlDecoder'/3,
'dn--un--map_Functor__ErlDecoder'/5,
'dn--un--join_Monad__ErlDecoder'/3,
'dn--un--empty_Alternative__ErlDecoder'/2,
'dn--un--__Impl_Monad_ErlDecoder'/0,
'dn--un--__Impl_Functor_ErlDecoder'/5,
'dn--un--__Impl_Applicative_ErlDecoder'/0,
'dn--un--__Impl_Alternative_ErlDecoder'/0,
'dn--un-->>=_Monad__ErlDecoder'/5,
'dn--un--<|>_Alternative__ErlDecoder'/4,
'dn--un--<*>_Applicative__ErlDecoder'/5,
'un--tuple8'/17,
'un--tuple7'/15,
'un--tuple6'/13,
'un--tuple5'/11,
'un--tuple4'/9,
'un--tuple3'/7,
'un--tuple2'/5,
'un--tuple1'/3,
'un--tuple0'/1,
'un--string'/1,
'un--reference'/1,
'un--prim__erldecodeReference'/1,
'un--prim__erlMatchExact'/2,
'un--prim__erlDecodeTuple8'/1,
'un--prim__erlDecodeTuple7'/1,
'un--prim__erlDecodeTuple6'/1,
'un--prim__erlDecodeTuple5'/1,
'un--prim__erlDecodeTuple4'/1,
'un--prim__erlDecodeTuple3'/1,
'un--prim__erlDecodeTuple2'/1,
'un--prim__erlDecodeTuple1'/1,
'un--prim__erlDecodeTuple0'/1,
'un--prim__erlDecodePort'/1,
'un--prim__erlDecodePid'/1,
'un--prim__erlDecodeNil'/1,
'un--prim__erlDecodeInteger'/1,
'un--prim__erlDecodeFun8'/9,
'un--prim__erlDecodeFun7'/8,
'un--prim__erlDecodeFun6'/7,
'un--prim__erlDecodeFun5'/6,
'un--prim__erlDecodeFun4'/5,
'un--prim__erlDecodeFun3'/4,
'un--prim__erlDecodeFun2'/3,
'un--prim__erlDecodeFun1'/2,
'un--prim__erlDecodeFun0'/1,
'un--prim__erlDecodeDouble'/1,
'un--prim__erlDecodeCons'/1,
'un--prim__erlDecodeCodepoint'/1,
'un--prim__erlDecodeBinary'/1,
'un--prim__erlDecodeAtom'/1,
'un--prim__erlDecodeAnyMap'/1,
'un--prim__erlDecodeAnyList'/1,
'un--port'/1,
'un--pid'/1,
'un--optional'/3,
'un--okTuple'/3,
'un--nil'/1,
'un--mapSubset'/2,
'un--mapEntry'/6,
'un--list'/3,
'un--lazyAlt'/4,
'un--ioData'/1,
'un--integer'/1,
'un--hList'/2,
'un--fun8'/9,
'un--fun7'/8,
'un--fun6'/7,
'un--fun5'/6,
'un--fun4'/5,
'un--fun3'/4,
'un--fun2'/3,
'un--fun1'/2,
'un--fun0'/1,
'un--fail'/3,
'un--exact'/4,
'un--errorTuple'/3,
'un--erlDecodeMay'/5,
'un--erlDecodeDef'/6,
'un--erlDecode'/5,
'un--double'/1,
'un--cons'/5,
'un--codepoint'/1,
'un--charlist'/1,
'un--bool'/1,
'un--atom'/1,
'un--anyMap'/1,
'un--anyList'/1,
'un--any'/1,
'un--:='/4
]).
'case--errorTuple-4214'(V0, V1, V2) -> case V2 of {E0, E1} -> (fun (V3, V4) -> V4 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--okTuple-4183'(V0, V1, V2) -> case V2 of {E0, E1} -> (fun (V3, V4) -> V4 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun8-4043'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Prelude.Types.Just', E0} -> (fun (V10) -> case V10 of E1 -> (fun (V11) -> {'Idris.Prelude.Types.Right', fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V22, V23, V24)) end end end end end, fun (V25) -> fun (V26) -> fun (V27) -> V26 end end end, fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> begin (V33 = (V30(V32))), begin (V34 = (V31(V32))), (V33(V34)) end end end end end end end}, fun (V35) -> fun (V36) -> fun (V37) -> fun (V38) -> fun (V39) -> begin (V40 = (V37(V39))), ((V38(V40))(V39)) end end end end end end, fun (V41) -> fun (V42) -> fun (V43) -> begin (V44 = (V42(V43))), (V44(V43)) end end end end}, fun (V45) -> fun (V46) -> V46 end end}, ((((((((V11(V12))(V13))(V14))(V15))(V16))(V17))(V18))(V19)))) end end end end end end end end} end((fun (V48) -> fun (V49) -> fun (V50) -> fun (V51) -> fun (V52) -> fun (V53) -> fun (V54) -> fun (V55) -> fun (V56) -> fun (V47) -> (V48(V49, V50, V51, V52, V53, V54, V55, V56)) end end end end end end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 8"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun7-3939'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Just', E0} -> (fun (V9) -> case V9 of E1 -> (fun (V10) -> {'Idris.Prelude.Types.Right', fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V18) -> fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V20, V21, V22)) end end end end end, fun (V23) -> fun (V24) -> fun (V25) -> V24 end end end, fun (V26) -> fun (V27) -> fun (V28) -> fun (V29) -> fun (V30) -> begin (V31 = (V28(V30))), begin (V32 = (V29(V30))), (V31(V32)) end end end end end end end}, fun (V33) -> fun (V34) -> fun (V35) -> fun (V36) -> fun (V37) -> begin (V38 = (V35(V37))), ((V36(V38))(V37)) end end end end end end, fun (V39) -> fun (V40) -> fun (V41) -> begin (V42 = (V40(V41))), (V42(V41)) end end end end}, fun (V43) -> fun (V44) -> V44 end end}, (((((((V10(V11))(V12))(V13))(V14))(V15))(V16))(V17)))) end end end end end end end} end((fun (V46) -> fun (V47) -> fun (V48) -> fun (V49) -> fun (V50) -> fun (V51) -> fun (V52) -> fun (V53) -> fun (V45) -> (V46(V47, V48, V49, V50, V51, V52, V53)) end end end end end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 7"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun6-3845'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Just', E0} -> (fun (V8) -> case V8 of E1 -> (fun (V9) -> {'Idris.Prelude.Types.Right', fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V18, V19, V20)) end end end end end, fun (V21) -> fun (V22) -> fun (V23) -> V22 end end end, fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> begin (V29 = (V26(V28))), begin (V30 = (V27(V28))), (V29(V30)) end end end end end end end}, fun (V31) -> fun (V32) -> fun (V33) -> fun (V34) -> fun (V35) -> begin (V36 = (V33(V35))), ((V34(V36))(V35)) end end end end end end, fun (V37) -> fun (V38) -> fun (V39) -> begin (V40 = (V38(V39))), (V40(V39)) end end end end}, fun (V41) -> fun (V42) -> V42 end end}, ((((((V9(V10))(V11))(V12))(V13))(V14))(V15)))) end end end end end end} end((fun (V44) -> fun (V45) -> fun (V46) -> fun (V47) -> fun (V48) -> fun (V49) -> fun (V50) -> fun (V43) -> (V44(V45, V46, V47, V48, V49, V50)) end end end end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 6"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun5-3761'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Just', E0} -> (fun (V7) -> case V7 of E1 -> (fun (V8) -> {'Idris.Prelude.Types.Right', fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V16, V17, V18)) end end end end end, fun (V19) -> fun (V20) -> fun (V21) -> V20 end end end, fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> fun (V26) -> begin (V27 = (V24(V26))), begin (V28 = (V25(V26))), (V27(V28)) end end end end end end end}, fun (V29) -> fun (V30) -> fun (V31) -> fun (V32) -> fun (V33) -> begin (V34 = (V31(V33))), ((V32(V34))(V33)) end end end end end end, fun (V35) -> fun (V36) -> fun (V37) -> begin (V38 = (V36(V37))), (V38(V37)) end end end end}, fun (V39) -> fun (V40) -> V40 end end}, (((((V8(V9))(V10))(V11))(V12))(V13)))) end end end end end} end((fun (V42) -> fun (V43) -> fun (V44) -> fun (V45) -> fun (V46) -> fun (V47) -> fun (V41) -> (V42(V43, V44, V45, V46, V47)) end end end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 5"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun4-3687'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V6) -> case V6 of E1 -> (fun (V7) -> {'Idris.Prelude.Types.Right', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V14, V15, V16)) end end end end end, fun (V17) -> fun (V18) -> fun (V19) -> V18 end end end, fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> begin (V25 = (V22(V24))), begin (V26 = (V23(V24))), (V25(V26)) end end end end end end end}, fun (V27) -> fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V29(V31))), ((V30(V32))(V31)) end end end end end end, fun (V33) -> fun (V34) -> fun (V35) -> begin (V36 = (V34(V35))), (V36(V35)) end end end end}, fun (V37) -> fun (V38) -> V38 end end}, ((((V7(V8))(V9))(V10))(V11)))) end end end end} end((fun (V40) -> fun (V41) -> fun (V42) -> fun (V43) -> fun (V44) -> fun (V39) -> (V40(V41, V42, V43, V44)) end end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 4"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun3-3623'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Prelude.Types.Just', E0} -> (fun (V5) -> case V5 of E1 -> (fun (V6) -> {'Idris.Prelude.Types.Right', fun (V7) -> fun (V8) -> fun (V9) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V12, V13, V14)) end end end end end, fun (V15) -> fun (V16) -> fun (V17) -> V16 end end end, fun (V18) -> fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> begin (V23 = (V20(V22))), begin (V24 = (V21(V22))), (V23(V24)) end end end end end end end}, fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V27(V29))), ((V28(V30))(V29)) end end end end end end, fun (V31) -> fun (V32) -> fun (V33) -> begin (V34 = (V32(V33))), (V34(V33)) end end end end}, fun (V35) -> fun (V36) -> V36 end end}, (((V6(V7))(V8))(V9)))) end end end} end((fun (V38) -> fun (V39) -> fun (V40) -> fun (V41) -> fun (V37) -> (V38(V39, V40, V41)) end end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 3"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun2-3569'(V0, V1, V2, V3) -> case V3 of {'Idris.Prelude.Types.Just', E0} -> (fun (V4) -> case V4 of E1 -> (fun (V5) -> {'Idris.Prelude.Types.Right', fun (V6) -> fun (V7) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V10, V11, V12)) end end end end end, fun (V13) -> fun (V14) -> fun (V15) -> V14 end end end, fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> begin (V21 = (V18(V20))), begin (V22 = (V19(V20))), (V21(V22)) end end end end end end end}, fun (V23) -> fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> begin (V28 = (V25(V27))), ((V26(V28))(V27)) end end end end end end, fun (V29) -> fun (V30) -> fun (V31) -> begin (V32 = (V30(V31))), (V32(V31)) end end end end}, fun (V33) -> fun (V34) -> V34 end end}, ((V5(V6))(V7)))) end end} end((fun (V36) -> fun (V37) -> fun (V38) -> fun (V35) -> (V36(V37, V38)) end end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 2"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun1-3525'(V0, V1, V2) -> case V2 of {'Idris.Prelude.Types.Just', E0} -> (fun (V3) -> case V3 of E1 -> (fun (V4) -> {'Idris.Prelude.Types.Right', fun (V5) -> ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V8, V9, V10)) end end end end end, fun (V11) -> fun (V12) -> fun (V13) -> V12 end end end, fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> begin (V19 = (V16(V18))), begin (V20 = (V17(V18))), (V19(V20)) end end end end end end end}, fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> begin (V26 = (V23(V25))), ((V24(V26))(V25)) end end end end end end, fun (V27) -> fun (V28) -> fun (V29) -> begin (V30 = (V28(V29))), (V30(V29)) end end end end}, fun (V31) -> fun (V32) -> V32 end end}, (V4(V5)))) end} end((fun (V34) -> fun (V35) -> fun (V33) -> (V34(V35)) end end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 1"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fun0-3494'(V0, V1) -> case V1 of {'Idris.Prelude.Types.Just', E0} -> (fun (V2) -> case V2 of E1 -> (fun (V3) -> {'Idris.Prelude.Types.Right', ('Idris.Idris2.Erlang.IO':'un--erlTryCatch'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V4) -> fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V6, V7, V8)) end end end end end, fun (V9) -> fun (V10) -> fun (V11) -> V10 end end end, fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> begin (V17 = (V14(V16))), begin (V18 = (V15(V16))), (V17(V18)) end end end end end end end}, fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> begin (V24 = (V21(V23))), ((V22(V24))(V23)) end end end end end end, fun (V25) -> fun (V26) -> fun (V27) -> begin (V28 = (V26(V27))), (V28(V27)) end end end end}, fun (V29) -> fun (V30) -> V30 end end}, V3))} end((fun (V32) -> fun (V31) -> (V32()) end end(E1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a function of arity 0"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in mapEntry-3380'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Just', E0} -> (fun (V9) -> case V9 of {E1, E2} -> (fun (V10, V11) -> (V3(V11)) end(E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Could not find key in map"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--mapEntry-3325'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Just', E0} -> (fun (V7) -> begin (V8 = ('erlang':'apply'('maps', 'find', [V3 | [V7 | []]]))), ('case--case block in mapEntry-3380'('erased', 'erased', V2, V4, V5, V3, V7, V8, case V8 of {E1, E2} -> (fun (V11) -> {'Idris.Prelude.Types.Just', V11} end((fun (V9, V10) -> {V9, V10} end(E1, E2)))); _ -> {'Idris.Prelude.Types.Nothing'} end)) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a map"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--hList-3209'(V0, V1, V2, V3, V4) -> case V4 of [E0 | E1] -> (fun (V5, V6) -> [V5 | V6] end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--list-3165'(V0, V1, V2) -> case V2 of [E0 | E1] -> (fun (V3, V4) -> [V3 | V4] end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple8-2943'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17) -> case V17 of {'Idris.Prelude.Types.Just', E0} -> (fun (V18) -> case V18 of {E1, E2, E3, E4, E5, E6, E7, E8} -> (fun (V19, V20, V21, V22, V23, V24, V25, V26) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V8(V19)), fun (V27) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V9(V20)), fun (V28) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V10(V21)), fun (V29) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V11(V22)), fun (V30) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V12(V23)), fun (V31) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V13(V24)), fun (V32) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V14(V25)), fun (V33) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V15(V26)), fun (V34) -> {'Idris.Prelude.Types.Right', {V27, V28, V29, V30, V31, V32, V33, V34}} end)) end)) end)) end)) end)) end)) end)) end)) end(E1, E2, E3, E4, E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 8 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple7-2716'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15) -> case V15 of {'Idris.Prelude.Types.Just', E0} -> (fun (V16) -> case V16 of {E1, E2, E3, E4, E5, E6, E7} -> (fun (V17, V18, V19, V20, V21, V22, V23) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V7(V17)), fun (V24) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V8(V18)), fun (V25) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V9(V19)), fun (V26) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V10(V20)), fun (V27) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V11(V21)), fun (V28) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V12(V22)), fun (V29) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V13(V23)), fun (V30) -> {'Idris.Prelude.Types.Right', {V24, V25, V26, V27, V28, V29, V30}} end)) end)) end)) end)) end)) end)) end)) end(E1, E2, E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 7 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple6-2517'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13) -> case V13 of {'Idris.Prelude.Types.Just', E0} -> (fun (V14) -> case V14 of {E1, E2, E3, E4, E5, E6} -> (fun (V15, V16, V17, V18, V19, V20) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V6(V15)), fun (V21) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V7(V16)), fun (V22) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V8(V17)), fun (V23) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V9(V18)), fun (V24) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V10(V19)), fun (V25) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V11(V20)), fun (V26) -> {'Idris.Prelude.Types.Right', {V21, V22, V23, V24, V25, V26}} end)) end)) end)) end)) end)) end)) end(E1, E2, E3, E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 6 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple5-2346'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11) -> case V11 of {'Idris.Prelude.Types.Just', E0} -> (fun (V12) -> case V12 of {E1, E2, E3, E4, E5} -> (fun (V13, V14, V15, V16, V17) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V5(V13)), fun (V18) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V6(V14)), fun (V19) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V7(V15)), fun (V20) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V8(V16)), fun (V21) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V9(V17)), fun (V22) -> {'Idris.Prelude.Types.Right', {V18, V19, V20, V21, V22}} end)) end)) end)) end)) end)) end(E1, E2, E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 5 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple4-2203'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of {'Idris.Prelude.Types.Just', E0} -> (fun (V10) -> case V10 of {E1, E2, E3, E4} -> (fun (V11, V12, V13, V14) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V4(V11)), fun (V15) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V5(V12)), fun (V16) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V6(V13)), fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V7(V14)), fun (V18) -> {'Idris.Prelude.Types.Right', {V15, V16, V17, V18}} end)) end)) end)) end)) end(E1, E2, E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 4 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple3-2088'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Just', E0} -> (fun (V8) -> case V8 of {E1, E2, E3} -> (fun (V9, V10, V11) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V3(V9)), fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V4(V10)), fun (V13) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V5(V11)), fun (V14) -> {'Idris.Prelude.Types.Right', {V12, V13, V14}} end)) end)) end)) end(E1, E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 3 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple2-2001'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V6) -> case V6 of {E1, E2} -> (fun (V7, V8) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V2(V7)), fun (V9) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V3(V8)), fun (V10) -> {'Idris.Prelude.Types.Right', {V9, V10}} end)) end)) end(E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 2 elements"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--tuple1-1942'(V0, V1, V2, V3) -> case V3 of {'Idris.Prelude.Types.Just', E0} -> (fun (V4) -> case V4 of {E1} -> (fun (V5) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V1(V5)), fun (V6) -> {'Idris.Prelude.Types.Right', {V6}} end)) end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 1 element"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--cons-1850'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V6) -> case V6 of [E1 | E2] -> (fun (V7, V8) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V2(V7)), fun (V9) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V3(V8)), fun (V10) -> {'Idris.Prelude.Types.Right', [V9 | V10]} end)) end)) end(E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a cons value"/utf8>>}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--exact-1614'(V0, V1, V2, V3, V4) -> case V4 of 0 -> {'Idris.Prelude.Types.Right', V2}; 1 -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected the value to match exactly"/utf8>>}}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--lazyAlt-1570'(V0, V1, V2, V3) -> case V3 of {'Idris.Prelude.Types.Just', E0} -> (fun (V4) -> fun (V5) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V4, V5)) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> (V1()) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--erlDecodeDef-1452'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Right', E0} -> (fun (V7) -> V7 end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V8) -> (V5()) end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--erlDecodeMay-1393'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Right', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Just', V6} end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V7) -> {'Idris.Prelude.Types.Nothing'} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in <|>-1306'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Right', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Right', V6} end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V7) -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.OneOf', V4, V7}} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--<|>-1269'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Prelude.Types.Right', E0} -> (fun (V5) -> {'Idris.Prelude.Types.Right', V5} end(E0)); {'Idris.Prelude.Types.Left', E1} -> (fun (V6) -> ('case--case block in <|>-1306'('erased', V1, V2, V3, V6, (V2(V3)))) end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case-->>=-1192'(V0, V1, V2, V3, V4, V5, V6) -> (V6(V4)).
'nested--4076-3243--in--un--listHead'(V0) -> ('un--lazyAlt'('erased', fun (V1) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V2) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V2)) end, fun (V3) -> ('un--codepoint'(V3)) end, V1)) end, fun () -> fun (V4) -> ('un--lazyAlt'('erased', fun (V5) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V6) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V6)) end, fun (V7) -> ('un--string'(V7)) end, V5)) end, fun () -> fun (V8) -> ('un--lazyAlt'('erased', fun (V9) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V10) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V10)) end, fun (V11) -> ('un--nil'(V11)) end, V9)) end, fun () -> fun (V12) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V13) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V13)) end, fun (V14) -> ('un--cons'('erased', 'erased', fun (V15) -> ('nested--4076-3243--in--un--listHead'(V15)) end, fun (V16) -> ('un--ioData'(V16)) end, V14)) end, V12)) end end, V8)) end end, V4)) end end, V0)).
'dn--un--pure_Applicative__ErlDecoder'(V0, V1, V2) -> {'Idris.Prelude.Types.Right', V1}.
'dn--un--map_Functor__ErlDecoder'(V0, V1, V2, V3, V4) -> ('Idris.Idris2.Prelude.Types':'un--either'('erased', 'erased', 'erased', fun () -> fun (V5) -> {'Idris.Prelude.Types.Left', V5} end end, fun () -> fun (V6) -> {'Idris.Prelude.Types.Right', (V2(V6))} end end, (V3(V4)))).
'dn--un--join_Monad__ErlDecoder'(V0, V1, V2) -> ('dn--un-->>=_Monad__ErlDecoder'('erased', 'erased', V1, fun (V3) -> V3 end, V2)).
'dn--un--empty_Alternative__ErlDecoder'(V0, V1) -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Empty'}}.
'dn--un--__Impl_Monad_ErlDecoder'() -> {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V0) -> fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V2, V3, V4)) end end end end end, fun (V5) -> fun (V6) -> fun (V7) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V6, V7)) end end end, fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V10, V11, V12)) end end end end end}, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('dn--un-->>=_Monad__ErlDecoder'('erased', 'erased', V15, V16, V17)) end end end end end, fun (V18) -> fun (V19) -> fun (V20) -> ('dn--un--join_Monad__ErlDecoder'('erased', V19, V20)) end end end}.
'dn--un--__Impl_Functor_ErlDecoder'(V0, V1, V2, V3, V4) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V2, V3, V4)).
'dn--un--__Impl_Applicative_ErlDecoder'() -> {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V0) -> fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V2, V3, V4)) end end end end end, fun (V5) -> fun (V6) -> fun (V7) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V6, V7)) end end end, fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V10, V11, V12)) end end end end end}.
'dn--un--__Impl_Alternative_ErlDecoder'() -> {'Idris.Prelude.Interfaces.dn--un--__mkAlternative', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V0) -> fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V2, V3, V4)) end end end end end, fun (V5) -> fun (V6) -> fun (V7) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V6, V7)) end end end, fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V10, V11, V12)) end end end end end}, fun (V13) -> fun (V14) -> ('dn--un--empty_Alternative__ErlDecoder'('erased', V14)) end end, fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> ('dn--un--<|>_Alternative__ErlDecoder'('erased', V16, V17, V18)) end end end end}.
'dn--un-->>=_Monad__ErlDecoder'(V0, V1, V2, V3, V4) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V2(V4)), fun (V5) -> ('case-->>=-1192'('erased', 'erased', V2, V3, V4, V5, (V3(V5)))) end)).
'dn--un--<|>_Alternative__ErlDecoder'(V0, V1, V2, V3) -> ('case--<|>-1269'('erased', V1, V2, V3, (V1(V3)))).
'dn--un--<*>_Applicative__ErlDecoder'(V0, V1, V2, V3, V4) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V2(V4)), fun (V5) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__(Either $e)'('erased', 'erased', 'erased', (V3(V4)), fun (V6) -> {'Idris.Prelude.Types.Right', (V5(V6))} end)) end)).
'un--tuple8'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16) -> ('case--tuple8-2943'('erased', 'erased', 'erased', 'erased', 'erased', 'erased', 'erased', 'erased', V8, V9, V10, V11, V12, V13, V14, V15, V16, case V16 of {E0, E1, E2, E3, E4, E5, E6, E7} -> (fun (V25) -> {'Idris.Prelude.Types.Just', V25} end((fun (V17, V18, V19, V20, V21, V22, V23, V24) -> {V17, V18, V19, V20, V21, V22, V23, V24} end(E0, E1, E2, E3, E4, E5, E6, E7)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple7'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14) -> ('case--tuple7-2716'('erased', 'erased', 'erased', 'erased', 'erased', 'erased', 'erased', V7, V8, V9, V10, V11, V12, V13, V14, case V14 of {E0, E1, E2, E3, E4, E5, E6} -> (fun (V22) -> {'Idris.Prelude.Types.Just', V22} end((fun (V15, V16, V17, V18, V19, V20, V21) -> {V15, V16, V17, V18, V19, V20, V21} end(E0, E1, E2, E3, E4, E5, E6)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple6'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12) -> ('case--tuple6-2517'('erased', 'erased', 'erased', 'erased', 'erased', 'erased', V6, V7, V8, V9, V10, V11, V12, case V12 of {E0, E1, E2, E3, E4, E5} -> (fun (V19) -> {'Idris.Prelude.Types.Just', V19} end((fun (V13, V14, V15, V16, V17, V18) -> {V13, V14, V15, V16, V17, V18} end(E0, E1, E2, E3, E4, E5)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple5'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> ('case--tuple5-2346'('erased', 'erased', 'erased', 'erased', 'erased', V5, V6, V7, V8, V9, V10, case V10 of {E0, E1, E2, E3, E4} -> (fun (V16) -> {'Idris.Prelude.Types.Just', V16} end((fun (V11, V12, V13, V14, V15) -> {V11, V12, V13, V14, V15} end(E0, E1, E2, E3, E4)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple4'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> ('case--tuple4-2203'('erased', 'erased', 'erased', 'erased', V4, V5, V6, V7, V8, case V8 of {E0, E1, E2, E3} -> (fun (V13) -> {'Idris.Prelude.Types.Just', V13} end((fun (V9, V10, V11, V12) -> {V9, V10, V11, V12} end(E0, E1, E2, E3)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple3'(V0, V1, V2, V3, V4, V5, V6) -> ('case--tuple3-2088'('erased', 'erased', 'erased', V3, V4, V5, V6, case V6 of {E0, E1, E2} -> (fun (V10) -> {'Idris.Prelude.Types.Just', V10} end((fun (V7, V8, V9) -> {V7, V8, V9} end(E0, E1, E2)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple2'(V0, V1, V2, V3, V4) -> ('case--tuple2-2001'('erased', 'erased', V2, V3, V4, case V4 of {E0, E1} -> (fun (V7) -> {'Idris.Prelude.Types.Just', V7} end((fun (V5, V6) -> {V5, V6} end(E0, E1)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple1'(V0, V1, V2) -> ('case--tuple1-1942'('erased', V1, V2, case V2 of {E0} -> (fun (V4) -> {'Idris.Prelude.Types.Just', V4} end((fun (V3) -> {V3} end(E0)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--tuple0'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a tuple with 0 elements"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of {} -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end((fun () -> {} end()))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--string'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a binary"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_binary'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--reference'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a reference"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_reference'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--prim__erldecodeReference'(V0) -> case V0 of E0 when (erlang:'is_reference'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlMatchExact'(V0, V1) -> case (V0 =:= V1) of 'false' -> 0; _ -> 1 end.
'un--prim__erlDecodeTuple8'(V0) -> case V0 of {E0, E1, E2, E3, E4, E5, E6, E7} -> (fun (V9) -> {'Idris.Prelude.Types.Just', V9} end((fun (V1, V2, V3, V4, V5, V6, V7, V8) -> {V1, V2, V3, V4, V5, V6, V7, V8} end(E0, E1, E2, E3, E4, E5, E6, E7)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple7'(V0) -> case V0 of {E0, E1, E2, E3, E4, E5, E6} -> (fun (V8) -> {'Idris.Prelude.Types.Just', V8} end((fun (V1, V2, V3, V4, V5, V6, V7) -> {V1, V2, V3, V4, V5, V6, V7} end(E0, E1, E2, E3, E4, E5, E6)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple6'(V0) -> case V0 of {E0, E1, E2, E3, E4, E5} -> (fun (V7) -> {'Idris.Prelude.Types.Just', V7} end((fun (V1, V2, V3, V4, V5, V6) -> {V1, V2, V3, V4, V5, V6} end(E0, E1, E2, E3, E4, E5)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple5'(V0) -> case V0 of {E0, E1, E2, E3, E4} -> (fun (V6) -> {'Idris.Prelude.Types.Just', V6} end((fun (V1, V2, V3, V4, V5) -> {V1, V2, V3, V4, V5} end(E0, E1, E2, E3, E4)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple4'(V0) -> case V0 of {E0, E1, E2, E3} -> (fun (V5) -> {'Idris.Prelude.Types.Just', V5} end((fun (V1, V2, V3, V4) -> {V1, V2, V3, V4} end(E0, E1, E2, E3)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple3'(V0) -> case V0 of {E0, E1, E2} -> (fun (V4) -> {'Idris.Prelude.Types.Just', V4} end((fun (V1, V2, V3) -> {V1, V2, V3} end(E0, E1, E2)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple2'(V0) -> case V0 of {E0, E1} -> (fun (V3) -> {'Idris.Prelude.Types.Just', V3} end((fun (V1, V2) -> {V1, V2} end(E0, E1)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple1'(V0) -> case V0 of {E0} -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end((fun (V1) -> {V1} end(E0)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeTuple0'(V0) -> case V0 of {} -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end((fun () -> {} end()))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodePort'(V0) -> case V0 of E0 when (erlang:'is_port'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodePid'(V0) -> case V0 of E0 when (erlang:'is_pid'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeNil'(V0) -> case V0 of [] -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end([])); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeInteger'(V0) -> case V0 of E0 when (erlang:'is_integer'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun8'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of E0 when (erlang:'is_function'(E0, 8)) -> (fun (V9) -> {'Idris.Prelude.Types.Just', V9} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun7'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of E0 when (erlang:'is_function'(E0, 7)) -> (fun (V8) -> {'Idris.Prelude.Types.Just', V8} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun6'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of E0 when (erlang:'is_function'(E0, 6)) -> (fun (V7) -> {'Idris.Prelude.Types.Just', V7} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun5'(V0, V1, V2, V3, V4, V5) -> case V5 of E0 when (erlang:'is_function'(E0, 5)) -> (fun (V6) -> {'Idris.Prelude.Types.Just', V6} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun4'(V0, V1, V2, V3, V4) -> case V4 of E0 when (erlang:'is_function'(E0, 4)) -> (fun (V5) -> {'Idris.Prelude.Types.Just', V5} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun3'(V0, V1, V2, V3) -> case V3 of E0 when (erlang:'is_function'(E0, 3)) -> (fun (V4) -> {'Idris.Prelude.Types.Just', V4} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun2'(V0, V1, V2) -> case V2 of E0 when (erlang:'is_function'(E0, 2)) -> (fun (V3) -> {'Idris.Prelude.Types.Just', V3} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun1'(V0, V1) -> case V1 of E0 when (erlang:'is_function'(E0, 1)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeFun0'(V0) -> case V0 of E0 when (erlang:'is_function'(E0, 0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeDouble'(V0) -> case V0 of E0 when (erlang:'is_float'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeCons'(V0) -> case V0 of [E0 | E1] -> (fun (V3) -> {'Idris.Prelude.Types.Just', V3} end((fun (V1, V2) -> [V1 | V2] end(E0, E1)))); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeCodepoint'(V0) -> case V0 of E0 when (((erlang:'is_integer'(E0)) andalso (E0 >= 0)) andalso (E0 =< 1114111)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeBinary'(V0) -> case V0 of E0 when (erlang:'is_binary'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeAtom'(V0) -> case V0 of E0 when (erlang:'is_atom'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeAnyMap'(V0) -> case V0 of E0 when (erlang:'is_map'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--prim__erlDecodeAnyList'(V0) -> case V0 of E0 when (erlang:'is_list'(E0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'un--port'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a port"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_port'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--pid'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a pid"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_pid'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--optional'(V0, V1, V2) -> ('dn--un--<|>_Alternative__ErlDecoder'('erased', fun (V3) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V4) -> {'Idris.Prelude.Types.Just', V4} end, V1, V3)) end, fun (V5) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', {'Idris.Prelude.Types.Nothing'}, V5)) end, V2)).
'un--okTuple'(V0, V1, V2) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V3) -> case V3 of {E0, E1} -> (fun (V4, V5) -> V5 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V6) -> ('un--tuple2'('erased', 'erased', fun (V7) -> ('un--exact'('erased', {'Idris.Erlang.Types.ETErlAtom'}, 'ok', V7)) end, V1, V6)) end, V2)).
'un--nil'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a nil value"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of [] -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end([])); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--mapSubset'(V0, V1) -> case V1 of {'Idris.Erlang.Decode.ErlMapDecoders.Nil'} -> (fun () -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', fun (V2) -> ('un--anyMap'(V2)) end)) end()); {'Idris.Erlang.Decode.ErlMapDecoders.::', E0, E1} -> (fun (V3, V4) -> case V3 of {'Idris.Erlang.Decode.MkDecoderMapEntry', E2, E3} -> (fun (V5, V6) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', ('Idris.Idris2.Prelude.Interfaces':'un--*>'('erased', 'erased', 'erased', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V9, V10, V11)) end end end end end, fun (V12) -> fun (V13) -> fun (V14) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V13, V14)) end end end, fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V17, V18, V19)) end end end end end}, fun (V20) -> ('un--mapEntry'('erased', 'erased', {'Idris.Erlang.Types.ETRaw'}, V5, V6, V20)) end, ('un--mapSubset'('erased', V4)))))) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--mapEntry'(V0, V1, V2, V3, V4, V5) -> ('case--mapEntry-3325'('erased', 'erased', V2, V3, V4, V5, case V5 of E0 when (erlang:'is_map'(E0)) -> (fun (V6) -> {'Idris.Prelude.Types.Just', V6} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--list'(V0, V1, V2) -> ('un--lazyAlt'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--*>'('erased', 'erased', 'erased', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V3) -> fun (V4) -> fun (V5) -> fun (V6) -> fun (V7) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V5, V6, V7)) end end end end end, fun (V8) -> fun (V9) -> fun (V10) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V9, V10)) end end end, fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V13, V14, V15)) end end end end end}, fun (V16) -> ('un--nil'(V16)) end, fun (V17) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', [], V17)) end)), fun () -> fun (V18) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V19) -> case V19 of [E0 | E1] -> (fun (V20, V21) -> [V20 | V21] end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V22) -> ('un--cons'('erased', 'erased', V1, fun (V23) -> ('un--list'('erased', V1, V23)) end, V22)) end, V18)) end end, V2)).
'un--lazyAlt'(V0, V1, V2, V3) -> ('dn--un-->>=_Monad__ErlDecoder'('erased', 'erased', fun (V4) -> ('un--optional'('erased', V1, V4)) end, fun (V5) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V6) -> fun (V7) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V6, V7)) end end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> (V2()) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, V3)).
'un--ioData'(V0) -> ('un--lazyAlt'('erased', fun (V1) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V2) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V2)) end, fun (V3) -> ('un--string'(V3)) end, V1)) end, fun () -> fun (V4) -> ('un--lazyAlt'('erased', fun (V5) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V6) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V6)) end, fun (V7) -> ('un--nil'(V7)) end, V5)) end, fun () -> fun (V8) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V9) -> ('Idris.Idris2.Builtin':'un--believe_me'('erased', 'erased', V9)) end, fun (V10) -> ('un--cons'('erased', 'erased', fun (V11) -> ('nested--4076-3243--in--un--listHead'(V11)) end, fun (V12) -> ('un--ioData'(V12)) end, V10)) end, V8)) end end, V4)) end end, V0)).
'un--integer'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected an integer"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_integer'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--hList'(V0, V1) -> case V1 of {'Idris.Erlang.Decode.ErlDecoders.Nil'} -> (fun () -> ('Idris.Idris2.Prelude.Interfaces':'un--*>'('erased', 'erased', 'erased', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> fun (V6) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V4, V5, V6)) end end end end end, fun (V7) -> fun (V8) -> fun (V9) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V8, V9)) end end end, fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V12, V13, V14)) end end end end end}, fun (V15) -> ('un--nil'(V15)) end, fun (V16) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', [], V16)) end)) end()); {'Idris.Erlang.Decode.ErlDecoders.::', E0, E1} -> (fun (V17, V18) -> fun (V19) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V20) -> case V20 of [E2 | E3] -> (fun (V21, V22) -> [V21 | V22] end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V23) -> ('un--cons'('erased', 'erased', V17, ('un--hList'('erased', V18)), V23)) end, V19)) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--fun8'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> ('case--fun8-4043'(V7, V6, V5, V4, V3, V2, V1, V0, V8, case V8 of E0 when (erlang:'is_function'(E0, 8)) -> (fun (V9) -> {'Idris.Prelude.Types.Just', V9} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun7'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('case--fun7-3939'(V6, V5, V4, V3, V2, V1, V0, V7, case V7 of E0 when (erlang:'is_function'(E0, 7)) -> (fun (V8) -> {'Idris.Prelude.Types.Just', V8} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun6'(V0, V1, V2, V3, V4, V5, V6) -> ('case--fun6-3845'(V5, V4, V3, V2, V1, V0, V6, case V6 of E0 when (erlang:'is_function'(E0, 6)) -> (fun (V7) -> {'Idris.Prelude.Types.Just', V7} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun5'(V0, V1, V2, V3, V4, V5) -> ('case--fun5-3761'(V4, V3, V2, V1, V0, V5, case V5 of E0 when (erlang:'is_function'(E0, 5)) -> (fun (V6) -> {'Idris.Prelude.Types.Just', V6} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun4'(V0, V1, V2, V3, V4) -> ('case--fun4-3687'(V3, V2, V1, V0, V4, case V4 of E0 when (erlang:'is_function'(E0, 4)) -> (fun (V5) -> {'Idris.Prelude.Types.Just', V5} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun3'(V0, V1, V2, V3) -> ('case--fun3-3623'(V2, V1, V0, V3, case V3 of E0 when (erlang:'is_function'(E0, 3)) -> (fun (V4) -> {'Idris.Prelude.Types.Just', V4} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun2'(V0, V1, V2) -> ('case--fun2-3569'(V1, V0, V2, case V2 of E0 when (erlang:'is_function'(E0, 2)) -> (fun (V3) -> {'Idris.Prelude.Types.Just', V3} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun1'(V0, V1) -> ('case--fun1-3525'(V0, V1, case V1 of E0 when (erlang:'is_function'(E0, 1)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fun0'(V0) -> ('case--fun0-3494'(V0, case V0 of E0 when (erlang:'is_function'(E0, 0)) -> (fun (V1) -> {'Idris.Prelude.Types.Just', V1} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--fail'(V0, V1, V2) -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', V1}}.
'un--exact'(V0, V1, V2, V3) -> ('case--exact-1614'('erased', V1, V2, V3, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(case (V3 =:= ('Idris.Idris2.Erlang.Conversion':'dn--un--cast_Cast__$a_ErlTerm'('erased', V1, V2))) of 'false' -> 0; _ -> 1 end, 1)))).
'un--errorTuple'(V0, V1, V2) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', fun (V3) -> case V3 of {E0, E1} -> (fun (V4, V5) -> V5 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, fun (V6) -> ('un--tuple2'('erased', 'erased', fun (V7) -> ('un--exact'('erased', {'Idris.Erlang.Types.ETErlAtom'}, 'error', V7)) end, V1, V6)) end, V2)).
'un--erlDecodeMay'(V0, V1, V2, V3, V4) -> ('case--erlDecodeMay-1393'('erased', 'erased', V2, V4, V3, ('un--erlDecode'('erased', 'erased', V2, V3, V4)))).
'un--erlDecodeDef'(V0, V1, V2, V3, V4, V5) -> ('case--erlDecodeDef-1452'('erased', 'erased', V2, V5, V4, V3, ('un--erlDecode'('erased', 'erased', V2, V4, V5)))).
'un--erlDecode'(V0, V1, V2, V3, V4) -> (V3(('Idris.Idris2.Erlang.Conversion':'dn--un--cast_Cast__$a_ErlTerm'('erased', V2, V4)))).
'un--double'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a double"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_float'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--cons'(V0, V1, V2, V3, V4) -> ('case--cons-1850'('erased', 'erased', V2, V3, V4, case V4 of [E0 | E1] -> (fun (V7) -> {'Idris.Prelude.Types.Just', V7} end((fun (V5, V6) -> [V5 | V6] end(E0, E1)))); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--codepoint'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a char"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (((erlang:'is_integer'(E0)) andalso (E0 >= 0)) andalso (E0 =< 1114111)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--charlist'(V0) -> ('dn--un-->>=_Monad__ErlDecoder'('erased', 'erased', fun (V1) -> ('un--list'('erased', fun (V2) -> ('un--codepoint'(V2)) end, V1)) end, fun (V3) -> fun (V4) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', ('Idris.Idris2.Erlang.Conversion':'un--erlUnsafeCast'('erased', {'Idris.Erlang.Types.ETList', {'Idris.Erlang.Types.ETChar'}}, 'erased', {'Idris.Erlang.Types.ETErlCharlist'}, V3)), V4)) end end, V0)).
'un--bool'(V0) -> ('dn--un--<|>_Alternative__ErlDecoder'('erased', ('Idris.Idris2.Prelude.Interfaces':'un--*>'('erased', 'erased', 'erased', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V3, V4, V5)) end end end end end, fun (V6) -> fun (V7) -> fun (V8) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V7, V8)) end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V11, V12, V13)) end end end end end}, fun (V14) -> ('un--exact'('erased', {'Idris.Erlang.Types.ETErlAtom'}, 'true', V14)) end, fun (V15) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', 0, V15)) end)), ('Idris.Idris2.Prelude.Interfaces':'un--*>'('erased', 'erased', 'erased', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V16) -> fun (V17) -> fun (V18) -> fun (V19) -> fun (V20) -> ('dn--un--map_Functor__ErlDecoder'('erased', 'erased', V18, V19, V20)) end end end end end, fun (V21) -> fun (V22) -> fun (V23) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', V22, V23)) end end end, fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> ('dn--un--<*>_Applicative__ErlDecoder'('erased', 'erased', V26, V27, V28)) end end end end end}, fun (V29) -> ('un--exact'('erased', {'Idris.Erlang.Types.ETErlAtom'}, 'false', V29)) end, fun (V30) -> ('dn--un--pure_Applicative__ErlDecoder'('erased', 1, V30)) end)), V0)).
'un--atom'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected an atom"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_atom'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--anyMap'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a map"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_map'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--anyList'(V0) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> {'Idris.Prelude.Types.Left', {'Idris.Erlang.Decode.Error', <<"Expected a list"/utf8>>}} end, fun () -> fun (V1) -> {'Idris.Prelude.Types.Right', V1} end end, case V0 of E0 when (erlang:'is_list'(E0)) -> (fun (V2) -> {'Idris.Prelude.Types.Just', V2} end(E0)); _ -> {'Idris.Prelude.Types.Nothing'} end)).
'un--any'(V0) -> {'Idris.Prelude.Types.Right', V0}.
'un--:='(V0, V1, V2, V3) -> {'Idris.Erlang.Decode.MkDecoderMapEntry', V2, V3}.