idris2

-module('Idris.Idris2.Network.Socket').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case--case block in recvFrom-3871'/9,
  'case--recvFrom-3807'/7,
  'case--sendTo-3717'/8,
  'case--case block in recvAll,recvRec-3611'/11,
  'case--recvAll,recvRec-3549'/7,
  'case--case block in recv-3429'/7,
  'case--recv-3358'/7,
  'case--send-3268'/6,
  'case--case block in accept-3190'/5,
  'case--accept-3147'/6,
  'case--listen-3075'/5,
  'case--connect-3006'/7,
  'case--bind-2928'/7,
  'case--close-2863'/4,
  'case--socket-2786'/7,
  'nested--2190-2889--in--un--saString'/6,
  'nested--2841-3530--in--un--recvRec'/6,
  'un--socket'/5,
  'un--sendTo'/6,
  'un--send'/4,
  'un--recvFrom'/4,
  'un--recvAll'/3,
  'un--recv'/4,
  'un--listen'/3,
  'un--connect'/5,
  'un--close'/3,
  'un--bind'/5,
  'un--accept'/3
]).
'case--case block in recvFrom-3871'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of 0 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E11, E12} -> (fun (V9, V10) -> V9 end(E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V11, V12, V13) -> ((((V12('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--freeRecvfromStruct'('erased', V1, V5))))(fun (V14) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E9, E10} -> (fun (V15, V16) -> V15 end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E6, E7, E8} -> (fun (V17, V18, V19) -> V17 end(E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E3, E4, E5} -> (fun (V20, V21, V22) -> ((((V20('erased'))('erased'))(fun (V23) -> {'Idris.Prelude.Types.Left', V23} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E39, E40} -> (fun (V24, V25) -> V24 end(E39, E40)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E13, E14, E15} -> (fun (V26, V27, V28) -> ((((V27('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--foreignGetRecvfromPayload'('erased', V1, V5))))(fun (V29) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E37, E38} -> (fun (V30, V31) -> V30 end(E37, E38)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E16, E17, E18} -> (fun (V32, V33, V34) -> ((((V33('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--foreignGetRecvfromPort'('erased', V1, V5))))(fun (V35) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E35, E36} -> (fun (V36, V37) -> V36 end(E35, E36)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E19, E20, E21} -> (fun (V38, V39, V40) -> ((((V39('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--foreignGetRecvfromAddr'('erased', V1, V5))))(fun (V41) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E33, E34} -> (fun (V42, V43) -> V42 end(E33, E34)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E22, E23, E24} -> (fun (V44, V45, V46) -> ((((V45('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--freeRecvfromStruct'('erased', V1, V5))))(fun (V47) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E31, E32} -> (fun (V48, V49) -> V48 end(E31, E32)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E28, E29, E30} -> (fun (V50, V51, V52) -> V50 end(E28, E29, E30)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E25, E26, E27} -> (fun (V53, V54, V55) -> ((V54('erased'))({'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Network.Socket.Data.MkUDPAddrInfo', V41, V35}, {'Idris.Builtin.MkPair', V29, V7}}})) end(E25, E26, E27)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E22, E23, E24)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E19, E20, E21)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E16, E17, E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--recvFrom-3807'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V7, V8) -> V7 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V9, V10, V11) -> V9 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V12, V13, V14) -> ((((V12('erased'))('erased'))(fun (V15) -> {'Idris.Prelude.Types.Left', V15} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E13, E14} -> (fun (V16, V17) -> V16 end(E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E8, E9, E10} -> (fun (V18, V19, V20) -> ((((V19('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E11, E12} -> (fun (V23, V24) -> ((V24('erased'))(fun (V25) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_get_recvfrom_res'(V4, V25)) end)) end(E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V21) -> begin (V22 = 1), ('case--case block in recvFrom-3871'('erased', V1, V2, V3, V4, V5, V22, V21, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V21, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end end)) end(E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--sendTo-3717'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V8, V9) -> V8 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V10, V11, V12) -> V10 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V13, V14, V15) -> ((((V13('erased'))('erased'))(fun (V16) -> {'Idris.Prelude.Types.Left', V16} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V17, V18) -> V17 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E11, E12, E13} -> (fun (V19, V20, V21) -> V19 end(E11, E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E8, E9, E10} -> (fun (V22, V23, V24) -> ((V23('erased'))({'Idris.Prelude.Types.Right', V6})) end(E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in recvAll,recvRec-3611'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V11, V12) -> V11 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V13, V14, V15) -> V13 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V16, V17, V18) -> ((V17('erased'))({'Idris.Prelude.Types.Right', (('Idris.Idris2.Prelude.Interfaces':'un--concat'('erased', 'erased', {'Idris.Builtin.MkPair', {'Idris.Prelude.Interfaces.dn--un--__mkFoldable', fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', V21, V22, V23)) end end end end end, fun (V24) -> fun (V25) -> fun (V26) -> fun (V27) -> fun (V28) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V26, V27, V28)) end end end end end}, {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V29) -> fun (V30) -> ('Idris.Idris2.Prelude.Types':'dn--un--<+>_Semigroup__String'(V29, V30)) end end, ('Idris.Idris2.Prelude.Types':'dn--un--neutral_Monoid__String'())}}))(('Idris.Idris2.Data.List':'un--reverse'('erased', [V6 | V4]))))})) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> ('nested--2841-3530--in--un--recvRec'('erased', V1, V2, V5, [V6 | V4], V9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--recvAll,recvRec-3549'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Left', E0} -> (fun (V7) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E7, E8} -> (fun (V8, V9) -> V8 end(E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E4, E5, E6} -> (fun (V10, V11, V12) -> V10 end(E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E1, E2, E3} -> (fun (V13, V14, V15) -> ((V14('erased'))({'Idris.Prelude.Types.Left', V7})) end(E1, E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Prelude.Types.Right', E9} -> (fun (V16) -> case V16 of {'Idris.Builtin.MkPair', E10, E11} -> (fun (V17, V18) -> begin (V19 = ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(((V3 * 2) rem 9223372036854775808), 65536))), begin (V20 = {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', V17, V18}}), ('case--case block in recvAll,recvRec-3611'('erased', V1, V2, V3, V4, V5, V17, V18, V20, V19, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V18, V3)))) end end end(E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in recv-3429'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E11, E12} -> (fun (V7, V8) -> V7 end(E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V9, V10, V11) -> ((((V10('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--freeRecvStruct'('erased', V1, V4))))(fun (V12) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E9, E10} -> (fun (V13, V14) -> V13 end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E6, E7, E8} -> (fun (V15, V16, V17) -> V15 end(E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E3, E4, E5} -> (fun (V18, V19, V20) -> ((V19('erased'))({'Idris.Prelude.Types.Left', 0})) end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E31, E32} -> (fun (V21, V22) -> V21 end(E31, E32)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E13, E14, E15} -> (fun (V23, V24, V25) -> ((((V24('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E16, E17} -> (fun (V41, V42) -> ((V42('erased'))(fun (V43) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_get_recv_payload'(V4, V43)) end)) end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V26) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E29, E30} -> (fun (V27, V28) -> V27 end(E29, E30)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E18, E19, E20} -> (fun (V29, V30, V31) -> ((((V30('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--freeRecvStruct'('erased', V1, V4))))(fun (V32) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E27, E28} -> (fun (V33, V34) -> V33 end(E27, E28)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E24, E25, E26} -> (fun (V35, V36, V37) -> V35 end(E24, E25, E26)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E21, E22, E23} -> (fun (V38, V39, V40) -> ((V39('erased'))({'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', V26, V5}})) end(E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E18, E19, E20)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--recv-3358'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E16, E17} -> (fun (V7, V8) -> V7 end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V9, V10, V11) -> ((((V10('erased'))('erased'))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1))))(fun (V12) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V13, V14) -> V13 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V15, V16, V17) -> ((((V16('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--freeRecvStruct'('erased', V1, V4))))(fun (V18) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E12, E13} -> (fun (V19, V20) -> V19 end(E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E9, E10, E11} -> (fun (V21, V22, V23) -> V21 end(E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E6, E7, E8} -> (fun (V24, V25, V26) -> ((V25('erased'))({'Idris.Prelude.Types.Left', V12})) end(E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> ('case--case block in recv-3429'('erased', V1, V2, V3, V4, V5, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V5, 0)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--send-3268'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V6, V7) -> V6 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V8, V9, V10) -> V8 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V11, V12, V13) -> ((((V11('erased'))('erased'))(fun (V14) -> {'Idris.Prelude.Types.Left', V14} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V15, V16) -> V15 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E11, E12, E13} -> (fun (V17, V18, V19) -> V17 end(E11, E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E8, E9, E10} -> (fun (V20, V21, V22) -> ((V21('erased'))({'Idris.Prelude.Types.Right', V4})) end(E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in accept-3190'(V0, V1, V2, V3, V4) -> case V2 of {'Idris.Network.Socket.Data.MkSocket', E0, E1, E2, E3} -> (fun (V5, V6, V7, V8) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E20, E21} -> (fun (V9, V10) -> V9 end(E20, E21)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E4, E5, E6} -> (fun (V11, V12, V13) -> ((((V12('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--getSockAddr'('erased', V1, V3))))(fun (V14) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E18, E19} -> (fun (V15, V16) -> V15 end(E18, E19)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E7, E8, E9} -> (fun (V17, V18, V19) -> ((((V18('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--sockaddr_free'('erased', V1, V3))))(fun (V20) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E16, E17} -> (fun (V21, V22) -> V21 end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E13, E14, E15} -> (fun (V23, V24, V25) -> V23 end(E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E10, E11, E12} -> (fun (V26, V27, V28) -> ((V27('erased'))({'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Network.Socket.Data.MkSocket', V4, V6, V7, V8}, V14}})) end(E10, E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--accept-3147'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V6, V7) -> V6 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V8, V9, V10) -> V8 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V11, V12, V13) -> ((((V11('erased'))('erased'))(fun (V14) -> {'Idris.Prelude.Types.Left', V14} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case V2 of {'Idris.Network.Socket.Data.MkSocket', E8, E9, E10, E11} -> (fun (V15, V16, V17, V18) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E28, E29} -> (fun (V19, V20) -> V19 end(E28, E29)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E12, E13, E14} -> (fun (V21, V22, V23) -> ((((V22('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--getSockAddr'('erased', V1, V3))))(fun (V24) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E26, E27} -> (fun (V25, V26) -> V25 end(E26, E27)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E15, E16, E17} -> (fun (V27, V28, V29) -> ((((V28('erased'))('erased'))(('Idris.Idris2.Network.Socket.Raw':'un--sockaddr_free'('erased', V1, V3))))(fun (V30) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E24, E25} -> (fun (V31, V32) -> V31 end(E24, E25)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E21, E22, E23} -> (fun (V33, V34, V35) -> V33 end(E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E18, E19, E20} -> (fun (V36, V37, V38) -> ((V37('erased'))({'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Network.Socket.Data.MkSocket', V4, V16, V17, V18}, V24}})) end(E18, E19, E20)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E15, E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E12, E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E8, E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--listen-3075'(V0, V1, V2, V3, V4) -> case V4 of 0 -> ('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)); 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V5, V6) -> V5 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V7, V8, V9) -> V7 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V10, V11, V12) -> ((V11('erased'))(0)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--connect-3006'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> ('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)); 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V7, V8) -> V7 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V9, V10, V11) -> V9 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V12, V13, V14) -> ((V13('erased'))(0)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--bind-2928'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> ('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)); 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V7, V8) -> V7 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V9, V10, V11) -> V9 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V12, V13, V14) -> ((V13('erased'))(0)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--close-2863'(V0, V1, V2, V3) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V4, V5) -> V4 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V6, V7, V8) -> V6 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V9, V10, V11) -> ((V10('erased'))({'Idris.Builtin.MkUnit'})) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--socket-2786'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E6, E7} -> (fun (V7, V8) -> V7 end(E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E3, E4, E5} -> (fun (V9, V10, V11) -> V9 end(E3, E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V12, V13, V14) -> ((((V12('erased'))('erased'))(fun (V15) -> {'Idris.Prelude.Types.Left', V15} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V16, V17) -> V16 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E11, E12, E13} -> (fun (V18, V19, V20) -> V18 end(E11, E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E8, E9, E10} -> (fun (V21, V22, V23) -> ((V22('erased'))({'Idris.Prelude.Types.Right', {'Idris.Network.Socket.Data.MkSocket', V5, V4, V3, V2}})) end(E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--2190-2889--in--un--saString'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V6) -> ('Idris.Idris2.Network.Socket.Data':'dn--un--show_Show__SocketAddress'(V6)) end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> <<""/utf8>> end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--2841-3530--in--un--recvRec'(V0, V1, V2, V3, V4, V5) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E15, E16} -> (fun (V6, V7) -> V6 end(E15, E16)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V8, V9, V10) -> ((((V9('erased'))('erased'))(('un--recv'('erased', V1, V3, V5))))(fun (V11) -> case V11 of {'Idris.Prelude.Types.Left', E3} -> (fun (V12) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E10, E11} -> (fun (V13, V14) -> V13 end(E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E7, E8, E9} -> (fun (V15, V16, V17) -> V15 end(E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E4, E5, E6} -> (fun (V18, V19, V20) -> ((V19('erased'))({'Idris.Prelude.Types.Left', V12})) end(E4, E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E3)); {'Idris.Prelude.Types.Right', E12} -> (fun (V21) -> case V21 of {'Idris.Builtin.MkPair', E13, E14} -> (fun (V22, V23) -> begin (V24 = ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(((V5 * 2) rem 9223372036854775808), 65536))), begin (V25 = {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', V22, V23}}), ('case--case block in recvAll,recvRec-3611'('erased', V1, V2, V5, V4, V3, V22, V23, V25, V24, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V23, V5)))) end end end(E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--socket'(V0, V1, V2, V3, V4) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E5, E6} -> (fun (V5, V6) -> V5 end(E5, E6)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V7, V8, V9) -> ((((V8('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V11, V12) -> ((V12('erased'))(fun (V13) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_socket'(('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketFamily'(V2)), ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketType'(V3)), V4, V13)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V10) -> ('case--socket-2786'('erased', V1, V4, V3, V2, V10, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V10, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--sendTo'(V0, V1, V2, V3, V4, V5) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E13, E14} -> (fun (V6, V7) -> V6 end(E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V8, V9, V10) -> ((((V9('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V12, V13) -> ((V13('erased'))(fun (V14) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_sendto'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V15, V16, V17, V18) -> V15 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V5, ('Idris.Idris2.Network.Socket.Data':'dn--un--show_Show__SocketAddress'(V3)), V4, ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketFamily'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E9, E10, E11, E12} -> (fun (V19, V20, V21, V22) -> V20 end(E9, E10, E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), V14)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V11) -> ('case--sendTo-3717'('erased', V1, V5, V4, V3, V2, V11, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V11, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--send'(V0, V1, V2, V3) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E9, E10} -> (fun (V4, V5) -> V4 end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V6, V7, V8) -> ((((V7('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V10, V11) -> ((V11('erased'))(fun (V12) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_send'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V13, V14, V15, V16) -> V13 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V3, V12)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V9) -> ('case--send-3268'('erased', V1, V3, V2, V9, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V9, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--recvFrom'(V0, V1, V2, V3) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E29, E30} -> (fun (V4, V5) -> V4 end(E29, E30)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V6, V7, V8) -> ((((V7('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V36, V37) -> ((V37('erased'))(fun (V38) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_recvfrom'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V39, V40, V41, V42) -> V39 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V3, V38)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V9) -> begin (V10 = V9), case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E27, E28} -> (fun (V11, V12) -> V11 end(E27, E28)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E9, E10, E11} -> (fun (V13, V14, V15) -> ((((V14('erased'))('erased'))(('Idris.Idris2.Network.Socket.Data':'un--nullPtr'('erased', V1, V9))))(fun (V16) -> case V16 of 0 -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E18, E19} -> (fun (V17, V18) -> V17 end(E18, E19)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E15, E16, E17} -> (fun (V19, V20, V21) -> V19 end(E15, E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E12, E13, E14} -> (fun (V22, V23, V24) -> ((((V22('erased'))('erased'))(fun (V25) -> {'Idris.Prelude.Types.Left', V25} end))(('Idris.Idris2.Network.Socket.Data':'un--getErrno'('erased', V1)))) end(E12, E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; 1 -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E25, E26} -> (fun (V26, V27) -> V26 end(E25, E26)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E20, E21, E22} -> (fun (V28, V29, V30) -> ((((V29('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E23, E24} -> (fun (V33, V34) -> ((V34('erased'))(fun (V35) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_get_recvfrom_res'(V9, V35)) end)) end(E23, E24)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V31) -> begin (V32 = 1), ('case--case block in recvFrom-3871'('erased', V1, V3, V2, V9, V10, V32, V31, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V31, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end end)) end(E20, E21, E22)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--recvAll'(V0, V1, V2) -> ('nested--2841-3530--in--un--recvRec'('erased', V1, V2, V2, [], 64)).
'un--recv'(V0, V1, V2, V3) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E16, E17} -> (fun (V4, V5) -> V4 end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V6, V7, V8) -> ((((V7('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V19, V20) -> ((V20('erased'))(fun (V21) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_recv'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V22, V23, V24, V25) -> V22 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V3, V21)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V9) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V10, V11) -> V10 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E9, E10, E11} -> (fun (V12, V13, V14) -> ((((V13('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E12, E13} -> (fun (V16, V17) -> ((V17('erased'))(fun (V18) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_get_recv_res'(V9, V18)) end)) end(E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V15) -> ('case--recv-3358'('erased', V1, V3, V2, V9, V15, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V15, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--listen'(V0, V1, V2) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E9, E10} -> (fun (V3, V4) -> V3 end(E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V5, V6, V7) -> ((((V6('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V9, V10) -> ((V10('erased'))(fun (V11) -> ('Idris.Idris2.Network.FFI':'un--prim__socket_listen'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V12, V13, V14, V15) -> V12 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, ('Idris.Idris2.Network.Socket.Data':'un--BACKLOG'()), V11)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V8) -> ('case--listen-3075'('erased', V1, V2, V8, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V8, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--connect'(V0, V1, V2, V3, V4) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E17, E18} -> (fun (V5, V6) -> V5 end(E17, E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V7, V8, V9) -> ((((V8('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V11, V12) -> ((V12('erased'))(fun (V13) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_connect'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V14, V15, V16, V17) -> V14 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketFamily'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E9, E10, E11, E12} -> (fun (V18, V19, V20, V21) -> V19 end(E9, E10, E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketType'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E13, E14, E15, E16} -> (fun (V22, V23, V24, V25) -> V24 end(E13, E14, E15, E16)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), ('Idris.Idris2.Network.Socket.Data':'dn--un--show_Show__SocketAddress'(V3)), V4, V13)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V10) -> ('case--connect-3006'('erased', V1, V4, V3, V2, V10, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V10, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--close'(V0, V1, V2) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E17, E18} -> (fun (V3, V4) -> V3 end(E17, E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V5, V6, V7) -> ((((V6('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V17, V18) -> ((V18('erased'))(fun (V19) -> ('Idris.Idris2.Network.FFI':'un--prim__socket_close'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V20, V21, V22, V23) -> V20 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V19)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V8) -> case case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E15, E16} -> (fun (V9, V10) -> V9 end(E15, E16)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E12, E13, E14} -> (fun (V11, V12, V13) -> V11 end(E12, E13, E14)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E9, E10, E11} -> (fun (V14, V15, V16) -> ((V15('erased'))({'Idris.Builtin.MkUnit'})) end(E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--bind'(V0, V1, V2, V3, V4) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E17, E18} -> (fun (V5, V6) -> V5 end(E17, E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V7, V8, V9) -> ((((V8('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V11, V12) -> ((V12('erased'))(fun (V13) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_bind'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E5, E6, E7, E8} -> (fun (V14, V15, V16, V17) -> V14 end(E5, E6, E7, E8)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketFamily'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E9, E10, E11, E12} -> (fun (V18, V19, V20, V21) -> V19 end(E9, E10, E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), ('Idris.Idris2.Network.Socket.Data':'dn--un--toCode_ToCode__SocketType'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E13, E14, E15, E16} -> (fun (V22, V23, V24, V25) -> V24 end(E13, E14, E15, E16)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), ('nested--2190-2889--in--un--saString'('erased', V1, V4, V3, V2, V3)), V4, V13)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V10) -> ('case--bind-2928'('erased', V1, V4, V3, V2, V10, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V10, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--accept'(V0, V1, V2) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E16, E17} -> (fun (V3, V4) -> V3 end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E0, E1, E2} -> (fun (V5, V6, V7) -> ((((V6('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E3, E4} -> (fun (V22, V23) -> ((V23('erased'))(fun (V24) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_create_sockaddr'(V24)) end)) end(E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V8) -> case case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E14, E15} -> (fun (V9, V10) -> V9 end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end of {'Idris.Prelude.Interfaces.dn--un--__mkMonad', E5, E6, E7} -> (fun (V11, V12, V13) -> ((((V12('erased'))('erased'))(case V1 of {'Idris.Prelude.IO.dn--un--__mkHasIO', E8, E9} -> (fun (V15, V16) -> ((V16('erased'))(fun (V17) -> ('Idris.Idris2.Network.FFI':'un--prim__idrnet_accept'(case V2 of {'Idris.Network.Socket.Data.MkSocket', E10, E11, E12, E13} -> (fun (V18, V19, V20, V21) -> V18 end(E10, E11, E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V8, V17)) end)) end(E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end))(fun (V14) -> ('case--accept-3147'('erased', V1, V2, V8, V14, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V14, ('Idris.Idris2.Prelude.Num':'dn--un--negate_Neg__Int'(1)))))) end)) end(E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.