Documentation

type T_String_6 = Text Source #

d_String_6 ∷ a 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 #