idris2

-module('Idris.Idris2.Data.NameMap').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case--mergeWith,inserted-10426'/5,
  'case--delete-10184'/5,
  'case--delete-10147'/4,
  'case--insert-10062'/6,
  'case--case block in case block in treeDelete-9864'/9,
  'case--case block in case block in treeDelete-9790'/9,
  'case--case block in treeDelete-9766'/9,
  'case--case block in treeDelete-9692'/9,
  'case--treeDelete-9668'/9,
  'case--case block in case block in treeDelete-9614'/7,
  'case--case block in treeDelete-9572'/7,
  'case--case block in case block in treeDelete-9514'/7,
  'case--case block in treeDelete-9472'/7,
  'case--treeDelete-9452'/7,
  'case--case block in case block in treeDelete-9390'/8,
  'case--case block in case block in treeDelete-9322'/8,
  'case--case block in treeDelete-9300'/8,
  'case--case block in treeDelete-9232'/8,
  'case--treeDelete-9210'/8,
  'case--case block in treeDelete-9160'/6,
  'case--case block in treeDelete-9106'/6,
  'case--treeDelete-9088'/6,
  'case--treeDelete-9040'/6,
  'case--treeInsert-8971'/6,
  'case--case block in case block in treeInsert\x{27}-8874'/11,
  'case--case block in case block in treeInsert\x{27}-8763'/11,
  'case--case block in treeInsert\x{27}-8732'/11,
  'case--case block in treeInsert\x{27}-8622'/11,
  'case--treeInsert\x{27}-8591'/11,
  'case--case block in treeInsert\x{27}-8513'/9,
  'case--case block in treeInsert\x{27}-8424'/9,
  'case--treeInsert\x{27}-8397'/9,
  'case--treeInsert\x{27}-8295'/7,
  'case--case block in treeLookup-8234'/10,
  'case--treeLookup-8187'/10,
  'case--treeLookup-8139'/8,
  'case--treeLookup-8096'/6,
  'nested--4352-9920--in--un--treeToList\x{27}'/5,
  'nested--4844-10414--in--un--inserted'/4,
  'dn--un--show_Show__(NameMap $v)'/3,
  'dn--un--show_Show__((Tree $n) $v)'/4,
  'dn--un--showPrec_Show__(NameMap $v)'/4,
  'dn--un--showPrec_Show__((Tree $n) $v)'/5,
  'dn--un--neutral_Monoid__(NameMap $v)'/2,
  'dn--un--map_Functor__NameMap'/4,
  'dn--un--__Impl_Show_(NameMap $v)'/2,
  'dn--un--__Impl_Show_((Tree $n) $v)'/3,
  'dn--un--__Impl_Semigroup_(NameMap $v)'/4,
  'dn--un--__Impl_Monoid_(NameMap $v)'/2,
  'dn--un--__Impl_Functor_NameMap'/4,
  'dn--un--<+>_Semigroup__(NameMap $v)'/4,
  'un--values'/2,
  'un--treeToList'/3,
  'un--treeMap'/5,
  'un--treeLookup'/4,
  'un--treeInsert\x{27}'/5,
  'un--treeInsert'/5,
  'un--treeDelete'/4,
  'un--toList'/2,
  'un--mergeWith'/4,
  'un--mergeLeft'/3,
  'un--merge3'/7,
  'un--merge2'/7,
  'un--merge1'/7,
  'un--merge'/4,
  'un--lookup'/3,
  'un--keys'/2,
  'un--insertFrom'/3,
  'un--insert'/4,
  'un--fromList'/2,
  'un--empty'/1,
  'un--delete'/3,
  'un--branch7'/15,
  'un--branch6'/13,
  'un--branch5'/11,
  'un--branch4'/9
]).
'case--mergeWith,inserted-10426'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> begin (V8 = (('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> fun (V7) -> V7 end end, fun () -> V3 end, ('un--lookup'('erased', V5, V2))))(V6))), ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__List'('erased', {'Idris.Builtin.MkPair', V5, V8})) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--delete-10184'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Prelude.Types.Left', E0} -> (fun (V5) -> {'Idris.Data.NameMap.M', (1 + V1), V5} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V6) -> {'Idris.Data.NameMap.M', V1, V6} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--delete-10147'(V0, V1, V2, V3) -> case V3 of {'Idris.Prelude.Types.Left', E0} -> (fun (V4) -> {'Idris.Data.NameMap.M', 0, V4} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V5) -> case V5 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Data.NameMap.Empty'} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--insert-10062'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Left', E0} -> (fun (V6) -> {'Idris.Data.NameMap.M', V1, V6} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V7) -> {'Idris.Data.NameMap.M', (1 + V1), V7} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9864'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V6, V5, V4, V3, V9}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> {'Idris.Prelude.Types.Left', ('un--merge3'('erased', 'erased', V6, V5, V4, V3, V10))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9790'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V6, V5, V9, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> {'Idris.Prelude.Types.Left', ('un--merge2'('erased', 'erased', V6, V5, V10, V3, V2))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9766'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of 0 -> ('case--case block in case block in treeDelete-9790'('erased', V1, V2, V3, V4, V5, V6, V7, ('un--treeDelete'('erased', (1 + V1), V7, V4)))); 1 -> ('case--case block in case block in treeDelete-9864'('erased', V1, V2, V3, V4, V5, V6, V7, ('un--treeDelete'('erased', (1 + V1), V7, V2)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9692'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V9, V5, V4, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> {'Idris.Prelude.Types.Left', ('un--merge1'('erased', 'erased', V10, V5, V4, V3, V2))} end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeDelete-9668'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of 0 -> ('case--case block in treeDelete-9692'('erased', V1, V2, V3, V4, V5, V6, V7, ('un--treeDelete'('erased', (1 + V1), V7, V6)))); 1 -> ('case--case block in treeDelete-9766'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V7, V3)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9614'(V0, V1, V2, V3, V4, V5, V6) -> case V4 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V7, V8, V9) -> {'Idris.Prelude.Types.Right', {'Idris.Data.NameMap.Branch3', V7, V8, V9, V3, V6}} end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E3, E4, E5, E6, E7} -> (fun (V10, V11, V12, V13, V14) -> {'Idris.Prelude.Types.Left', ('un--branch4'('erased', 'erased', V10, V11, V12, V13, V14, V3, V6))} end(E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9572'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Left', E0} -> (fun (V7) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V4, V3, V7}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V8) -> case V4 of {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V9, V10, V11) -> {'Idris.Prelude.Types.Right', {'Idris.Data.NameMap.Branch3', V9, V10, V11, V3, V8}} end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V12, V13, V14, V15, V16) -> {'Idris.Prelude.Types.Left', ('un--branch4'('erased', 'erased', V12, V13, V14, V15, V16, V3, V8))} end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9514'(V0, V1, V2, V3, V4, V5, V6) -> case V2 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V7, V8, V9) -> {'Idris.Prelude.Types.Right', {'Idris.Data.NameMap.Branch3', V6, V3, V7, V8, V9}} end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E3, E4, E5, E6, E7} -> (fun (V10, V11, V12, V13, V14) -> {'Idris.Prelude.Types.Left', ('un--branch4'('erased', 'erased', V6, V3, V10, V11, V12, V13, V14))} end(E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9472'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Left', E0} -> (fun (V7) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V7, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V8) -> case V2 of {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V9, V10, V11) -> {'Idris.Prelude.Types.Right', {'Idris.Data.NameMap.Branch3', V8, V3, V9, V10, V11}} end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V12, V13, V14, V15, V16) -> {'Idris.Prelude.Types.Left', ('un--branch4'('erased', 'erased', V8, V3, V12, V13, V14, V15, V16))} end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeDelete-9452'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> ('case--case block in treeDelete-9472'('erased', V1, V2, V3, V4, V5, ('un--treeDelete'('erased', (1 + V1), V5, V4)))); 1 -> ('case--case block in treeDelete-9572'('erased', V1, V2, V3, V4, V5, ('un--treeDelete'('erased', (1 + V1), V5, V2)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9390'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Left', E0} -> (fun (V8) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V5, V4, V3, V2, V8}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V9) -> case V9 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V5, V4, V3}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeDelete-9322'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Left', E0} -> (fun (V8) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V5, V4, V8, V2, V1}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V9) -> case V9 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V5, V4, V1}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9300'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of 0 -> ('case--case block in case block in treeDelete-9322'('erased', V1, V2, V3, V4, V5, V6, ('un--treeDelete'('erased', 0, V6, V3)))); 1 -> ('case--case block in case block in treeDelete-9390'('erased', V1, V2, V3, V4, V5, V6, ('un--treeDelete'('erased', 0, V6, V1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9232'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of {'Idris.Prelude.Types.Left', E0} -> (fun (V8) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V8, V4, V3, V2, V1}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V9) -> case V9 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V3, V2, V1}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeDelete-9210'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of 0 -> ('case--case block in treeDelete-9232'('erased', V1, V2, V3, V4, V5, V6, ('un--treeDelete'('erased', 0, V6, V5)))); 1 -> ('case--case block in treeDelete-9300'('erased', V1, V2, V3, V4, V5, V6, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V6, V2)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9160'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Left', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V3, V2, V6}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V7) -> case V7 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Right', V3} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeDelete-9106'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Left', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V6, V2, V1}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V7) -> case V7 of {'Idris.Builtin.MkUnit'} -> (fun () -> {'Idris.Prelude.Types.Right', V1} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeDelete-9088'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> ('case--case block in treeDelete-9106'('erased', V1, V2, V3, V4, ('un--treeDelete'('erased', 0, V4, V3)))); 1 -> ('case--case block in treeDelete-9160'('erased', V1, V2, V3, V4, ('un--treeDelete'('erased', 0, V4, V1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeDelete-9040'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkUnit'}}; 1 -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Leaf', V2, V1}}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeInsert-8971'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Prelude.Types.Left', E0} -> (fun (V6) -> {'Idris.Prelude.Types.Left', V6} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V7) -> case V7 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V8, V9) -> case V9 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V10, V11) -> {'Idris.Prelude.Types.Right', {'Idris.Data.NameMap.Branch2', V8, V10, V11}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeInsert\x{27}-8874'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Prelude.Types.Left', E0} -> (fun (V11) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V6, V5, V4, V3, V11}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V12) -> case V12 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V13, V14) -> case V14 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V15, V16) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Data.NameMap.Branch2', V6, V5, V4}, {'Idris.Builtin.MkPair', V3, {'Idris.Data.NameMap.Branch2', V13, V15, V16}}}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in case block in treeInsert\x{27}-8763'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Prelude.Types.Left', E0} -> (fun (V11) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V6, V5, V11, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V12) -> case V12 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V13, V14) -> case V14 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V15, V16) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Data.NameMap.Branch2', V6, V5, V13}, {'Idris.Builtin.MkPair', V15, {'Idris.Data.NameMap.Branch2', V16, V3, V2}}}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeInsert\x{27}-8732'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> ('case--case block in case block in treeInsert\x{27}-8763'('erased', 'erased', V2, V3, V4, V5, V6, V7, 'erased', V9, ('un--treeInsert\x{27}'('erased', 'erased', V7, V9, V4)))); 1 -> ('case--case block in case block in treeInsert\x{27}-8874'('erased', 'erased', V2, V3, V4, V5, V6, V7, 'erased', V9, ('un--treeInsert\x{27}'('erased', 'erased', V7, V9, V2)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeInsert\x{27}-8622'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of {'Idris.Prelude.Types.Left', E0} -> (fun (V11) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V11, V5, V4, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V12) -> case V12 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V13, V14) -> case V14 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V15, V16) -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Data.NameMap.Branch2', V13, V15, V16}, {'Idris.Builtin.MkPair', V5, {'Idris.Data.NameMap.Branch2', V4, V3, V2}}}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeInsert\x{27}-8591'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> ('case--case block in treeInsert\x{27}-8622'('erased', 'erased', V3, V4, V5, V6, V7, V8, 'erased', V2, ('un--treeInsert\x{27}'('erased', 'erased', V8, V2, V7)))); 1 -> ('case--case block in treeInsert\x{27}-8732'('erased', 'erased', V3, V4, V5, V6, V7, V8, 'erased', V2, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V8, V4)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeInsert\x{27}-8513'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V4, V3, V9}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> case V10 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V11, V12) -> case V12 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V13, V14) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V4, V3, V11, V13, V14}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeInsert\x{27}-8424'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Prelude.Types.Left', E0} -> (fun (V9) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch2', V9, V3, V2}} end(E0)); {'Idris.Prelude.Types.Right', E1} -> (fun (V10) -> case V10 of {'Idris.Builtin.MkPair', E2, E3} -> (fun (V11, V12) -> case V12 of {'Idris.Builtin.MkPair', E4, E5} -> (fun (V13, V14) -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Branch3', V11, V13, V14, V3, V2}} end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeInsert\x{27}-8397'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of 0 -> ('case--case block in treeInsert\x{27}-8424'('erased', 'erased', V3, V4, V5, V6, 'erased', V2, ('un--treeInsert\x{27}'('erased', 'erased', V6, V2, V5)))); 1 -> ('case--case block in treeInsert\x{27}-8513'('erased', 'erased', V3, V4, V5, V6, 'erased', V2, ('un--treeInsert\x{27}'('erased', 'erased', V6, V2, V3)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeInsert\x{27}-8295'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Data.NameMap.Leaf', V4, V1}, {'Idris.Builtin.MkPair', V4, {'Idris.Data.NameMap.Leaf', V3, V2}}}}; 1 -> {'Idris.Prelude.Types.Left', {'Idris.Data.NameMap.Leaf', V4, V1}}; 2 -> {'Idris.Prelude.Types.Right', {'Idris.Builtin.MkPair', {'Idris.Data.NameMap.Leaf', V3, V2}, {'Idris.Builtin.MkPair', V3, {'Idris.Data.NameMap.Leaf', V4, V1}}}}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in treeLookup-8234'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of 0 -> ('un--treeLookup'('erased', 'erased', V7, V4)); 1 -> ('un--treeLookup'('erased', 'erased', V7, V2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeLookup-8187'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of 0 -> ('un--treeLookup'('erased', 'erased', V7, V6)); 1 -> ('case--case block in treeLookup-8234'('erased', 'erased', V2, V3, V4, V5, V6, V7, 'erased', ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V7, V3)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeLookup-8139'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V7 of 0 -> ('un--treeLookup'('erased', 'erased', V5, V4)); 1 -> ('un--treeLookup'('erased', 'erased', V5, V2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--treeLookup-8096'(V0, V1, V2, V3, V4, V5) -> case V5 of 0 -> {'Idris.Prelude.Types.Just', V1}; 1 -> {'Idris.Prelude.Types.Nothing'}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--4352-9920--in--un--treeToList\x{27}'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Data.NameMap.Leaf', E0, E1} -> (fun (V5, V6) -> [{'Idris.Builtin.MkPair', V5, V6} | V3] end(E0, E1)); {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V7, V8, V9) -> ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', V3, V9)), V7)) end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V10, V11, V12, V13, V14) -> ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', V3, V14)), V12)), V10)) end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--4844-10414--in--un--inserted'(V0, V1, V2, V3) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__List'('erased', 'erased', ('un--toList'('erased', V1)), fun (V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> begin (V8 = (('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> fun (V7) -> V7 end end, fun () -> V3 end, ('un--lookup'('erased', V5, V2))))(V6))), ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__List'('erased', {'Idris.Builtin.MkPair', V5, V8})) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end)).
'dn--un--show_Show__(NameMap $v)'(V0, V1, V2) -> case V2 of {'Idris.Data.NameMap.Empty'} -> (fun () -> <<"Empty NameMap"/utf8>> end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V3, V4) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"NameMap M("/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V3)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"):\x{a}"/utf8>>, ('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V1, V4)))))))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--show_Show__((Tree $n) $v)'(V0, V1, V2, V3) -> case V3 of {'Idris.Data.NameMap.Leaf', E0, E1} -> (fun (V4, V5) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"Leaf: "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name':'dn--un--show_Show__Name'(V4)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<" -> "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(case V2 of {'Idris.Prelude.Show.dn--un--__mkShow', E2, E3} -> (fun (V6, V7) -> (V6(V5)) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, <<"\x{a}"/utf8>>)))))))) end(E0, E1)); {'Idris.Data.NameMap.Branch2', E4, E5, E6} -> (fun (V8, V9, V10) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"Branch2: "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V8)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a} < "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name':'dn--un--show_Show__Name'(V9)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V10)), <<"\x{a}"/utf8>>)))))))))))) end(E4, E5, E6)); {'Idris.Data.NameMap.Branch3', E7, E8, E9, E10, E11} -> (fun (V11, V12, V13, V14, V15) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"Branch3: "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V11)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a} < "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name':'dn--un--show_Show__Name'(V12)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V13)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a} < "/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Core.Name':'dn--un--show_Show__Name'(V14)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{a}"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V15)), <<"\x{a}"/utf8>>)))))))))))))))))))) end(E7, E8, E9, E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--showPrec_Show__(NameMap $v)'(V0, V1, V2, V3) -> ('dn--un--show_Show__(NameMap $v)'('erased', V1, V3)).
'dn--un--showPrec_Show__((Tree $n) $v)'(V0, V1, V2, V3, V4) -> ('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V4)).
'dn--un--neutral_Monoid__(NameMap $v)'(V0, V1) -> ('un--empty'('erased')).
'dn--un--map_Functor__NameMap'(V0, V1, V2, V3) -> case V3 of {'Idris.Data.NameMap.Empty'} -> (fun () -> {'Idris.Data.NameMap.Empty'} end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V4, V5) -> {'Idris.Data.NameMap.M', V4, ('un--treeMap'('erased', 'erased', 'erased', V2, V5))} end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--__Impl_Show_(NameMap $v)'(V0, V1) -> {'Idris.Prelude.Show.dn--un--__mkShow', fun (V2) -> ('dn--un--show_Show__(NameMap $v)'('erased', V1, V2)) end, fun (V3) -> fun (V4) -> ('dn--un--showPrec_Show__(NameMap $v)'('erased', V1, V3, V4)) end end}.
'dn--un--__Impl_Show_((Tree $n) $v)'(V0, V1, V2) -> {'Idris.Prelude.Show.dn--un--__mkShow', fun (V3) -> ('dn--un--show_Show__((Tree $n) $v)'('erased', 'erased', V2, V3)) end, fun (V4) -> fun (V5) -> ('dn--un--showPrec_Show__((Tree $n) $v)'('erased', 'erased', V2, V4, V5)) end end}.
'dn--un--__Impl_Semigroup_(NameMap $v)'(V0, V1, V2, V3) -> ('dn--un--<+>_Semigroup__(NameMap $v)'('erased', V1, V2, V3)).
'dn--un--__Impl_Monoid_(NameMap $v)'(V0, V1) -> {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(NameMap $v)'('erased', V1, V2, V3)) end end, ('dn--un--neutral_Monoid__(NameMap $v)'('erased', V1))}.
'dn--un--__Impl_Functor_NameMap'(V0, V1, V2, V3) -> ('dn--un--map_Functor__NameMap'('erased', 'erased', V2, V3)).
'dn--un--<+>_Semigroup__(NameMap $v)'(V0, V1, V2, V3) -> ('un--merge'('erased', V1, V2, V3)).
'un--values'(V0, V1) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V2) -> ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V2)) end, ('un--toList'('erased', V1)))).
'un--treeToList'(V0, V1, V2) -> ('nested--4352-9920--in--un--treeToList\x{27}'('erased', 'erased', 'erased', [], V2)).
'un--treeMap'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Data.NameMap.Leaf', E0, E1} -> (fun (V5, V6) -> {'Idris.Data.NameMap.Leaf', V5, (V3(V6))} end(E0, E1)); {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V7, V8, V9) -> {'Idris.Data.NameMap.Branch2', ('un--treeMap'('erased', 'erased', 'erased', V3, V7)), V8, ('un--treeMap'('erased', 'erased', 'erased', V3, V9))} end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V10, V11, V12, V13, V14) -> {'Idris.Data.NameMap.Branch3', ('un--treeMap'('erased', 'erased', 'erased', V3, V10)), V11, ('un--treeMap'('erased', 'erased', 'erased', V3, V12)), V13, ('un--treeMap'('erased', 'erased', 'erased', V3, V14))} end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--treeLookup'(V0, V1, V2, V3) -> case V3 of {'Idris.Data.NameMap.Leaf', E0, E1} -> (fun (V4, V5) -> ('case--treeLookup-8096'('erased', V5, V4, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--==_Eq__Name'(V2, V4)))) end(E0, E1)); {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V6, V7, V8) -> ('case--treeLookup-8139'('erased', 'erased', V8, V7, V6, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V7)))) end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V9, V10, V11, V12, V13) -> ('case--treeLookup-8187'('erased', 'erased', V13, V12, V11, V10, V9, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V10)))) end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--treeInsert\x{27}'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Data.NameMap.Leaf', E0, E1} -> (fun (V5, V6) -> ('case--treeInsert\x{27}-8295'('erased', V3, V6, V5, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--compare_Ord__Name'(V2, V5)))) end(E0, E1)); {'Idris.Data.NameMap.Branch2', E2, E3, E4} -> (fun (V7, V8, V9) -> ('case--treeInsert\x{27}-8397'('erased', 'erased', V3, V9, V8, V7, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V8)))) end(E2, E3, E4)); {'Idris.Data.NameMap.Branch3', E5, E6, E7, E8, E9} -> (fun (V10, V11, V12, V13, V14) -> ('case--treeInsert\x{27}-8591'('erased', 'erased', V3, V14, V13, V12, V11, V10, V2, 'erased', ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V11)))) end(E5, E6, E7, E8, E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--treeInsert'(V0, V1, V2, V3, V4) -> ('case--treeInsert-8971'('erased', 'erased', V3, V4, V2, ('un--treeInsert\x{27}'('erased', 'erased', V2, V3, V4)))).
'un--treeDelete'(V0, V1, V2, V3) -> case V1 of 0 -> case V3 of {'Idris.Data.NameMap.Leaf', E16, E17} -> (fun (V4, V5) -> begin (V6 = 0), ('case--treeDelete-9040'('erased', V5, V4, V2, V6, ('Idris.Idris2.Core.Name':'dn--un--==_Eq__Name'(V2, V4)))) end end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> begin (V7 = (V1 - 1)), case V7 of 0 -> case V3 of {'Idris.Data.NameMap.Branch2', E8, E9, E10} -> (fun (V8, V9, V10) -> ('case--treeDelete-9088'('erased', V10, V9, V8, V2, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V9)))) end(E8, E9, E10)); {'Idris.Data.NameMap.Branch3', E11, E12, E13, E14, E15} -> (fun (V11, V12, V13, V14, V15) -> ('case--treeDelete-9210'('erased', V15, V14, V13, V12, V11, V2, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V12)))) end(E11, E12, E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> begin (V16 = (V7 - 1)), case V3 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V17, V18, V19) -> ('case--treeDelete-9452'('erased', V16, V19, V18, V17, V2, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V18)))) end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E3, E4, E5, E6, E7} -> (fun (V20, V21, V22, V23, V24) -> ('case--treeDelete-9668'('erased', V16, V24, V23, V22, V21, V20, V2, ('Idris.Idris2.Core.Name':'dn--un--<=_Ord__Name'(V2, V21)))) end(E3, E4, E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end end.
'un--toList'(V0, V1) -> case V1 of {'Idris.Data.NameMap.Empty'} -> (fun () -> [] end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V2, V3) -> ('un--treeToList'('erased', 'erased', V3)) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--mergeWith'(V0, V1, V2, V3) -> ('un--insertFrom'('erased', ('nested--4844-10414--in--un--inserted'('erased', V3, V2, V1)), V2)).
'un--mergeLeft'(V0, V1, V2) -> ('un--mergeWith'('erased', fun (V3) -> fun (V4) -> V3 end end, V1, V2)).
'un--merge3'(V0, V1, V2, V3, V4, V5, V6) -> case V2 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V7, V8, V9) -> case V4 of {'Idris.Data.NameMap.Branch2', E3, E4, E5} -> (fun (V10, V11, V12) -> ('un--branch5'('erased', 'erased', V7, V8, V9, V3, V10, V11, V12, V5, V6)) end(E3, E4, E5)); {'Idris.Data.NameMap.Branch3', E6, E7, E8, E9, E10} -> (fun (V13, V14, V15, V16, V17) -> ('un--branch6'('erased', 'erased', V7, V8, V9, V3, V13, V14, V15, V16, V17, V5, V6)) end(E6, E7, E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E11, E12, E13, E14, E15} -> (fun (V18, V19, V20, V21, V22) -> case V4 of {'Idris.Data.NameMap.Branch2', E16, E17, E18} -> (fun (V23, V24, V25) -> ('un--branch6'('erased', 'erased', V18, V19, V20, V21, V22, V3, V23, V24, V25, V5, V6)) end(E16, E17, E18)); {'Idris.Data.NameMap.Branch3', E19, E20, E21, E22, E23} -> (fun (V26, V27, V28, V29, V30) -> ('un--branch7'('erased', 'erased', V18, V19, V20, V21, V22, V3, V26, V27, V28, V29, V30, V5, V6)) end(E19, E20, E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E11, E12, E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--merge2'(V0, V1, V2, V3, V4, V5, V6) -> case V2 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V7, V8, V9) -> case V6 of {'Idris.Data.NameMap.Branch2', E3, E4, E5} -> (fun (V10, V11, V12) -> ('un--branch5'('erased', 'erased', V7, V8, V9, V3, V4, V5, V10, V11, V12)) end(E3, E4, E5)); {'Idris.Data.NameMap.Branch3', E6, E7, E8, E9, E10} -> (fun (V13, V14, V15, V16, V17) -> ('un--branch6'('erased', 'erased', V7, V8, V9, V3, V4, V5, V13, V14, V15, V16, V17)) end(E6, E7, E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E11, E12, E13, E14, E15} -> (fun (V18, V19, V20, V21, V22) -> case V6 of {'Idris.Data.NameMap.Branch2', E16, E17, E18} -> (fun (V23, V24, V25) -> ('un--branch6'('erased', 'erased', V18, V19, V20, V21, V22, V3, V4, V5, V23, V24, V25)) end(E16, E17, E18)); {'Idris.Data.NameMap.Branch3', E19, E20, E21, E22, E23} -> (fun (V26, V27, V28, V29, V30) -> ('un--branch7'('erased', 'erased', V18, V19, V20, V21, V22, V3, V4, V5, V26, V27, V28, V29, V30)) end(E19, E20, E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E11, E12, E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--merge1'(V0, V1, V2, V3, V4, V5, V6) -> case V4 of {'Idris.Data.NameMap.Branch2', E0, E1, E2} -> (fun (V7, V8, V9) -> case V6 of {'Idris.Data.NameMap.Branch2', E3, E4, E5} -> (fun (V10, V11, V12) -> ('un--branch5'('erased', 'erased', V2, V3, V7, V8, V9, V5, V10, V11, V12)) end(E3, E4, E5)); {'Idris.Data.NameMap.Branch3', E6, E7, E8, E9, E10} -> (fun (V13, V14, V15, V16, V17) -> ('un--branch6'('erased', 'erased', V2, V3, V7, V8, V9, V5, V13, V14, V15, V16, V17)) end(E6, E7, E8, E9, E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1, E2)); {'Idris.Data.NameMap.Branch3', E11, E12, E13, E14, E15} -> (fun (V18, V19, V20, V21, V22) -> case V6 of {'Idris.Data.NameMap.Branch2', E16, E17, E18} -> (fun (V23, V24, V25) -> ('un--branch6'('erased', 'erased', V2, V3, V18, V19, V20, V21, V22, V5, V23, V24, V25)) end(E16, E17, E18)); {'Idris.Data.NameMap.Branch3', E19, E20, E21, E22, E23} -> (fun (V26, V27, V28, V29, V30) -> ('un--branch7'('erased', 'erased', V2, V3, V18, V19, V20, V21, V22, V5, V26, V27, V28, V29, V30)) end(E19, E20, E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E11, E12, E13, E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--merge'(V0, V1, V2, V3) -> ('un--mergeWith'('erased', fun (V4) -> fun (V5) -> ((V1(V4))(V5)) end end, V2, V3)).
'un--lookup'(V0, V1, V2) -> case V2 of {'Idris.Data.NameMap.Empty'} -> (fun () -> {'Idris.Prelude.Types.Nothing'} end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V3, V4) -> ('un--treeLookup'('erased', 'erased', V1, V4)) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--keys'(V0, V1) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V2) -> ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V2)) end, ('un--toList'('erased', V1)))).
'un--insertFrom'(V0, V1, V2) -> ('Idris.Idris2.Prelude.Basics':'un--flip'('erased', 'erased', 'erased', fun (V3) -> fun (V4) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', fun (V5) -> fun (V6) -> ('Idris.Idris2.Prelude.Basics':'un--flip'('erased', 'erased', 'erased', fun (V7) -> ('Idris.Idris2.Prelude.Basics':'un--uncurry'('erased', 'erased', 'erased', fun (V8) -> fun (V9) -> fun (V10) -> ('un--insert'('erased', V8, V9, V10)) end end end, V7)) end, V5, V6)) end end, V3, V4)) end end, V1, V2)).
'un--insert'(V0, V1, V2, V3) -> case V3 of {'Idris.Data.NameMap.Empty'} -> (fun () -> {'Idris.Data.NameMap.M', 0, {'Idris.Data.NameMap.Leaf', V1, V2}} end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V4, V5) -> ('case--insert-10062'('erased', V4, V2, V5, V1, ('un--treeInsert'('erased', 'erased', V1, V2, V5)))) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--fromList'(V0, V1) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', fun (V2) -> fun (V3) -> ('Idris.Idris2.Prelude.Basics':'un--flip'('erased', 'erased', 'erased', fun (V4) -> ('Idris.Idris2.Prelude.Basics':'un--uncurry'('erased', 'erased', 'erased', fun (V5) -> fun (V6) -> fun (V7) -> ('un--insert'('erased', V5, V6, V7)) end end end, V4)) end, V2, V3)) end end, ('un--empty'('erased')), V1)).
'un--empty'(V0) -> {'Idris.Data.NameMap.Empty'}.
'un--delete'(V0, V1, V2) -> case V2 of {'Idris.Data.NameMap.Empty'} -> (fun () -> {'Idris.Data.NameMap.Empty'} end()); {'Idris.Data.NameMap.M', E0, E1} -> (fun (V3, V4) -> case V3 of 0 -> ('case--delete-10147'('erased', V4, V1, ('un--treeDelete'('erased', 0, V1, V4)))); _ -> begin (V5 = (V3 - 1)), ('case--delete-10184'('erased', V5, V4, V1, ('un--treeDelete'('erased', (1 + V5), V1, V4)))) end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--branch7'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14) -> {'Idris.Data.NameMap.Branch3', {'Idris.Data.NameMap.Branch3', V2, V3, V4, V5, V6}, V7, {'Idris.Data.NameMap.Branch2', V8, V9, V10}, V11, {'Idris.Data.NameMap.Branch2', V12, V13, V14}}.
'un--branch6'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12) -> {'Idris.Data.NameMap.Branch3', {'Idris.Data.NameMap.Branch2', V2, V3, V4}, V5, {'Idris.Data.NameMap.Branch2', V6, V7, V8}, V9, {'Idris.Data.NameMap.Branch2', V10, V11, V12}}.
'un--branch5'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> {'Idris.Data.NameMap.Branch2', {'Idris.Data.NameMap.Branch2', V2, V3, V4}, V5, {'Idris.Data.NameMap.Branch3', V6, V7, V8, V9, V10}}.
'un--branch4'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> {'Idris.Data.NameMap.Branch2', {'Idris.Data.NameMap.Branch2', V2, V3, V4}, V5, {'Idris.Data.NameMap.Branch2', V6, V7, V8}}.