Text, with human readable letter content v
.
hello : Text (H (E (L (L (O ())))))
hello =
h (e (l (l (o textEnd))))
textEnd : Text ()
The end of a Text
toString : Text v -> String
Turn a Text
into a String
Text.toString (h (e (l (l (o textEnd))))) == "HELLO"
The letter "A"
The letter "B"
The letter "C"
The letter "D"
The letter "E"
The letter "F"
The letter "G"
The letter "H"
The letter "I"
The letter "J"
The letter "K"
The letter "L"
The letter "M"
The letter "N"
The letter "O"
The letter "P"
The letter "Q"
The letter "R"
The letter "S"
The letter "T"
The letter "U"
The letter "V"
The letter "W"
The letter "X"
The letter "Y"
The letter "Z"
a : Text v -> Text (A v)
The letter "A"
b : Text v -> Text (B v)
The letter "B"
c : Text v -> Text (C v)
The letter "C"
d : Text v -> Text (D v)
The letter "D"
e : Text v -> Text (E v)
The letter "E"
f : Text v -> Text (F v)
The letter "F"
g : Text v -> Text (G v)
The letter "G"
h : Text v -> Text (H v)
The letter "H"
i : Text v -> Text (I v)
The letter "I"
j : Text v -> Text (J v)
The letter "J"
k : Text v -> Text (K v)
The letter "K"
l : Text v -> Text (L v)
The letter "L"
m : Text v -> Text (M v)
The letter "M"
n : Text v -> Text (N v)
The letter "N"
o : Text v -> Text (O v)
The letter "O"
p : Text v -> Text (P v)
The letter "P"
q : Text v -> Text (Q v)
The letter "Q"
r : Text v -> Text (R v)
The letter "R"
s : Text v -> Text (S v)
The letter "S"
t : Text v -> Text (T v)
The letter "T"
u : Text v -> Text (U v)
The letter "U"
v : Text v -> Text (V v)
The letter "V"
w : Text v -> Text (W v)
The letter "W"
x : Text v -> Text (X v)
The letter "X"
y : Text v -> Text (Y v)
The letter "Y"
z : Text v -> Text (Z v)
The letter "Z"