{-# 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
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
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
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
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)
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)
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)
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)
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
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)
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))
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))
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))
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))
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))
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)
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))
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))
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)
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)
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)))
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))))
d_Alignment_92 :: ()
d_Alignment_92 = ()
data T_Alignment_92 = C_Left_94 | C_Center_96 | C_Right_98
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
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))
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)))
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)
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))
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)))
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'))
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))