Packages
idris2

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.Text.PrettyPrint.Prettyprinter.Doc.erl
Raw
src/Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc.erl

-module('Idris.Idris2.Text.PrettyPrint.Prettyprinter.Doc').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'case--case block in case block in layoutSmart,fits,go-6591'/13,
  'case--case block in layoutSmart,fits,go-6492'/10,
  'case--layoutSmart,fits,go-6446'/11,
  'case--layoutSmart,fits,minNestingLevel-6402'/8,
  'case--case block in fits-6311'/3,
  'case--fits-6293'/4,
  'case--layoutWadlerLeijen,best-6122'/9,
  'case--layoutWadlerLeijen,selectNicer-6043'/9,
  'case--case block in round-5961'/2,
  'case--case block in round-5937'/2,
  'case--round-5925'/2,
  'case--removeTrailingWhitespace,go-5804'/10,
  'case--removeTrailingWhitespace,go-5706'/4,
  'case--dropWhileEnd-5542'/5,
  'case--alterAnnotationsS,go-5009'/5,
  'case--alterAnnotationsS,go-4950'/7,
  'case--case block in unsafeTextWithoutNewLines-3372'/5,
  'case--unsafeTextWithoutNewLines-3354'/3,
  'case--plural-3245'/7,
  'case--fillBreak-3034'/5,
  'case--group-2984'/3,
  'case--group-2950'/4,
  'case--changesUponFlattening-2761'/4,
  'case--case block in spaces-2573'/3,
  'case--spaces-2553'/3,
  'nested--5668-6018--in--un--selectNicer'/8,
  'nested--6403-6702--in--un--scan'/4,
  'nested--5230-5578--in--un--prependEmptyLines'/3,
  'nested--6061-6397--in--un--minNestingLevel'/8,
  'nested--5668-6017--in--un--initialIndentation'/5,
  'nested--6061-6398--in--un--go'/10,
  'nested--5230-5580--in--un--go'/3,
  'nested--4585-4899--in--un--go'/5,
  'nested--6053-6391--in--un--fits'/8,
  'nested--5230-5579--in--un--commitWhitespace'/4,
  'nested--3603-3963--in--un--catMaybes'/4,
  'nested--5668-6019--in--un--best'/7,
  'nested--6061-6396--in--un--availableWidth'/8,
  'dn--un--show_Show__(Doc $ann)'/2,
  'dn--un--showPrec_Show__(Doc $ann)'/3,
  'dn--un--pretty_Pretty_prettyListMaybe_(List (Maybe $a))'/4,
  'dn--un--pretty_Pretty__String'/2,
  'dn--un--pretty_Pretty__Nat'/2,
  'dn--un--pretty_Pretty__Integer'/2,
  'dn--un--pretty_Pretty__Int'/2,
  'dn--un--pretty_Pretty__Double'/2,
  'dn--un--pretty_Pretty__Char'/2,
  'dn--un--pretty_Pretty__Bool'/2,
  'dn--un--pretty_Pretty__Bits8'/2,
  'dn--un--pretty_Pretty__Bits64'/2,
  'dn--un--pretty_Pretty__Bits32'/2,
  'dn--un--pretty_Pretty__Bits16'/2,
  'dn--un--pretty_Pretty__(|Unit,MkUnit|)'/2,
  'dn--un--pretty_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'/5,
  'dn--un--pretty_Pretty__(Maybe $a)'/4,
  'dn--un--pretty_Pretty__(List $a)'/4,
  'dn--un--prettyPrec_Pretty_prettyListMaybe_(List (Maybe $a))'/5,
  'dn--un--prettyPrec_Pretty__String'/3,
  'dn--un--prettyPrec_Pretty__Nat'/3,
  'dn--un--prettyPrec_Pretty__Integer'/3,
  'dn--un--prettyPrec_Pretty__Int'/3,
  'dn--un--prettyPrec_Pretty__Double'/3,
  'dn--un--prettyPrec_Pretty__Char'/3,
  'dn--un--prettyPrec_Pretty__Bool'/3,
  'dn--un--prettyPrec_Pretty__Bits8'/3,
  'dn--un--prettyPrec_Pretty__Bits64'/3,
  'dn--un--prettyPrec_Pretty__Bits32'/3,
  'dn--un--prettyPrec_Pretty__Bits16'/3,
  'dn--un--prettyPrec_Pretty__(|Unit,MkUnit|)'/3,
  'dn--un--prettyPrec_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'/6,
  'dn--un--prettyPrec_Pretty__(Maybe $a)'/5,
  'dn--un--prettyPrec_Pretty__(List $a)'/5,
  'dn--un--neutral_Monoid__(Doc $ann)'/1,
  'dn--un--map_Functor__SimpleDocStream'/4,
  'dn--un--map_Functor__FlattenResult'/4,
  'dn--un--map_Functor__Doc'/4,
  'dn--un--fromString_FromString__(Doc $ann)'/2,
  'dn--un--__Impl_Show_(Doc $ann)'/1,
  'dn--un--__Impl_Semigroup_(Doc $ann)'/3,
  'dn--un--__Impl_Pretty_String'/0,
  'dn--un--__Impl_Pretty_Nat'/0,
  'dn--un--__Impl_Pretty_Integer'/0,
  'dn--un--__Impl_Pretty_Int'/0,
  'dn--un--__Impl_Pretty_Double'/0,
  'dn--un--__Impl_Pretty_Char'/0,
  'dn--un--__Impl_Pretty_Bool'/0,
  'dn--un--__Impl_Pretty_Bits8'/0,
  'dn--un--__Impl_Pretty_Bits64'/0,
  'dn--un--__Impl_Pretty_Bits32'/0,
  'dn--un--__Impl_Pretty_Bits16'/0,
  'dn--un--__Impl_Pretty_(|Unit,MkUnit|)'/0,
  'dn--un--__Impl_Pretty_(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'/3,
  'dn--un--__Impl_Pretty_(Maybe $a)'/2,
  'dn--un--__Impl_Pretty_(List $a)'/2,
  'dn--un--__Impl_Monoid_(Doc $ann)'/1,
  'dn--un--__Impl_Functor_SimpleDocStream'/4,
  'dn--un--__Impl_Functor_Doc'/4,
  'dn--un--__Impl_FromString_(Doc $ann)'/2,
  'dn--un--<+>_Semigroup__(Doc $ann)'/3,
  'un--width'/3,
  'un--vsep'/2,
  'un--vcat'/2,
  'un--unsafeTextWithoutNewLines'/2,
  'un--unAnnotateS'/3,
  'un--unAnnotate'/3,
  'un--tupled'/2,
  'un--traverse'/6,
  'un--textSpaces'/1,
  'un--surround'/4,
  'un--spaces'/2,
  'un--softline\x{27}'/1,
  'un--softline'/1,
  'un--sep'/2,
  'un--round'/1,
  'un--renderShow'/2,
  'un--removeTrailingWhitespace'/2,
  'un--remainingWidth'/4,
  'un--reAnnotateS'/4,
  'un--reAnnotate'/4,
  'un--punctuate'/3,
  'un--prettyPrec'/3,
  'un--prettyListMaybe'/2,
  'un--pretty'/3,
  'un--plural'/6,
  'un--pageWidth'/2,
  'un--nesting'/2,
  'un--nest'/3,
  'un--list'/2,
  'un--line\x{27}'/1,
  'un--line'/1,
  'un--layoutWadlerLeijen'/4,
  'un--layoutUnbounded'/2,
  'un--layoutSmart'/2,
  'un--layoutPretty'/2,
  'un--layoutCompact'/2,
  'un--internalError'/1,
  'un--indent'/3,
  'un--hsep'/2,
  'un--hcat'/2,
  'un--hardline'/1,
  'un--hang'/3,
  'un--group'/2,
  'un--fuse'/3,
  'un--flatten'/2,
  'un--flatAlt'/3,
  'un--fits'/3,
  'un--fillSep'/2,
  'un--fillCat'/2,
  'un--fillBreak'/3,
  'un--fill'/3,
  'un--encloseSep'/5,
  'un--enclose'/4,
  'un--emptyDoc'/1,
  'un--dropWhileEnd'/3,
  'un--defaultPageWidth'/0,
  'un--defaultLayoutOptions'/0,
  'un--concatWith'/3,
  'un--column'/2,
  'un--collectAnnotations'/5,
  'un--changesUponFlattening'/2,
  'un--cat'/2,
  'un--annotate'/3,
  'un--alterAnnotationsS'/4,
  'un--alterAnnotations'/4,
  'un--align'/2,
  'un--FittingPredicate'/1,
  'un--<++>'/3
]).
'case--case block in case block in layoutSmart,fits,go-6591'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12) -> case V12 of 0 -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, V10)), V9)); 1 -> 0; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in layoutSmart,fits,go-6492'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V8 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V10, V11) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V9, 1)), (V11()))) end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V12, V13, V14) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V9, V12)), (V14()))) end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V15, V16) -> begin (V17 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V15, V16}), ('case--case block in case block in layoutSmart,fits,go-6591'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V16, V15, V17, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(('nested--6061-6397--in--un--minNestingLevel'('erased', V1, V2, V3, V4, V5, V6, V7)), V15)))) end end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V18, V19) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V19)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V20) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V20)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--layoutSmart,fits,go-6446'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10) -> case V10 of 0 -> 1; 1 -> case V8 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V11, V12) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V9, 1)), (V12()))) end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V13, V14, V15) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V9, V13)), (V15()))) end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V16, V17) -> begin (V18 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V16, V17}), ('case--case block in case block in layoutSmart,fits,go-6591'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V17, V16, V18, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(('nested--6061-6397--in--un--minNestingLevel'('erased', V1, V2, V3, V4, V5, V6, V7)), V16)))) end end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V19, V20) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V20)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V21) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V4, V5, V6, V7, V9, V21)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--layoutSmart,fits,minNestingLevel-6402'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V8) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V8, V6)) end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> V6 end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in fits-6311'(V0, V1, V2) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V3, V4) -> ('un--fits'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, 1)), (V4()))) end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V5, V6, V7) -> ('un--fits'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, V5)), (V7()))) end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V8, V9) -> 0 end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V10, V11) -> ('un--fits'('erased', V2, V11)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V12) -> ('un--fits'('erased', V2, V12)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fits-6293'(V0, V1, V2, V3) -> case V3 of 0 -> 1; 1 -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V4, V5) -> ('un--fits'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, 1)), (V5()))) end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V6, V7, V8) -> ('un--fits'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, V6)), (V8()))) end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V9, V10) -> 0 end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V11, V12) -> ('un--fits'('erased', V2, V12)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V13) -> ('un--fits'('erased', V2, V13)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--layoutWadlerLeijen,best-6122'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E0, E1} -> (fun (V9, V10) -> 0 end(E0, E1)); _ -> V5 end.
'case--layoutWadlerLeijen,selectNicer-6043'(V0, V1, V2, V3, V4, V5, V6, V7, V8) -> case V8 of 0 -> V5; 1 -> (V4()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in round-5961'(V0, V1) -> case V1 of 0 -> ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Double_Int'(('Idris.Idris2.Prelude.Types':'un--ceiling'(V0)))); 1 -> ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Double_Int'(('Idris.Idris2.Prelude.Types':'un--floor'(V0)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in round-5937'(V0, V1) -> case V1 of 0 -> ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Double_Int'(('Idris.Idris2.Prelude.Types':'un--floor'(V0)))); 1 -> ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Double_Int'(('Idris.Idris2.Prelude.Types':'un--ceiling'(V0)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--round-5925'(V0, V1) -> case V1 of 0 -> ('case--case block in round-5937'(V0, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Double'(('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Double'(V0, ('Idris.Idris2.Prelude.Types':'un--floor'(V0)))), 0.5)))); 1 -> ('case--case block in round-5961'(V0, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Double'(('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Double'(('Idris.Idris2.Prelude.Types':'un--ceiling'(V0)), V0)), 0.5)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--removeTrailingWhitespace,go-5804'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> case V9 of 0 -> ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', V2, ((V1 + V5) rem 9223372036854775808)}, (V3()))); 1 -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__Maybe'('erased', 'erased', ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', [], V8}, (V3()))), fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', ('nested--5230-5579--in--un--commitWhitespace'('erased', V2, V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V7, V6, fun () -> V10 end})))) end)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--removeTrailingWhitespace,go-5706'(V0, V1, V2, V3) -> case V3 of 0 -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V4) -> fun (V5) -> fun (V6) -> fun (V7) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V6, V7)) end end end end, fun (V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', V8} end, ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AnnotationLevel', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V1, 1))}, V2)))); 1 -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V9) -> fun (V10) -> fun (V11) -> fun (V12) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V11, V12)) end end end end, fun (V13) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', V13} end, ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', [], 0}, V2)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--dropWhileEnd-5542'(V0, V1, V2, V3, V4) -> case V4 of 0 -> []; 1 -> [V2 | V3]; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--alterAnnotationsS,go-5009'(V0, V1, V2, V3, V4) -> case V4 of [] -> {'Idris.Prelude.Types.Nothing'}; [E0 | E1] -> (fun (V5, V6) -> case V5 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.DontRemove'} -> (fun () -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V9, V10)) end end end end, fun (V11) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', V11} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V6, V3)))) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Remove'} -> (fun () -> ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V6, V3)) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--alterAnnotationsS,go-4950'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('nested--4585-4899--in--un--go'('erased', 'erased', V2, [{'Idris.Text.PrettyPrint.Prettyprinter.Doc.Remove'} | V5], V4)) end()); {'Idris.Prelude.Types.Just', E0} -> (fun (V7) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V8) -> fun (V9) -> fun (V10) -> fun (V11) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V10, V11)) end end end end, fun (V12) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', V7, V12} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, [{'Idris.Text.PrettyPrint.Prettyprinter.Doc.DontRemove'} | V5], V4)))) end(E0)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in unsafeTextWithoutNewLines-3372'(V0, V1, V2, V3, V4) -> case V4 of 0 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V2}; 1 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types.Strings':'un--length'(V3)))), V3}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--unsafeTextWithoutNewLines-3354'(V0, V1, V2) -> case V1 of <<""/utf8>> -> case V2 of {'Idris.Data.Strings.StrNil'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end()); _ -> case V2 of {'Idris.Data.Strings.StrCons', E2, E3} -> (fun (V3, V4) -> begin (V5 = (fun (Bin1, Bin2) -> <<Bin1/binary, Bin2/binary>> end(('unicode':'characters_to_binary'([V3 | []])), V4))), ('case--case block in unsafeTextWithoutNewLines-3372'('erased', V4, V3, V5, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__String'(V4, <<""/utf8>>)))) end end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end; _ -> case V2 of {'Idris.Data.Strings.StrCons', E0, E1} -> (fun (V6, V7) -> begin (V8 = (fun (Bin1, Bin2) -> <<Bin1/binary, Bin2/binary>> end(('unicode':'characters_to_binary'([V6 | []])), V7))), ('case--case block in unsafeTextWithoutNewLines-3372'('erased', V7, V6, V8, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__String'(V7, <<""/utf8>>)))) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end.
'case--plural-3245'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of 0 -> V5; 1 -> V4; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--fillBreak-3034'(V0, V1, V2, V3, V4) -> case V4 of 0 -> ('un--nest'('erased', V2, ('un--line\x{27}'('erased')))); 1 -> ('un--spaces'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, V3)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--group-2984'(V0, V1, V2) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E0} -> (fun (V3) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> V3 end, fun () -> V1 end} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> V1 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} -> (fun () -> V1 end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--group-2950'(V0, V1, V2, V3) -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E0} -> (fun (V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> V4 end, V2} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', V1, V2} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} -> (fun () -> (V2()) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--changesUponFlattening-2761'(V0, V1, V2, V3) -> case V3 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V4, V5) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} end()); _ -> case V5 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} end()); _ -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E2} -> (fun (V6) -> case V5 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E3} -> (fun (V7) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V6, V7}} end(E3)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V6, V1}} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> case V5 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E4} -> (fun (V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V2, V8}} end(E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--case block in spaces-2573'(V0, V1, V2) -> case V2 of 0 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', $ }; 1 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', V1, ('un--textSpaces'(V1))}; _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'case--spaces-2553'(V0, V1, V2) -> case V2 of 0 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'}; 1 -> ('case--case block in spaces-2573'('erased', V1, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V1, 1)))); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--5668-6018--in--un--selectNicer'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('case--layoutWadlerLeijen,selectNicer-6043'('erased', V1, V2, V3, V7, V6, V5, V4, ((((V3(V4))(V5))(('nested--5668-6017--in--un--initialIndentation'('erased', V1, V2, V3, (V7())))))(V6)))).
'nested--6403-6702--in--un--scan'(V0, V1, V2, V3) -> case V3 of [] -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'}; [E0 | E1] -> (fun (V4, V5) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, V5)) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E2} -> (fun (V6) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V6, fun () -> ('nested--6403-6702--in--un--scan'('erased', V1, ((V2 + 1) rem 9223372036854775808), V5)) end} end(E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E3, E4} -> (fun (V7, V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V7, V8, fun () -> ('nested--6403-6702--in--un--scan'('erased', V1, ((V2 + V7) rem 9223372036854775808), V5)) end} end(E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E5, E6} -> (fun (V9, V10) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [(V9()) | V5])) end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', 0, ('nested--6403-6702--in--un--scan'('erased', V1, 0, V5))} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E7, E8} -> (fun (V11, V12) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [V11 | [V12 | V5]])) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E9, E10} -> (fun (V13, V14) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [V14 | V5])) end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E11, E12} -> (fun (V15, V16) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [(V16()) | V5])) end(E11, E12)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E13} -> (fun (V17) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [(V17(V2)) | V5])) end(E13)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E14} -> (fun (V18) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [(V18({'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'})) | V5])) end(E14)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E15} -> (fun (V19) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [(V19(0)) | V5])) end(E15)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E16, E17} -> (fun (V20, V21) -> ('nested--6403-6702--in--un--scan'('erased', V1, V2, [V21 | V5])) end(E16, E17)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--5230-5578--in--un--prependEmptyLines'(V0, V1, V2) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', fun (V3) -> fun (V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', 0, V4} end end, V2, V1)).
'nested--6061-6397--in--un--minNestingLevel'(V0, V1, V2, V3, V4, V5, V6, V7) -> case V5 of {'Idris.Prelude.Types.Just', E0} -> (fun (V8) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V8, V6)) end(E0)); {'Idris.Prelude.Types.Nothing'} -> (fun () -> V6 end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--5668-6017--in--un--initialIndentation'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E0, E1} -> (fun (V5, V6) -> {'Idris.Prelude.Types.Just', V5} end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E2, E3} -> (fun (V7, V8) -> ('nested--5668-6017--in--un--initialIndentation'('erased', V1, V2, V3, V8)) end(E2, E3)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E4} -> (fun (V9) -> ('nested--5668-6017--in--un--initialIndentation'('erased', V1, V2, V3, V9)) end(E4)); _ -> {'Idris.Prelude.Types.Nothing'} end.
'nested--6061-6398--in--un--go'(V0, V1, V2, V3, V4, V5, V6, V7, V8, V9) -> begin (V10 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', V2, V1}), ('case--layoutSmart,fits,go-6446'('erased', V1, V2, V10, V4, V5, V6, V7, V9, V8, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V8, 0)))) end.
'nested--5230-5580--in--un--go'(V0, V1, V2) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AnnotationLevel', E0} -> (fun (V3) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'})) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E1, E2} -> (fun (V4, V5) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V6) -> fun (V7) -> fun (V8) -> fun (V9) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V8, V9)) end end end end, fun (V10) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V4, ('Idris.Idris2.Builtin':'un--delay'('erased', V10))} end, ('nested--5230-5580--in--un--go'('erased', V1, (V5()))))) end(E1, E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E3, E4, E5} -> (fun (V11, V12, V13) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V14) -> fun (V15) -> fun (V16) -> fun (V17) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V16, V17)) end end end end, fun (V18) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V11, V12, ('Idris.Idris2.Builtin':'un--delay'('erased', V18))} end, ('nested--5230-5580--in--un--go'('erased', V1, (V13()))))) end(E3, E4, E5)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E6, E7} -> (fun (V19, V20) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V21) -> fun (V22) -> fun (V23) -> fun (V24) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V23, V24)) end end end end, fun (V25) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V19, V25} end, ('nested--5230-5580--in--un--go'('erased', V1, V20)))) end(E6, E7)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E8, E9} -> (fun (V26, V27) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V28) -> fun (V29) -> fun (V30) -> fun (V31) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V30, V31)) end end end end, fun (V32) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', V26, V32} end, ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AnnotationLevel', ((V3 + 1) rem 9223372036854775808)}, V27)))) end(E8, E9)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E10} -> (fun (V33) -> ('case--removeTrailingWhitespace,go-5706'('erased', V3, V33, ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V3, 1)))) end(E10)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', E11, E12} -> (fun (V34, V35) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'})) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E13, E14} -> (fun (V36, V37) -> case V36 of $  -> ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', V34, ((V35 + 1) rem 9223372036854775808)}, (V37()))); _ -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__Maybe'('erased', 'erased', ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', [], 0}, (V37()))), fun (V38) -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', ('nested--5230-5579--in--un--commitWhitespace'('erased', V34, V35, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V36, fun () -> V38 end})))) end)) end end(E13, E14)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E15, E16, E17} -> (fun (V39, V40, V41) -> begin (V43 = ('Idris.Idris2.Prelude.Types':'un--pack'(('un--dropWhileEnd'('erased', fun (V42) -> ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Char'(V42, $ )) end, ('Idris.Idris2.Prelude.Types':'un--unpack'(V40))))))), begin (V44 = ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types.Strings':'un--length'(V43))))), begin (V45 = ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V39, V44))), ('case--removeTrailingWhitespace,go-5804'('erased', V35, V34, V41, V40, V39, V43, V44, V45, ('Idris.Idris2.Prelude.EqOrd':'dn--un--==_Eq__Int'(V44, 0)))) end end end end(E15, E16, E17)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E18, E19} -> (fun (V46, V47) -> ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', [V46 | V34], 0}, V47)) end(E18, E19)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E20, E21} -> (fun (V48, V49) -> ('Idris.Idris2.Prelude.Types':'dn--un-->>=_Monad__Maybe'('erased', 'erased', ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AnnotationLevel', 1}, V49)), fun (V50) -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', ('nested--5230-5579--in--un--commitWhitespace'('erased', V34, V35, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', V48, V50})))) end)) end(E20, E21)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E22} -> (fun (V51) -> {'Idris.Prelude.Types.Nothing'} end(E22)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--4585-4899--in--un--go'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__Maybe'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'})) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V5, V6) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V7) -> fun (V8) -> fun (V9) -> fun (V10) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V9, V10)) end end end end, fun (V11) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V5, ('Idris.Idris2.Builtin':'un--delay'('erased', V11))} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V3, (V6()))))) end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V12, V13, V14) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V15) -> fun (V16) -> fun (V17) -> fun (V18) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V17, V18)) end end end end, fun (V19) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V12, V13, ('Idris.Idris2.Builtin':'un--delay'('erased', V19))} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V3, (V14()))))) end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V20, V21) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V22) -> fun (V23) -> fun (V24) -> fun (V25) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V24, V25)) end end end end, fun (V26) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V20, V26} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V3, V21)))) end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V27, V28) -> ('case--alterAnnotationsS,go-4950'('erased', 'erased', V2, V27, V28, V3, (V2(V27)))) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V29) -> case V3 of [] -> {'Idris.Prelude.Types.Nothing'}; [E10 | E11] -> (fun (V30, V31) -> case V30 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.DontRemove'} -> (fun () -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', fun (V32) -> fun (V33) -> fun (V34) -> fun (V35) -> ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__Maybe'('erased', 'erased', V34, V35)) end end end end, fun (V36) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', V36} end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V31, V29)))) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Remove'} -> (fun () -> ('nested--4585-4899--in--un--go'('erased', 'erased', V2, V31, V29)) end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E10, E11)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--6053-6391--in--un--fits'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('nested--6061-6398--in--un--go'('erased', V1, V2, V3, V7, V6, V5, V4, ('nested--6061-6396--in--un--availableWidth'('erased', V1, V2, V3, V7, V6, V5, V4)), V7)).
'nested--5230-5579--in--un--commitWhitespace'(V0, V1, V2, V3) -> case V1 of [] -> case V2 of 0 -> V3; 1 -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', $ , fun () -> V3 end}; _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V2, ('un--textSpaces'(V2)), fun () -> V3 end} end; [E0 | E1] -> (fun (V4, V5) -> ('nested--5230-5578--in--un--prependEmptyLines'('erased', V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', ((V4 + V2) rem 9223372036854775808), V3})) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--3603-3963--in--un--catMaybes'(V0, V1, V2, V3) -> case V3 of [] -> []; [E0 | E1] -> (fun (V4, V5) -> case V4 of {'Idris.Prelude.Types.Nothing'} -> (fun () -> ('nested--3603-3963--in--un--catMaybes'('erased', 'erased', V2, V5)) end()); {'Idris.Prelude.Types.Just', E2} -> (fun (V6) -> [V6 | ('nested--3603-3963--in--un--catMaybes'('erased', 'erased', V2, V5))] end(E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--5668-6019--in--un--best'(V0, V1, V2, V3, V4, V5, V6) -> case V6 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nil'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.UndoAnn', E0} -> (fun (V7) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, V7))} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', E1, E2, E3} -> (fun (V8, V9, V10) -> case V9 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, V10)) end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E4} -> (fun (V11) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V11, fun () -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, ((V5 + 1) rem 9223372036854775808), V10)) end} end(E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E5, E6} -> (fun (V12, V13) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V12, V13, fun () -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, ((V5 + V12) rem 9223372036854775808), V10)) end} end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} -> (fun () -> begin (V14 = ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V8, V8, V10))), begin (V17 = case V14 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> 0 end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E7, E8} -> (fun (V15, V16) -> 0 end(E7, E8)); _ -> V8 end), {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V17, V14} end end end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E9, E10} -> (fun (V18, V19) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V18()), V10})) end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E11, E12} -> (fun (V20, V21) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, V20, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, V21, V10}})) end(E11, E12)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E13, E14} -> (fun (V22, V23) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', ((V8 + V22) rem 9223372036854775808), V23, V10})) end(E13, E14)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E15, E16} -> (fun (V24, V25) -> begin (V26 = ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V24()), V10}))), begin (V27 = (('Idris.Idris2.Builtin':'un--delay'('erased', ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V25()), V10}))))())), ('nested--5668-6018--in--un--selectNicer'('erased', V1, V2, V3, V4, V5, V26, fun () -> V27 end)) end end end(E15, E16)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E17} -> (fun (V28) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V28(V5)), V10})) end(E17)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E18} -> (fun (V29) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V29(V2)), V10})) end(E18)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E19} -> (fun (V30) -> ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, (V30(V8)), V10})) end(E19)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E20, E21} -> (fun (V31, V32) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', V31, ('nested--5668-6019--in--un--best'('erased', V1, V2, V3, V4, V5, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', V8, V32, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.UndoAnn', V10}}))} end(E20, E21)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E1, E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'nested--6061-6396--in--un--availableWidth'(V0, V1, V2, V3, V4, V5, V6, V7) -> ('un--remainingWidth'(V2, V1, V7, V6)).
'dn--un--show_Show__(Doc $ann)'(V0, V1) -> (('un--renderShow'('erased', (('un--layoutPretty'('erased', ('un--defaultLayoutOptions'())))(V1))))(<<""/utf8>>)).
'dn--un--showPrec_Show__(Doc $ann)'(V0, V1, V2) -> ('dn--un--show_Show__(Doc $ann)'('erased', V2)).
'dn--un--pretty_Pretty_prettyListMaybe_(List (Maybe $a))'(V0, V1, V2, V3) -> ('dn--un--pretty_Pretty__(List $a)'('erased', 'erased', V2, ('nested--3603-3963--in--un--catMaybes'('erased', 'erased', V2, V3)))).
'dn--un--pretty_Pretty__String'(V0, V1) -> ('un--vsep'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', fun (V2) -> ('un--unsafeTextWithoutNewLines'('erased', V2)) end, ('Idris.Idris2.Data.Strings':'un--lines'(V1)))))).
'dn--un--pretty_Pretty__Nat'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V1)))).
'dn--un--pretty_Pretty__Integer'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Integer'(V1)))).
'dn--un--pretty_Pretty__Int'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Int'(V1)))).
'dn--un--pretty_Pretty__Double'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Double'(V1)))).
'dn--un--pretty_Pretty__Char'(V0, V1) -> case V1 of $\x{a} -> ('un--line'('erased')); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V1} end.
'dn--un--pretty_Pretty__Bool'(V0, V1) -> case V1 of 0 -> ('dn--un--pretty_Pretty__String'('erased', <<"True"/utf8>>)); 1 -> ('dn--un--pretty_Pretty__String'('erased', <<"False"/utf8>>)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--pretty_Pretty__Bits8'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Bits8'(V1)))).
'dn--un--pretty_Pretty__Bits64'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Bits64'(V1)))).
'dn--un--pretty_Pretty__Bits32'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Bits32'(V1)))).
'dn--un--pretty_Pretty__Bits16'(V0, V1) -> ('un--unsafeTextWithoutNewLines'('erased', ('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Bits16'(V1)))).
'dn--un--pretty_Pretty__(|Unit,MkUnit|)'(V0, V1) -> ('dn--un--pretty_Pretty__String'('erased', <<"()"/utf8>>)).
'dn--un--pretty_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Builtin.MkPair', E0, E1} -> (fun (V5, V6) -> ('un--tupled'('erased', [case ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V3)) of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E2, E3} -> (fun (V7, V8) -> ((V7('erased'))(V5)) end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end | [case ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V3)) of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E4, E5} -> (fun (V9, V10) -> ((V9('erased'))(V6)) end(E4, E5)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end | []]])) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--pretty_Pretty__(Maybe $a)'(V0, V1, V2, V3) -> ('Idris.Idris2.Prelude.Types':'un--maybe'('erased', 'erased', fun () -> ('dn--un--neutral_Monoid__(Doc $ann)'('erased')) end, fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E0, E1} -> (fun (V4, V5) -> fun (V6) -> ((V4('erased'))(V6)) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end, V3)).
'dn--un--pretty_Pretty__(List $a)'(V0, V1, V2, V3) -> ('un--align'('erased', ('un--list'('erased', ('Idris.Idris2.Prelude.Types':'dn--un--map_Functor__List'('erased', 'erased', case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E0, E1} -> (fun (V4, V5) -> fun (V6) -> ((V4('erased'))(V6)) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, V3)))))).
'dn--un--prettyPrec_Pretty_prettyListMaybe_(List (Maybe $a))'(V0, V1, V2, V3, V4) -> ('dn--un--pretty_Pretty_prettyListMaybe_(List (Maybe $a))'('erased', 'erased', V2, V4)).
'dn--un--prettyPrec_Pretty__String'(V0, V1, V2) -> ('dn--un--pretty_Pretty__String'('erased', V2)).
'dn--un--prettyPrec_Pretty__Nat'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Nat'('erased', V2)).
'dn--un--prettyPrec_Pretty__Integer'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Integer'('erased', V2)).
'dn--un--prettyPrec_Pretty__Int'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Int'('erased', V2)).
'dn--un--prettyPrec_Pretty__Double'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Double'('erased', V2)).
'dn--un--prettyPrec_Pretty__Char'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Char'('erased', V2)).
'dn--un--prettyPrec_Pretty__Bool'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Bool'('erased', V2)).
'dn--un--prettyPrec_Pretty__Bits8'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Bits8'('erased', V2)).
'dn--un--prettyPrec_Pretty__Bits64'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Bits64'('erased', V2)).
'dn--un--prettyPrec_Pretty__Bits32'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Bits32'('erased', V2)).
'dn--un--prettyPrec_Pretty__Bits16'(V0, V1, V2) -> ('dn--un--pretty_Pretty__Bits16'('erased', V2)).
'dn--un--prettyPrec_Pretty__(|Unit,MkUnit|)'(V0, V1, V2) -> ('dn--un--pretty_Pretty__(|Unit,MkUnit|)'('erased', V2)).
'dn--un--prettyPrec_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'(V0, V1, V2, V3, V4, V5) -> ('dn--un--pretty_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', 'erased', V3, V5)).
'dn--un--prettyPrec_Pretty__(Maybe $a)'(V0, V1, V2, V3, V4) -> ('dn--un--pretty_Pretty__(Maybe $a)'('erased', 'erased', V2, V4)).
'dn--un--prettyPrec_Pretty__(List $a)'(V0, V1, V2, V3, V4) -> ('dn--un--pretty_Pretty__(List $a)'('erased', 'erased', V2, V4)).
'dn--un--neutral_Monoid__(Doc $ann)'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'}.
'dn--un--map_Functor__SimpleDocStream'(V0, V1, V2, V3) -> ('un--reAnnotateS'('erased', 'erased', V2, V3)).
'dn--un--map_Functor__FlattenResult'(V0, V1, V2, V3) -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', E0} -> (fun (V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', (V2(V4))} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'dn--un--map_Functor__Doc'(V0, V1, V2, V3) -> ('un--reAnnotate'('erased', 'erased', V2, V3)).
'dn--un--fromString_FromString__(Doc $ann)'(V0, V1) -> ('dn--un--pretty_Pretty__String'('erased', V1)).
'dn--un--__Impl_Show_(Doc $ann)'(V0) -> {'Idris.Prelude.Show.dn--un--__mkShow', fun (V1) -> ('dn--un--show_Show__(Doc $ann)'('erased', V1)) end, fun (V2) -> fun (V3) -> ('dn--un--showPrec_Show__(Doc $ann)'('erased', V2, V3)) end end}.
'dn--un--__Impl_Semigroup_(Doc $ann)'(V0, V1, V2) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, V2)).
'dn--un--__Impl_Pretty_String'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__String'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__String'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Nat'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Nat'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Nat'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Integer'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Integer'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Integer'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Int'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Int'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Int'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Double'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Double'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Double'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Char'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Char'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Char'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Bool'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Bool'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Bool'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Bits8'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Bits8'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Bits8'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Bits64'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Bits64'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Bits64'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Bits32'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Bits32'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Bits32'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_Bits16'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__Bits16'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__Bits16'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_(|Unit,MkUnit|)'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V0) -> fun (V1) -> ('dn--un--pretty_Pretty__(|Unit,MkUnit|)'('erased', V1)) end end, fun (V2) -> fun (V3) -> fun (V4) -> ('dn--un--prettyPrec_Pretty__(|Unit,MkUnit|)'('erased', V3, V4)) end end end}.
'dn--un--__Impl_Pretty_(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'(V0, V1, V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V3) -> fun (V4) -> ('dn--un--pretty_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', 'erased', V2, V4)) end end, fun (V5) -> fun (V6) -> fun (V7) -> ('dn--un--prettyPrec_Pretty__(|((Builtin.Pair $a) $b),((Builtin.MkPair $a) $b)|)'('erased', 'erased', 'erased', V2, V6, V7)) end end end}.
'dn--un--__Impl_Pretty_(Maybe $a)'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V2) -> fun (V3) -> ('dn--un--pretty_Pretty__(Maybe $a)'('erased', 'erased', V1, V3)) end end, fun (V4) -> fun (V5) -> fun (V6) -> ('dn--un--prettyPrec_Pretty__(Maybe $a)'('erased', 'erased', V1, V5, V6)) end end end}.
'dn--un--__Impl_Pretty_(List $a)'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V2) -> fun (V3) -> ('dn--un--pretty_Pretty__(List $a)'('erased', 'erased', V1, V3)) end end, fun (V4) -> fun (V5) -> fun (V6) -> ('dn--un--prettyPrec_Pretty__(List $a)'('erased', 'erased', V1, V5, V6)) end end end}.
'dn--un--__Impl_Monoid_(Doc $ann)'(V0) -> {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', fun (V1) -> fun (V2) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, V2)) end end, ('dn--un--neutral_Monoid__(Doc $ann)'('erased'))}.
'dn--un--__Impl_Functor_SimpleDocStream'(V0, V1, V2, V3) -> ('dn--un--map_Functor__SimpleDocStream'('erased', 'erased', V2, V3)).
'dn--un--__Impl_Functor_Doc'(V0, V1, V2, V3) -> ('dn--un--map_Functor__Doc'('erased', 'erased', V2, V3)).
'dn--un--__Impl_FromString_(Doc $ann)'(V0, V1) -> ('dn--un--fromString_FromString__(Doc $ann)'('erased', V1)).
'dn--un--<+>_Semigroup__(Doc $ann)'(V0, V1, V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V1, V2}.
'un--width'(V0, V1, V2) -> ('un--column'('erased', fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, ('un--column'('erased', fun (V4) -> (V2(('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V4, V3)))) end)))) end)).
'un--vsep'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, ('un--line'('erased')))), V3)) end end, V1)).
'un--vcat'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, ('un--line\x{27}'('erased')))), V3)) end end, V1)).
'un--unsafeTextWithoutNewLines'(V0, V1) -> ('case--unsafeTextWithoutNewLines-3354'('erased', V1, ('Idris.Idris2.Data.Strings':'un--strM'(V1)))).
'un--unAnnotateS'(V0, V1, V2) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V3, V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V3, fun () -> ('un--unAnnotateS'('erased', 'erased', (V4()))) end} end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V5, V6, V7) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V5, V6, fun () -> ('un--unAnnotateS'('erased', 'erased', (V7()))) end} end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V8, V9) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V8, ('un--unAnnotateS'('erased', 'erased', V9))} end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V10, V11) -> ('un--unAnnotateS'('erased', 'erased', V11)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V12) -> ('un--unAnnotateS'('erased', 'erased', V12)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--unAnnotate'(V0, V1, V2) -> ('un--alterAnnotations'('erased', 'erased', fun (V3) -> [] end, V2)).
'un--tupled'(V0, V1) -> ('un--group'('erased', ('un--encloseSep'('erased', ('un--flatAlt'('erased', fun () -> ('dn--un--pretty_Pretty__String'('erased', <<"( "/utf8>>)) end, fun () -> ('dn--un--pretty_Pretty__String'('erased', <<"("/utf8>>)) end)), ('un--flatAlt'('erased', fun () -> ('dn--un--pretty_Pretty__String'('erased', <<" )"/utf8>>)) end, fun () -> ('dn--un--pretty_Pretty__String'('erased', <<")"/utf8>>)) end)), ('dn--un--pretty_Pretty__String'('erased', <<", "/utf8>>)), V1)))).
'un--traverse'(V0, V1, V2, V3, V4, V5) -> case V5 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E0, E1, E2} -> (fun (V6, V7, V8) -> ((V7('erased'))({'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'})) end(E0, E1, E2)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E3, E4} -> (fun (V9, V10) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E5, E6, E7} -> (fun (V11, V12, V13) -> V11 end(E5, E6, E7)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, fun (V14) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V9, ('Idris.Idris2.Builtin':'un--delay'('erased', V14))} end, ('un--traverse'('erased', 'erased', 'erased', V3, V4, (V10()))))) end(E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E8, E9, E10} -> (fun (V15, V16, V17) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E11, E12, E13} -> (fun (V18, V19, V20) -> V18 end(E11, E12, E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, fun (V21) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V15, V16, ('Idris.Idris2.Builtin':'un--delay'('erased', V21))} end, ('un--traverse'('erased', 'erased', 'erased', V3, V4, (V17()))))) end(E8, E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E14, E15} -> (fun (V22, V23) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E16, E17, E18} -> (fun (V24, V25, V26) -> V24 end(E16, E17, E18)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, fun (V27) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V22, V27} end, ('un--traverse'('erased', 'erased', 'erased', V3, V4, V23)))) end(E14, E15)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E19, E20} -> (fun (V28, V29) -> case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E21, E22, E23} -> (fun (V30, V31, V32) -> ((((V32('erased'))('erased'))(('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E24, E25, E26} -> (fun (V33, V34, V35) -> V33 end(E24, E25, E26)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, fun (V36) -> fun (V37) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', V36, V37} end end, (V4(V28))))))(('un--traverse'('erased', 'erased', 'erased', V3, V4, V29)))) end(E21, E22, E23)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E19, E20)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E27} -> (fun (V38) -> ('Idris.Idris2.Prelude.Interfaces':'un--<$>'('erased', 'erased', 'erased', case V3 of {'Idris.Prelude.Interfaces.dn--un--__mkApplicative', E28, E29, E30} -> (fun (V39, V40, V41) -> V39 end(E28, E29, E30)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, fun (V42) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', V42} end, ('un--traverse'('erased', 'erased', 'erased', V3, V4, V38)))) end(E27)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--textSpaces'(V0) -> ('Idris.Idris2.Data.String.Extra':'un--replicate'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Integer'(V0)), $ )).
'un--surround'(V0, V1, V2, V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, V1)), V3)).
'un--spaces'(V0, V1) -> ('case--spaces-2553'('erased', V1, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<=_Ord__Int'(V1, 0)))).
'un--softline\x{27}'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> ('dn--un--neutral_Monoid__(Doc $ann)'('erased')) end, fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} end}.
'un--softline'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', $ } end, fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} end}.
'un--sep'(V0, V1) -> ('un--group'('erased', ('un--vsep'('erased', V1)))).
'un--round'(V0) -> ('case--round-5925'(V0, ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Double'(V0, ('Idris.Idris2.Prelude.Num':'dn--un--fromInteger_Num__Double'(0)))))).
'un--renderShow'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> fun (V2) -> V2 end end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V3, V4) -> fun (V5) -> ('Idris.Idris2.Prelude.Types':'un--strCons'(V3, (('un--renderShow'('erased', (V4())))(V5)))) end end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V6, V7, V8) -> fun (V9) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V7, (('un--renderShow'('erased', (V8())))(V9)))) end end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V10, V11) -> fun (V12) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Types':'un--strCons'($\x{a}, ('un--textSpaces'(V10)))), (('un--renderShow'('erased', V11))(V12)))) end end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V13, V14) -> ('un--renderShow'('erased', V14)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V15) -> ('un--renderShow'('erased', V15)) end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--removeTrailingWhitespace'(V0, V1) -> ('Idris.Idris2.Data.Maybe':'un--fromMaybe'('erased', fun () -> ('un--internalError'('erased')) end, ('nested--5230-5580--in--un--go'('erased', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.RecordedWithespace', [], 0}, V1)))).
'un--remainingWidth'(V0, V1, V2, V3) -> begin (V4 = ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V0, V3))), begin (V5 = ('Idris.Idris2.Prelude.EqOrd':'dn--un--max_Ord__Int'(0, ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V0, ('un--round'(('Idris.Idris2.Prelude.Num':'dn--un--*_Num__Double'(('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Int_Double'(V0)), V1))))))))), begin (V6 = ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(((V2 + V5) rem 9223372036854775808), V3))), ('Idris.Idris2.Prelude.EqOrd':'dn--un--min_Ord__Int'(V4, V6)) end end end.
'un--reAnnotateS'(V0, V1, V2, V3) -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E0, E1} -> (fun (V4, V5) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', V4, fun () -> ('un--reAnnotateS'('erased', 'erased', V2, (V5()))) end} end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E2, E3, E4} -> (fun (V6, V7, V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', V6, V7, fun () -> ('un--reAnnotateS'('erased', 'erased', V2, (V8()))) end} end(E2, E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E5, E6} -> (fun (V9, V10) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', V9, ('un--reAnnotateS'('erased', 'erased', V2, V10))} end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E7, E8} -> (fun (V11, V12) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', (V2(V11)), ('un--reAnnotateS'('erased', 'erased', V2, V12))} end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E9} -> (fun (V13) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', ('un--reAnnotateS'('erased', 'erased', V2, V13))} end(E9)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--reAnnotate'(V0, V1, V2, V3) -> ('un--alterAnnotations'('erased', 'erased', fun (V4) -> ('Idris.Idris2.Prelude.Types':'dn--un--pure_Applicative__List'('erased', (V2(V4)))) end, V3)).
'un--punctuate'(V0, V1, V2) -> case V2 of [] -> []; [E0 | E1] -> (fun (V3, V4) -> case V4 of [] -> [V3 | []]; _ -> [('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V3, V1)) | ('un--punctuate'('erased', V1, V4))] end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--prettyPrec'(V0, V1, V2) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E0, E1} -> (fun (V3, V4) -> fun (V5) -> fun (V6) -> (((V4('erased'))(V5))(V6)) end end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--prettyListMaybe'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', fun (V2) -> fun (V3) -> ('dn--un--pretty_Pretty_prettyListMaybe_(List (Maybe $a))'('erased', 'erased', V1, V3)) end end, fun (V4) -> fun (V5) -> fun (V6) -> ('dn--un--prettyPrec_Pretty_prettyListMaybe_(List (Maybe $a))'('erased', 'erased', V1, V5, V6)) end end end}.
'un--pretty'(V0, V1, V2) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.dn--un--__mkPretty', E0, E1} -> (fun (V3, V4) -> fun (V5) -> ((V3('erased'))(V5)) end end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--plural'(V0, V1, V2, V3, V4, V5) -> ('case--plural-3245'('erased', 'erased', V2, V5, V4, V3, case ('Idris.Idris2.Builtin':'un--snd'('erased', 'erased', V2)) of {'Idris.Prelude.EqOrd.dn--un--__mkEq', E0, E1} -> (fun (V6, V7) -> ((V6(V5))(case ('Idris.Idris2.Builtin':'un--fst'('erased', 'erased', V2)) of {'Idris.Prelude.Num.dn--un--__mkNum', E2, E3, E4} -> (fun (V8, V9, V10) -> (V10(1)) end(E2, E3, E4)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)).
'un--pageWidth'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', V1}.
'un--nesting'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', V1}.
'un--nest'(V0, V1, V2) -> case V1 of 0 -> V2; _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', V1, V2} end.
'un--list'(V0, V1) -> ('un--group'('erased', ('un--encloseSep'('erased', ('un--flatAlt'('erased', fun () -> ('dn--un--pretty_Pretty__String'('erased', <<"[ "/utf8>>)) end, fun () -> ('dn--un--pretty_Pretty__String'('erased', <<"["/utf8>>)) end)), ('un--flatAlt'('erased', fun () -> ('dn--un--pretty_Pretty__String'('erased', <<" ]"/utf8>>)) end, fun () -> ('dn--un--pretty_Pretty__String'('erased', <<"]"/utf8>>)) end)), ('dn--un--pretty_Pretty__String'('erased', <<", "/utf8>>)), V1)))).
'un--line\x{27}'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} end, fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end}.
'un--line'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} end, fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', $ } end}.
'un--layoutWadlerLeijen'(V0, V1, V2, V3) -> ('nested--5668-6019--in--un--best'('erased', V3, V2, V1, 0, 0, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cons', 0, V3, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nil'}})).
'un--layoutUnbounded'(V0, V1) -> ('un--layoutWadlerLeijen'('erased', fun (V2) -> fun (V3) -> fun (V4) -> fun (V5) -> 0 end end end end, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'}, V1)).
'un--layoutSmart'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', E0, E1} -> (fun (V2, V3) -> fun (V4) -> ('un--layoutWadlerLeijen'('erased', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('nested--6053-6391--in--un--fits'('erased', V3, V2, V1, V5, V6, V7, V8)) end end end end, V1, V4)) end end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'} -> (fun () -> fun (V9) -> ('un--layoutUnbounded'('erased', V9)) end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--layoutPretty'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', E0, E1} -> (fun (V2, V3) -> fun (V4) -> ('un--layoutWadlerLeijen'('erased', fun (V5) -> fun (V6) -> fun (V7) -> fun (V8) -> ('un--fits'('erased', ('un--remainingWidth'(V2, V3, V5, V6)), V8)) end end end end, V1, V4)) end end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Unbounded'} -> (fun () -> fun (V9) -> ('un--layoutUnbounded'('erased', V9)) end end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--layoutCompact'(V0, V1) -> ('nested--6403-6702--in--un--scan'('erased', V1, 0, [V1 | []])).
'un--internalError'(V0) -> begin (V1 = <<"<internal pretty printing error>"/utf8>>), {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', ('Idris.Idris2.Prelude.Types':'dn--un--cast_Cast__Nat_Int'(('Idris.Idris2.Prelude.Types.Strings':'un--length'(V1)))), V1, fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} end} end.
'un--indent'(V0, V1, V2) -> ('un--hang'('erased', V1, ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--spaces'('erased', V1)), V2)))).
'un--hsep'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('un--<++>'('erased', V2, V3)) end end, V1)).
'un--hcat'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, V3)) end end, V1)).
'un--hardline'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'}.
'un--hang'(V0, V1, V2) -> ('un--align'('erased', ('un--nest'('erased', V1, V2)))).
'un--group'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E0, E1} -> (fun (V2, V3) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', V2, V3} end(E0, E1)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E2, E3} -> (fun (V4, V5) -> ('case--group-2950'('erased', V5, V4, ('un--changesUponFlattening'('erased', (V5()))))) end(E2, E3)); _ -> ('case--group-2984'('erased', V1, ('un--changesUponFlattening'('erased', V1)))) end.
'un--fuse'(V0, V1, V2) -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E21, E22} -> (fun (V3, V4) -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> ('un--fuse'('erased', V1, V4)) end()); _ -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> ('un--fuse'('erased', V1, V3)) end()); _ -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E23} -> (fun (V5) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E24} -> (fun (V6) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', 2, ('Idris.Idris2.Prelude.Types':'un--strCons'(V5, ('Idris.Idris2.Prelude.Types':'un--strCons'(V6, <<""/utf8>>))))} end(E24)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E25, E26} -> (fun (V7, V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V7 + 1) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types':'un--strCons'(V5, V8))} end(E25, E26)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E27, E28} -> (fun (V9, V10) -> case V9 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E29} -> (fun (V11) -> begin (V12 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', 2, ('Idris.Idris2.Prelude.Types':'un--strCons'(V5, ('Idris.Idris2.Prelude.Types':'un--strCons'(V11, <<""/utf8>>))))}), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V12, V10})) end end(E29)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E30, E31} -> (fun (V13, V14) -> begin (V15 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V13 + 1) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types':'un--strCons'(V5, V14))}), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V15, V10})) end end(E30, E31)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end(E27, E28)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end(E23)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E32, E33} -> (fun (V16, V17) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E34} -> (fun (V18) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V16 + 1) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, ('Idris.Idris2.Data.Strings':'un--singleton'(V18))))} end(E34)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E35, E36} -> (fun (V19, V20) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V16 + V19) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, V20))} end(E35, E36)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E37, E38} -> (fun (V21, V22) -> case V21 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E39} -> (fun (V23) -> begin (V24 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V16 + 1) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, ('Idris.Idris2.Data.Strings':'un--singleton'(V23))))}), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V24, V22})) end end(E39)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E40, E41} -> (fun (V25, V26) -> begin (V27 = {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', ((V16 + V25) rem 9223372036854775808), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(V17, V26))}), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V27, V22})) end end(E40, E41)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end(E37, E38)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end(E32, E33)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E42, E43} -> (fun (V28, V29) -> case V29 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E44} -> (fun (V30) -> begin (V31 = ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V30}, V4}))), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V28, V31})) end end(E44)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E45, E46} -> (fun (V32, V33) -> begin (V34 = ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', V32, V33}, V4}))), ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', V28, V34})) end end(E45, E46)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end(E42, E43)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--fuse'('erased', V1, V3)), ('un--fuse'('erased', V1, V4))} end end end end(E21, E22)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E47, E48} -> (fun (V35, V36) -> case V36 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E49, E50} -> (fun (V37, V38) -> ('un--fuse'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', ((V35 + V37) rem 9223372036854775808), V38})) end(E49, E50)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E51, E52} -> (fun (V39, V40) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', V39, V40} end(E51, E52)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E53} -> (fun (V41) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V41} end(E53)); _ -> case V35 of 0 -> ('un--fuse'('erased', V1, V36)); _ -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', V35, ('un--fuse'('erased', V1, V36))} end end end(E47, E48)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E54, E55} -> (fun (V42, V43) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', V42, ('un--fuse'('erased', V1, V43))} end(E54, E55)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E56, E57} -> (fun (V44, V45) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', fun () -> ('un--fuse'('erased', V1, (V44()))) end, fun () -> ('un--fuse'('erased', V1, (V45()))) end} end(E56, E57)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E58, E59} -> (fun (V46, V47) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> ('un--fuse'('erased', V1, (V46()))) end, fun () -> ('un--fuse'('erased', V1, (V47()))) end} end(E58, E59)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E20} -> (fun (V48) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', V48} end(E20)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E19} -> (fun (V49) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', fun (V50) -> ('un--fuse'('erased', V1, (V49(V50)))) end} end(E19)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E18} -> (fun (V51) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', V51} end(E18)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E17} -> (fun (V52) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V53) -> ('un--fuse'('erased', V1, (V52(V53)))) end} end(E17)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E16} -> (fun (V54) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', V54} end(E16)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E15} -> (fun (V55) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V56) -> ('un--fuse'('erased', V1, (V55(V56)))) end} end(E15)); _ -> V2 end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E14} -> (fun (V57) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V58) -> ('un--fuse'('erased', V1, (V57(V58)))) end} end(E14)); _ -> V2 end end end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E13} -> (fun (V59) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V60) -> ('un--fuse'('erased', V1, (V59(V60)))) end} end(E13)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E12} -> (fun (V61) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', V61} end(E12)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E11} -> (fun (V62) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V63) -> ('un--fuse'('erased', V1, (V62(V63)))) end} end(E11)); _ -> V2 end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E10} -> (fun (V64) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V65) -> ('un--fuse'('erased', V1, (V64(V65)))) end} end(E10)); _ -> V2 end end end end end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E9} -> (fun (V66) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', fun (V67) -> ('un--fuse'('erased', V1, (V66(V67)))) end} end(E9)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E8} -> (fun (V68) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', V68} end(E8)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E7} -> (fun (V69) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V70) -> ('un--fuse'('erased', V1, (V69(V70)))) end} end(E7)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E6} -> (fun (V71) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', V71} end(E6)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E5} -> (fun (V72) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V73) -> ('un--fuse'('erased', V1, (V72(V73)))) end} end(E5)); _ -> V2 end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E4} -> (fun (V74) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V75) -> ('un--fuse'('erased', V1, (V74(V75)))) end} end(E4)); _ -> V2 end end end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E3} -> (fun (V76) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V77) -> ('un--fuse'('erased', V1, (V76(V77)))) end} end(E3)); _ -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Shallow'} -> (fun () -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E2} -> (fun (V78) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', V78} end(E2)); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E1} -> (fun (V79) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V80) -> ('un--fuse'('erased', V1, (V79(V80)))) end} end(E1)); _ -> V2 end end end()); _ -> case V2 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E0} -> (fun (V81) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V82) -> ('un--fuse'('erased', V1, (V81(V82)))) end} end(E0)); _ -> V2 end end end end end end end.
'un--flatten'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E0} -> (fun (V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V2} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E1, E2} -> (fun (V3, V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', V3, V4} end(E1, E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E3, E4} -> (fun (V5, V6) -> ('un--flatten'('erased', (V6()))) end(E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E5, E6} -> (fun (V7, V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--flatten'('erased', V7)), ('un--flatten'('erased', V8))} end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E7, E8} -> (fun (V9, V10) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', V9, ('un--flatten'('erased', V10))} end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E9, E10} -> (fun (V11, V12) -> ('un--flatten'('erased', (V11()))) end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E11} -> (fun (V13) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', fun (V14) -> ('un--flatten'('erased', (V13(V14)))) end} end(E11)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E12} -> (fun (V15) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V16) -> ('un--flatten'('erased', (V15(V16)))) end} end(E12)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E13} -> (fun (V17) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V18) -> ('un--flatten'('erased', (V17(V18)))) end} end(E13)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E14, E15} -> (fun (V19, V20) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', V19, ('un--flatten'('erased', V20))} end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--flatAlt'(V0, V1, V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', V1, V2}.
'un--fits'(V0, V1, V2) -> ('case--fits-6293'('erased', V2, V1, ('Idris.Idris2.Prelude.EqOrd':'dn--un--<_Ord__Int'(V1, 0)))).
'un--fillSep'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, ('un--softline'('erased')))), V3)) end end, V1)).
'un--fillCat'(V0, V1) -> ('un--concatWith'('erased', fun (V2) -> fun (V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V2, ('un--softline\x{27}'('erased')))), V3)) end end, V1)).
'un--fillBreak'(V0, V1, V2) -> ('un--width'('erased', V2, fun (V3) -> ('case--fillBreak-3034'('erased', V2, V1, V3, ('Idris.Idris2.Prelude.EqOrd':'dn--un-->_Ord__Int'(V3, V1)))) end)).
'un--fill'(V0, V1, V2) -> ('un--width'('erased', V2, fun (V3) -> ('un--spaces'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V1, V3)))) end)).
'un--encloseSep'(V0, V1, V2, V3, V4) -> case V4 of [] -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, V2)); [E0 | E1] -> (fun (V5, V6) -> case V6 of [] -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, V5)), V2)); _ -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--cat'('erased', ('Idris.Idris2.Data.List':'un--zipWith'('erased', 'erased', 'erased', fun (V7) -> fun (V8) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V7, V8)) end end, [V1 | ('Idris.Idris2.Data.List':'un--replicate'('erased', ('Idris.Idris2.Prelude.Types':'un--minus'(('Idris.Idris2.Prelude.Types.List':'un--length'('erased', V4)), (1 + 0))), V3))], V4)))), V2)) end end(E0, E1)); _ -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('un--cat'('erased', ('Idris.Idris2.Data.List':'un--zipWith'('erased', 'erased', 'erased', fun (V9) -> fun (V10) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V9, V10)) end end, [V1 | ('Idris.Idris2.Data.List':'un--replicate'('erased', ('Idris.Idris2.Prelude.Types':'un--minus'(('Idris.Idris2.Prelude.Types.List':'un--length'('erased', V4)), (1 + 0))), V3))], V4)))), V2)) end.
'un--enclose'(V0, V1, V2, V3) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, V3)), V2)).
'un--emptyDoc'(V0) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'}.
'un--dropWhileEnd'(V0, V1, V2) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', fun (V3) -> fun (V4) -> ('case--dropWhileEnd-5542'('erased', V1, V3, V4, ('Idris.Idris2.Prelude.Basics':'un--&&'((V1(V3)), fun () -> ('Idris.Idris2.Data.List':'un--isNil'('erased', V4)) end)))) end end, [], V2)).
'un--defaultPageWidth'() -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AvailablePerLine', 80, 1.0}.
'un--defaultLayoutOptions'() -> ('un--defaultPageWidth'()).
'un--concatWith'(V0, V1, V2) -> case V2 of [] -> ('dn--un--neutral_Monoid__(Doc $ann)'('erased')); [E0 | E1] -> (fun (V3, V4) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldl_Foldable__List'('erased', 'erased', V1, V3, V4)) end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--column'(V0, V1) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', V1}.
'un--collectAnnotations'(V0, V1, V2, V3, V4) -> case V4 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SEmpty'} -> (fun () -> case V2 of {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', E0, E1} -> (fun (V5, V6) -> V6 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SChar', E2, E3} -> (fun (V7, V8) -> ('un--collectAnnotations'('erased', 'erased', V2, V3, (V8()))) end(E2, E3)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SText', E4, E5, E6} -> (fun (V9, V10, V11) -> ('un--collectAnnotations'('erased', 'erased', V2, V3, (V11()))) end(E4, E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SLine', E7, E8} -> (fun (V12, V13) -> ('un--collectAnnotations'('erased', 'erased', V2, V3, V13)) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPush', E9, E10} -> (fun (V14, V15) -> case V2 of {'Idris.Prelude.Interfaces.dn--un--__mkMonoid', E11, E12} -> (fun (V16, V17) -> ((V16((V3(V14))))(('un--collectAnnotations'('erased', 'erased', V2, V3, V15)))) end(E11, E12)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SAnnPop', E13} -> (fun (V18) -> ('un--collectAnnotations'('erased', 'erased', V2, V3, V18)) end(E13)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--changesUponFlattening'(V0, V1) -> case V1 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E0} -> (fun (V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E1, E2} -> (fun (V3, V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.AlreadyFlat'} end(E1, E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.NeverFlat'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E3, E4} -> (fun (V5, V6) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', ('un--flatten'('erased', (V6())))} end(E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E5, E6} -> (fun (V7, V8) -> ('case--changesUponFlattening-2761'('erased', V8, V7, {'Idris.Builtin.MkPair', ('un--changesUponFlattening'('erased', V7)), ('un--changesUponFlattening'('erased', V8))})) end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E7, E8} -> (fun (V9, V10) -> ('dn--un--map_Functor__FlattenResult'('erased', 'erased', fun (V11) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', V9, V11} end, ('un--changesUponFlattening'('erased', V10)))) end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E9, E10} -> (fun (V12, V13) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', (V12())} end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E11} -> (fun (V14) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', fun (V15) -> ('un--flatten'('erased', (V14(V15)))) end}} end(E11)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E12} -> (fun (V16) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V17) -> ('un--flatten'('erased', (V16(V17)))) end}} end(E12)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E13} -> (fun (V18) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Flattened', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V19) -> ('un--flatten'('erased', (V18(V19)))) end}} end(E13)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E14, E15} -> (fun (V20, V21) -> ('dn--un--map_Functor__FlattenResult'('erased', 'erased', fun (V22) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', V20, V22} end, ('un--changesUponFlattening'('erased', V21)))) end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--cat'(V0, V1) -> ('un--group'('erased', ('un--vcat'('erased', V1)))).
'un--annotate'(V0, V1, V2) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', V1, V2}.
'un--alterAnnotationsS'(V0, V1, V2, V3) -> ('Idris.Idris2.Data.Maybe':'un--fromMaybe'('erased', fun () -> ('un--internalError'('erased')) end, ('nested--4585-4899--in--un--go'('erased', 'erased', V2, [], V3)))).
'un--alterAnnotations'(V0, V1, V2, V3) -> case V3 of {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Empty'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', E0} -> (fun (V4) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', V4} end(E0)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', E1, E2} -> (fun (V5, V6) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Text', V5, V6} end(E1, E2)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} -> (fun () -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Line'} end()); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', E3, E4} -> (fun (V7, V8) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.FlatAlt', fun () -> ('un--alterAnnotations'('erased', 'erased', V2, (V7()))) end, fun () -> ('un--alterAnnotations'('erased', 'erased', V2, (V8()))) end} end(E3, E4)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', E5, E6} -> (fun (V9, V10) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Cat', ('un--alterAnnotations'('erased', 'erased', V2, V9)), ('un--alterAnnotations'('erased', 'erased', V2, V10))} end(E5, E6)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', E7, E8} -> (fun (V11, V12) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nest', V11, ('un--alterAnnotations'('erased', 'erased', V2, V12))} end(E7, E8)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', E9, E10} -> (fun (V13, V14) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Union', fun () -> ('un--alterAnnotations'('erased', 'erased', V2, (V13()))) end, fun () -> ('un--alterAnnotations'('erased', 'erased', V2, (V14()))) end} end(E9, E10)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', E11} -> (fun (V15) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Column', fun (V16) -> ('un--alterAnnotations'('erased', 'erased', V2, (V15(V16)))) end} end(E11)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', E12} -> (fun (V17) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.WithPageWidth', fun (V18) -> ('un--alterAnnotations'('erased', 'erased', V2, (V17(V18)))) end} end(E12)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', E13} -> (fun (V19) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Nesting', fun (V20) -> ('un--alterAnnotations'('erased', 'erased', V2, (V19(V20)))) end} end(E13)); {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', E14, E15} -> (fun (V21, V22) -> ('Idris.Idris2.Prelude.Types':'dn--un--foldr_Foldable__List'('erased', 'erased', fun (V23) -> fun (V24) -> {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Annotated', V23, V24} end end, ('un--alterAnnotations'('erased', 'erased', V2, V22)), (V2(V21)))) end(E14, E15)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--align'(V0, V1) -> ('un--column'('erased', fun (V2) -> ('un--nesting'('erased', fun (V3) -> ('un--nest'('erased', ('Idris.Idris2.Prelude.Num':'dn--un---_Neg__Int'(V2, V3)), V1)) end)) end)).
'un--FittingPredicate'(V0) -> {'Idris.->', {'Idris.Int'}, fun (V1) -> {'Idris.->', {'Idris.Int'}, fun (V2) -> {'Idris.->', {'Idris.Prelude.Types.Maybe', {'Idris.Int'}}, fun (V3) -> {'Idris.->', {'Idris.Text.PrettyPrint.Prettyprinter.Doc.SimpleDocStream', V0}, fun (V4) -> {'Idris.Prelude.Basics.Bool'} end} end} end} end}.
'un--<++>'(V0, V1, V2) -> ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', ('dn--un--<+>_Semigroup__(Doc $ann)'('erased', V1, {'Idris.Text.PrettyPrint.Prettyprinter.Doc.Chara', $ })), V2)).
Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT