{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Data.String.Base where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Char
import qualified MAlonzo.Code.Agda.Builtin.Nat
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.Bool.Base
import qualified MAlonzo.Code.Data.Char.Base
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.List.NonEmpty.Base
import qualified MAlonzo.Code.Data.Maybe.Base
import qualified MAlonzo.Code.Data.Nat.Base
import qualified MAlonzo.Code.Function.Base
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core

-- Data.String.Base._≈_
d__'8776'__6 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> ()
d__'8776'__6 :: Text -> Text -> ()
d__'8776'__6 = Text -> Text -> ()
forall a. a
erased
-- Data.String.Base._<_
d__'60'__8 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> ()
d__'60'__8 :: Text -> Text -> ()
d__'60'__8 = Text -> Text -> ()
forall a. a
erased
-- Data.String.Base._≤_
d__'8804'__10 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> ()
d__'8804'__10 :: Text -> Text -> ()
d__'8804'__10 = Text -> Text -> ()
forall a. a
erased
-- Data.String.Base.head
d_head_12 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  Maybe MAlonzo.Code.Agda.Builtin.Char.T_Char_6
d_head_12 :: Text -> Maybe T_Char_6
d_head_12
  = ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> Text -> Maybe T_Char_6
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216
      (((Any -> Any) -> Maybe Any -> Maybe Any) -> Any -> Any
forall a b. a -> b
coe
         (Any -> Any) -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du_map_64
         ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> T_Σ_14 -> Any
MAlonzo.Code.Agda.Builtin.Sigma.d_fst_28 (Any -> T_Σ_14
forall a b. a -> b
coe Any
v0))))
      ((Text -> Maybe (T_Char_6, Text)) -> Any
forall a b. a -> b
coe Text -> Maybe (T_Char_6, Text)
MAlonzo.Code.Agda.Builtin.String.d_primStringUncons_10)
-- Data.String.Base.tail
d_tail_14 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  Maybe MAlonzo.Code.Agda.Builtin.String.T_String_6
d_tail_14 :: Text -> Maybe Text
d_tail_14
  = ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> Text -> Maybe Text
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216
      (((Any -> Any) -> Maybe Any -> Maybe Any) -> Any -> Any
forall a b. a -> b
coe
         (Any -> Any) -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du_map_64
         ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> T_Σ_14 -> Any
MAlonzo.Code.Agda.Builtin.Sigma.d_snd_30 (Any -> T_Σ_14
forall a b. a -> b
coe Any
v0))))
      ((Text -> Maybe (T_Char_6, Text)) -> Any
forall a b. a -> b
coe Text -> Maybe (T_Char_6, Text)
MAlonzo.Code.Agda.Builtin.String.d_primStringUncons_10)
-- Data.String.Base.fromChar
d_fromChar_16 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_fromChar_16 :: T_Char_6 -> Text
d_fromChar_16
  = ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> T_Char_6 -> Text
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216
      ((String -> Text) -> Any
forall a b. a -> b
coe String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14)
      ((Any -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_286)
-- Data.String.Base.fromList⁺
d_fromList'8314'_18 ::
  MAlonzo.Code.Data.List.NonEmpty.Base.T_List'8314'_22 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_fromList'8314'_18 :: T_List'8314'_22 -> Text
d_fromList'8314'_18
  = ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> T_List'8314'_22 -> Text
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216
      ((String -> Text) -> Any
forall a b. a -> b
coe String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14)
      ((T_List'8314'_22 -> [Any]) -> Any
forall a b. a -> b
coe T_List'8314'_22 -> [Any]
MAlonzo.Code.Data.List.NonEmpty.Base.du_toList_60)
-- Data.String.Base._++_
d__'43''43'__20 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d__'43''43'__20 :: Text -> Text -> Text
d__'43''43'__20
  = (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe Text -> Text -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringAppend_16
-- Data.String.Base.length
d_length_22 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> Integer
d_length_22 :: Text -> Integer
d_length_22 Text
v0
  = ([Any] -> Integer) -> Any -> Integer
forall a b. a -> b
coe
      [Any] -> Integer
MAlonzo.Code.Data.List.Base.du_length_284
      ((Text -> String) -> Text -> Any
forall a b. a -> b
coe Text -> String
MAlonzo.Code.Agda.Builtin.String.d_primStringToList_12 Text
v0)
-- Data.String.Base.replicate
d_replicate_24 ::
  Integer ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_replicate_24 :: Integer -> T_Char_6 -> Text
d_replicate_24 Integer
v0 T_Char_6
v1
  = (String -> Text) -> Any -> Text
forall a b. a -> b
coe
      String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14
      ((Integer -> Any -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         Integer -> Any -> [Any]
MAlonzo.Code.Data.List.Base.du_replicate_294 (Integer -> Any
forall a b. a -> b
coe Integer
v0) (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
v1))
-- Data.String.Base.concat
d_concat_28 ::
  [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_concat_28 :: [Text] -> Text
d_concat_28
  = ((Any -> Any -> Any) -> Any -> [Any] -> Any)
-> Any -> Any -> [Text] -> Text
forall a b. a -> b
coe
      (Any -> Any -> Any) -> Any -> [Any] -> Any
MAlonzo.Code.Data.List.Base.du_foldr_216 ((Text -> Text -> Text) -> Any
forall a b. a -> b
coe Text -> Text -> Text
d__'43''43'__20)
      (Text -> Any
forall a b. a -> b
coe (Text
"" :: Data.Text.Text))
-- Data.String.Base.intersperse
d_intersperse_30 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_intersperse_30 :: Text -> [Text] -> Text
d_intersperse_30 Text
v0
  = ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> [Text] -> Text
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216 (([Text] -> Text) -> Any
forall a b. a -> b
coe [Text] -> Text
d_concat_28)
      ((Any -> [Any] -> [Any]) -> Any -> Any
forall a b. a -> b
coe Any -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_intersperse_42 (Text -> Any
forall a b. a -> b
coe Text
v0))
-- Data.String.Base.unwords
d_unwords_34 ::
  [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_unwords_34 :: [Text] -> Text
d_unwords_34 = (Text -> [Text] -> Text) -> Any -> [Text] -> Text
forall a b. a -> b
coe Text -> [Text] -> Text
d_intersperse_30 (Text -> Any
forall a b. a -> b
coe (Text
" " :: Data.Text.Text))
-- Data.String.Base.unlines
d_unlines_36 ::
  [MAlonzo.Code.Agda.Builtin.String.T_String_6] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_unlines_36 :: [Text] -> Text
d_unlines_36 = (Text -> [Text] -> Text) -> Any -> [Text] -> Text
forall a b. a -> b
coe Text -> [Text] -> Text
d_intersperse_30 (Text -> Any
forall a b. a -> b
coe (Text
"\n" :: Data.Text.Text))
-- Data.String.Base.between
d_between_38 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_between_38 :: Text -> Text -> Text -> Text
d_between_38 Text
v0 Text
v1 Text
v2
  = (Text -> Text -> Text) -> Text -> Any -> Text
forall a b. a -> b
coe Text -> Text -> Text
d__'43''43'__20 Text
v0 ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe Text -> Text -> Text
d__'43''43'__20 Text
v2 Text
v1)
-- Data.String.Base.parens
d_parens_46 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_parens_46 :: Text -> Text
d_parens_46
  = (Text -> Text -> Text -> Text) -> Any -> Any -> Text -> Text
forall a b. a -> b
coe
      Text -> Text -> Text -> Text
d_between_38 (Text -> Any
forall a b. a -> b
coe (Text
"(" :: Data.Text.Text))
      (Text -> Any
forall a b. a -> b
coe (Text
")" :: Data.Text.Text))
-- Data.String.Base.braces
d_braces_48 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_braces_48 :: Text -> Text
d_braces_48
  = (Text -> Text -> Text -> Text) -> Any -> Any -> Text -> Text
forall a b. a -> b
coe
      Text -> Text -> Text -> Text
d_between_38 (Text -> Any
forall a b. a -> b
coe (Text
"{" :: Data.Text.Text))
      (Text -> Any
forall a b. a -> b
coe (Text
"}" :: Data.Text.Text))
-- Data.String.Base._<+>_
d__'60''43''62'__50 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d__'60''43''62'__50 :: Text -> Text -> Text
d__'60''43''62'__50 Text
v0 Text
v1
  = let v2 :: b
v2
          = let v2 :: t
v2
                  = (Text -> Text -> Text) -> Text -> Any -> t
forall a b. a -> b
coe
                      Text -> Text -> Text
d__'43''43'__20 Text
v0
                      ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe Text -> Text -> Text
d__'43''43'__20 (Text
" " :: Data.Text.Text) Text
v1) in
            Any -> b
forall a b. a -> b
coe
              (case Text -> Text
forall a b. a -> b
coe Text
v1 of
                 Text
l | Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(==) Text
l (Text
"" :: Data.Text.Text) -> Text -> Any
forall a b. a -> b
coe Text
v0
                 Text
_ -> Any -> Any
forall a b. a -> b
coe Any
forall a. a
v2) in
    Any -> Text
forall a b. a -> b
coe
      (case Text -> Text
forall a b. a -> b
coe Text
v0 of
         Text
l | Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(==) Text
l (Text
"" :: Data.Text.Text) -> Text -> Any
forall a b. a -> b
coe Text
v1
         Text
_ -> Any -> Any
forall a b. a -> b
coe Any
forall a. a
v2)
-- Data.String.Base.padLeft
d_padLeft_60 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_padLeft_60 :: T_Char_6 -> Integer -> Text -> Text
d_padLeft_60 T_Char_6
v0 Integer
v1 Text
v2
  = (Bool -> Any -> Any -> Any) -> Any -> Any -> Any -> Text
forall a b. a -> b
coe
      Bool -> Any -> Any -> Any
MAlonzo.Code.Data.Bool.Base.du_if_then_else__44
      ((Integer -> Integer -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
         Integer -> Integer -> Bool
eqInt
         ((Integer -> Integer -> Integer) -> Integer -> Integer -> Any
forall a b. a -> b
coe
            Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v1
            (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v2)))
         (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)))
      (Text -> Any
forall a b. a -> b
coe Text
v2)
      ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
d__'43''43'__20
         (Integer -> T_Char_6 -> Text
d_replicate_24
            ((Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
forall a b. a -> b
coe
               Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v1
               (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v2)))
            (T_Char_6 -> T_Char_6
forall a b. a -> b
coe T_Char_6
v0))
         Text
v2)
-- Data.String.Base.padRight
d_padRight_70 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_padRight_70 :: T_Char_6 -> Integer -> Text -> Text
d_padRight_70 T_Char_6
v0 Integer
v1 Text
v2
  = (Bool -> Any -> Any -> Any) -> Any -> Any -> Any -> Text
forall a b. a -> b
coe
      Bool -> Any -> Any -> Any
MAlonzo.Code.Data.Bool.Base.du_if_then_else__44
      ((Integer -> Integer -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
         Integer -> Integer -> Bool
eqInt
         ((Integer -> Integer -> Integer) -> Integer -> Integer -> Any
forall a b. a -> b
coe
            Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v1
            (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v2)))
         (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)))
      (Text -> Any
forall a b. a -> b
coe Text
v2)
      ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
d__'43''43'__20 Text
v2
         (Integer -> T_Char_6 -> Text
d_replicate_24
            ((Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
forall a b. a -> b
coe
               Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v1
               (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v2)))
            (T_Char_6 -> T_Char_6
forall a b. a -> b
coe T_Char_6
v0)))
-- Data.String.Base.padBoth
d_padBoth_80 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_padBoth_80 :: T_Char_6 -> T_Char_6 -> Integer -> Text -> Text
d_padBoth_80 T_Char_6
v0 T_Char_6
v1 Integer
v2 Text
v3
  = (Bool -> Any -> Any -> Any) -> Any -> Any -> Any -> Text
forall a b. a -> b
coe
      Bool -> Any -> Any -> Any
MAlonzo.Code.Data.Bool.Base.du_if_then_else__44
      ((Integer -> Integer -> Bool) -> Any -> Any -> Any
forall a b. a -> b
coe
         Integer -> Integer -> Bool
eqInt
         ((Integer -> Integer -> Integer) -> Integer -> Integer -> Any
forall a b. a -> b
coe
            Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v2
            (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v3)))
         (Integer -> Any
forall a b. a -> b
coe (Integer
0 :: Integer)))
      (Text -> Any
forall a b. a -> b
coe Text
v3)
      ((Text -> Text -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
         Text -> Text -> Text
d__'43''43'__20
         (Integer -> T_Char_6 -> Text
d_replicate_24
            ((Integer -> Integer) -> Any -> Integer
forall a b. a -> b
coe
               Integer -> Integer
MAlonzo.Code.Data.Nat.Base.d_'8970'_'47'2'8971'_264
               ((Integer -> Integer -> Integer) -> Integer -> Integer -> Any
forall a b. a -> b
coe
                  Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v2
                  (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v3))))
            (T_Char_6 -> T_Char_6
forall a b. a -> b
coe T_Char_6
v0))
         ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
            Text -> Text -> Text
d__'43''43'__20 Text
v3
            (Integer -> T_Char_6 -> Text
d_replicate_24
               ((Integer -> Integer) -> Any -> Integer
forall a b. a -> b
coe
                  Integer -> Integer
MAlonzo.Code.Data.Nat.Base.d_'8968'_'47'2'8969'_268
                  ((Integer -> Integer -> Integer) -> Integer -> Integer -> Any
forall a b. a -> b
coe
                     Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22 Integer
v2
                     (Text -> Integer
d_length_22 (Text -> Text
forall a b. a -> b
coe Text
v3))))
               (T_Char_6 -> T_Char_6
forall a b. a -> b
coe T_Char_6
v1))))
-- Data.String.Base.Alignment
d_Alignment_92 :: ()
d_Alignment_92 = ()
data T_Alignment_92 = C_Left_94 | C_Center_96 | C_Right_98
-- Data.String.Base.fromAlignment
d_fromAlignment_100 ::
  T_Alignment_92 ->
  Integer ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_fromAlignment_100 :: T_Alignment_92 -> Integer -> Text -> Text
d_fromAlignment_100 T_Alignment_92
v0
  = case T_Alignment_92 -> T_Alignment_92
forall a b. a -> b
coe T_Alignment_92
v0 of
      T_Alignment_92
C_Left_94 -> (T_Char_6 -> Integer -> Text -> Text)
-> Any -> Integer -> Text -> Text
forall a b. a -> b
coe T_Char_6 -> Integer -> Text -> Text
d_padRight_70 (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
' ')
      T_Alignment_92
C_Center_96 -> (T_Char_6 -> T_Char_6 -> Integer -> Text -> Text)
-> Any -> Any -> Integer -> Text -> Text
forall a b. a -> b
coe T_Char_6 -> T_Char_6 -> Integer -> Text -> Text
d_padBoth_80 (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
' ') (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
' ')
      T_Alignment_92
C_Right_98 -> (T_Char_6 -> Integer -> Text -> Text)
-> Any -> Integer -> Text -> Text
forall a b. a -> b
coe T_Char_6 -> Integer -> Text -> Text
d_padLeft_60 (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
' ')
      T_Alignment_92
_ -> Integer -> Text -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.String.Base.wordsBy
d_wordsBy_106 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> ()) ->
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_wordsBy_106 :: () -> (T_Char_6 -> ()) -> (T_Char_6 -> T_Dec_20) -> Text -> [Text]
d_wordsBy_106 ~()
v0 ~T_Char_6 -> ()
v1 T_Char_6 -> T_Dec_20
v2 Text
v3 = (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_wordsBy_106 T_Char_6 -> T_Dec_20
v2 Text
v3
du_wordsBy_106 ::
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
du_wordsBy_106 :: (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_wordsBy_106 T_Char_6 -> T_Dec_20
v0 Text
v1
  = ((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> [Text]
forall a b. a -> b
coe
      (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22
      ((String -> Text) -> Any
forall a b. a -> b
coe String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14)
      (((Any -> T_Dec_20) -> [Any] -> [[Any]])
-> (T_Char_6 -> T_Dec_20) -> Any -> Any
forall a b. a -> b
coe
         (Any -> T_Dec_20) -> [Any] -> [[Any]]
MAlonzo.Code.Data.List.Base.du_wordsBy_818 T_Char_6 -> T_Dec_20
v0
         ((Text -> String) -> Text -> Any
forall a b. a -> b
coe Text -> String
MAlonzo.Code.Agda.Builtin.String.d_primStringToList_12 Text
v1))
-- Data.String.Base.wordsByᵇ
d_wordsBy'7495'_110 ::
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Bool) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_wordsBy'7495'_110 :: (T_Char_6 -> Bool) -> Text -> [Text]
d_wordsBy'7495'_110 T_Char_6 -> Bool
v0
  = ((T_Char_6 -> T_Dec_20) -> Text -> [Text]) -> Any -> Text -> [Text]
forall a b. a -> b
coe
      (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_wordsBy_106
      ((Any -> T_Dec_20) -> Any
forall a b. a -> b
coe
         (\ Any
v1 ->
            Bool -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_T'63'_66
              ((T_Char_6 -> Bool) -> Any -> Bool
forall a b. a -> b
coe T_Char_6 -> Bool
v0 Any
v1)))
-- Data.String.Base.words
d_words_114 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_words_114 :: Text -> [Text]
d_words_114
  = ((T_Char_6 -> Bool) -> Text -> [Text]) -> Any -> Text -> [Text]
forall a b. a -> b
coe
      (T_Char_6 -> Bool) -> Text -> [Text]
d_wordsBy'7495'_110
      ((T_Char_6 -> Bool) -> Any
forall a b. a -> b
coe T_Char_6 -> Bool
MAlonzo.Code.Agda.Builtin.Char.d_primIsSpace_14)
-- Data.String.Base.linesBy
d_linesBy_122 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> ()) ->
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_linesBy_122 :: () -> (T_Char_6 -> ()) -> (T_Char_6 -> T_Dec_20) -> Text -> [Text]
d_linesBy_122 ~()
v0 ~T_Char_6 -> ()
v1 T_Char_6 -> T_Dec_20
v2 Text
v3 = (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_linesBy_122 T_Char_6 -> T_Dec_20
v2 Text
v3
du_linesBy_122 ::
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
du_linesBy_122 :: (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_linesBy_122 T_Char_6 -> T_Dec_20
v0 Text
v1
  = ((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> [Text]
forall a b. a -> b
coe
      (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22
      ((String -> Text) -> Any
forall a b. a -> b
coe String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14)
      (((Any -> T_Dec_20) -> [Any] -> [[Any]])
-> (T_Char_6 -> T_Dec_20) -> Any -> Any
forall a b. a -> b
coe
         (Any -> T_Dec_20) -> [Any] -> [[Any]]
MAlonzo.Code.Data.List.Base.du_linesBy_786 T_Char_6 -> T_Dec_20
v0
         ((Text -> String) -> Text -> Any
forall a b. a -> b
coe Text -> String
MAlonzo.Code.Agda.Builtin.String.d_primStringToList_12 Text
v1))
-- Data.String.Base.linesByᵇ
d_linesBy'7495'_126 ::
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Bool) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_linesBy'7495'_126 :: (T_Char_6 -> Bool) -> Text -> [Text]
d_linesBy'7495'_126 T_Char_6 -> Bool
v0
  = ((T_Char_6 -> T_Dec_20) -> Text -> [Text]) -> Any -> Text -> [Text]
forall a b. a -> b
coe
      (T_Char_6 -> T_Dec_20) -> Text -> [Text]
du_linesBy_122
      ((Any -> T_Dec_20) -> Any
forall a b. a -> b
coe
         (\ Any
v1 ->
            Bool -> T_Dec_20
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_T'63'_66
              ((T_Char_6 -> Bool) -> Any -> Bool
forall a b. a -> b
coe T_Char_6 -> Bool
v0 Any
v1)))
-- Data.String.Base.lines
d_lines_130 ::
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  [MAlonzo.Code.Agda.Builtin.String.T_String_6]
d_lines_130 :: Text -> [Text]
d_lines_130
  = ((T_Char_6 -> Bool) -> Text -> [Text]) -> Any -> Text -> [Text]
forall a b. a -> b
coe
      (T_Char_6 -> Bool) -> Text -> [Text]
d_linesBy'7495'_126
      ((T_Char_6 -> T_Char_6 -> Bool) -> Any -> Any
forall a b. a -> b
coe T_Char_6 -> T_Char_6 -> Bool
MAlonzo.Code.Data.Char.Base.d__'8776''7495'__14 (T_Char_6 -> Any
forall a b. a -> b
coe T_Char_6
'\n'))
-- Data.String.Base.map
d_map_136 ::
  (MAlonzo.Code.Agda.Builtin.Char.T_Char_6 ->
   MAlonzo.Code.Agda.Builtin.Char.T_Char_6) ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_map_136 :: (T_Char_6 -> T_Char_6) -> Text -> Text
d_map_136 T_Char_6 -> T_Char_6
v0 Text
v1
  = (String -> Text) -> Any -> Text
forall a b. a -> b
coe
      String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14
      (((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
         (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22 ((T_Char_6 -> T_Char_6) -> Any
forall a b. a -> b
coe T_Char_6 -> T_Char_6
v0)
         ((Text -> String) -> Text -> Any
forall a b. a -> b
coe Text -> String
MAlonzo.Code.Agda.Builtin.String.d_primStringToList_12 Text
v1))