Packages

idris2

0.2.1-alpha.1
0.2.1-alpha.1

Erlang code generator for Idris 2

Current section

Files

Jump to
Readme
1 Version
0 Dependencies
Dependants
Files
Activity
idris2 src Idris.Idris2.Utils.Either.erl
Raw

src/Idris.Idris2.Utils.Either.erl 

-module('Idris.Idris2.Utils.Either').

-compile('no_auto_import').

-compile('inline').

-compile({'inline_size',24}).

-export([

  'case--partitionEithers-334'/5,

  'case--partitionEithers-296'/5,

  'un--partitionEithers'/3,

  'un--mapError'/5

]).

'case--partitionEithers-334'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> {'Idris.Builtin.MkPair', V5, [V2 | V6]} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'case--partitionEithers-296'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> {'Idris.Builtin.MkPair', [V2 | V5], V6} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--partitionEithers'(V0, V1, V2) -> case V2 of [] -> {'Idris.Builtin.MkPair', [], []}; [E0 | E1] -> (fun (V3, V4) -> case V3 of {'Idris.Prelude.Types.Left', E2} -> (fun (V5) -> ('case--partitionEithers-296'('erased', 'erased', V5, V4, ('un--partitionEithers'('erased', 'erased', V4)))) end(E2)); {'Idris.Prelude.Types.Right', E3} -> (fun (V6) -> ('case--partitionEithers-334'('erased', 'erased', V6, V4, ('un--partitionEithers'('erased', 'erased', V4)))) end(E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.

'un--mapError'(V0, V1, V2, V3, V4) -> ('Idris.Idris2.Prelude.Types':'un--either'('erased', 'erased', 'erased', fun () -> fun (V5) -> {'Idris.Prelude.Types.Left', (V3(V5))} end end, fun () -> fun (V6) -> {'Idris.Prelude.Types.Right', V6} end end, V4)).