Safe HaskellNone

MAlonzo.Code.Agda.Builtin.String

Documentation

type T_String_6 = Text Source #

d_primStringUncons_10 :: Text -> Maybe (Char, Text) Source #

d_primStringToList_12 :: Text -> String Source #

d_primStringFromList_14 :: String -> Text Source #

d_primStringAppend_16 :: Text -> Text -> Text Source #

d_primStringEquality_18 :: Text -> Text -> Bool Source #

d_primShowChar_20 :: Char -> Text Source #

d_primShowString_22 :: Text -> Text Source #

d_primShowNat_24 :: Integer -> Text Source #