idris2

-module('Idris.Idris2.Erlang.Control.Monad.ST').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case-->>=-1803'/7,
  'case--runST-1574'/3,
  'dn--un--pure_Applicative__(ST $s)'/4,
  'dn--un--map_Functor__(ST $s)'/6,
  'dn--un--join_Monad__(ST $s)'/4,
  'dn--un--__Impl_Monad_(ST $s)'/1,
  'dn--un--__Impl_Functor_(ST $s)'/6,
  'dn--un--__Impl_Applicative_(ST $s)'/1,
  'dn--un-->>=_Monad__(ST $s)'/6,
  'dn--un--<*>_Applicative__(ST $s)'/6,
  'un--writeSTRef'/4,
  'un--runST'/2,
  'un--readSTRef'/3,
  'un--newSTRef'/4,
  'un--modifySTRef'/5
]).
'case-->>=-1803'(V0, V1, V2, V3, V4, V5, V6) -> V6.
'case--runST-1574'(V0, V1, V2) -> ('Idris.Idris2.PrimIO':'un--unsafePerformIO'('erased', V2)).
'dn--un--pure_Applicative__(ST $s)'(V0, V1, V2, V3) -> V2.
'dn--un--map_Functor__(ST $s)'(V0, V1, V2, V3, V4, V5) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', V4, fun (V6) -> fun (V7) -> ('dn--un--pure_Applicative__(ST $s)'('erased', 'erased', (V3(V6)), V7)) end end, V5)).
'dn--un--join_Monad__(ST $s)'(V0, V1, V2, V3) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', V2, fun (V4) -> V4 end, V3)).
'dn--un--__Impl_Monad_(ST $s)'(V0) -> {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> ('dn--un--map_Functor__(ST $s)'('erased', 'erased', 'erased', V3, V4, V5)) end end end end end, fun (V6) -> fun (V7) -> fun (V8) -> ('dn--un--pure_Applicative__(ST $s)'('erased', 'erased', V7, V8)) end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> ('dn--un--<*>_Applicative__(ST $s)'('erased', 'erased', 'erased', V11, V12, V13)) end end end end end}, fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', V16, V17, V18)) end end end end end, fun (V19) -> fun (V20) -> fun (V21) -> ('dn--un--join_Monad__(ST $s)'('erased', 'erased', V20, V21)) end end end}.
'dn--un--__Impl_Functor_(ST $s)'(V0, V1, V2, V3, V4, V5) -> ('dn--un--map_Functor__(ST $s)'('erased', 'erased', 'erased', V3, V4, V5)).
'dn--un--__Impl_Applicative_(ST $s)'(V0) -> {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V1) -> fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> ('dn--un--map_Functor__(ST $s)'('erased', 'erased', 'erased', V3, V4, V5)) end end end end end, fun (V6) -> fun (V7) -> fun (V8) -> ('dn--un--pure_Applicative__(ST $s)'('erased', 'erased', V7, V8)) end end end, fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> fun (V13) -> ('dn--un--<*>_Applicative__(ST $s)'('erased', 'erased', 'erased', V11, V12, V13)) end end end end end}.
'dn--un-->>=_Monad__(ST $s)'(V0, V1, V2, V3, V4, V5) -> begin (V6 = (V3(V5))), (('case-->>=-1803'('erased', 'erased', 'erased', V3, V4, V6, (V4(V6))))(V5)) end.
'dn--un--<*>_Applicative__(ST $s)'(V0, V1, V2, V3, V4, V5) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', V3, fun (V6) -> fun (V7) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', V4, fun (V8) -> fun (V9) -> ('dn--un--pure_Applicative__(ST $s)'('erased', 'erased', (V6(V8)), V9)) end end, V7)) end end, V5)).
'un--writeSTRef'(V0, V1, V2, V3) -> ('Idris.Idris2.Erlang.Data.IORef':'un--writeIORef'('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}, V2, V3)).
'un--runST'(V0, V1) -> ('case--runST-1574'('erased', V1, (V1('erased')))).
'un--readSTRef'(V0, V1, V2) -> ('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V3) -> fun (V4) -> fun (V5) -> fun (V6) -> fun (V7) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V5, V6, V7)) end end end end end, fun (V8) -> fun (V9) -> fun (V10) -> V9 end end end, fun (V11) -> fun (V12) -> fun (V13) -> fun (V14) -> fun (V15) -> begin (V16 = (V13(V15))), begin (V17 = (V14(V15))), (V16(V17)) end end end end end end end}, fun (V18) -> fun (V19) -> fun (V20) -> fun (V21) -> fun (V22) -> begin (V23 = (V20(V22))), ((V21(V23))(V22)) end end end end end end, fun (V24) -> fun (V25) -> fun (V26) -> begin (V27 = (V25(V26))), (V27(V26)) end end end end}, fun (V28) -> fun (V29) -> V29 end end}, V2)).
'un--newSTRef'(V0, V1, V2, V3) -> begin (V31 = (('Idris.Idris2.Erlang.Data.IORef':'un--newIORef'('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}, V2))(V3))), V31 end.
'un--modifySTRef'(V0, V1, V2, V3, V4) -> ('dn--un-->>=_Monad__(ST $s)'('erased', 'erased', 'erased', ('Idris.Idris2.Erlang.Data.IORef':'un--readIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V7, V8, V9)) end end end end end, fun (V10) -> fun (V11) -> fun (V12) -> V11 end end end, fun (V13) -> fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> begin (V18 = (V15(V17))), begin (V19 = (V16(V17))), (V18(V19)) end end end end end end end}, fun (V20) -> fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> begin (V25 = (V22(V24))), ((V23(V25))(V24)) end end end end end end, fun (V26) -> fun (V27) -> fun (V28) -> begin (V29 = (V27(V28))), (V29(V28)) end end end end}, fun (V30) -> fun (V31) -> V31 end end}, V2)), fun (V32) -> ('Idris.Idris2.Erlang.Data.IORef':'un--writeIORef'('erased', 'erased', {'Idris.Prelude.IO.dn--un--__mkHasIO', {'Idris.Prelude.Interfaces.dn--un--__mkMonad', {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', fun (V33) -> fun (V34) -> fun (V35) -> fun (V36) -> fun (V37) -> ('Idris.Idris2.Prelude.IO':'dn--un--map_Functor__IO'('erased', 'erased', V35, V36, V37)) end end end end end, fun (V38) -> fun (V39) -> fun (V40) -> V39 end end end, fun (V41) -> fun (V42) -> fun (V43) -> fun (V44) -> fun (V45) -> begin (V46 = (V43(V45))), begin (V47 = (V44(V45))), (V46(V47)) end end end end end end end}, fun (V48) -> fun (V49) -> fun (V50) -> fun (V51) -> fun (V52) -> begin (V53 = (V50(V52))), ((V51(V53))(V52)) end end end end end end, fun (V54) -> fun (V55) -> fun (V56) -> begin (V57 = (V55(V56))), (V57(V56)) end end end end}, fun (V58) -> fun (V59) -> V59 end end}, V2, (V3(V32)))) end, V4)).