Text

type Text v

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"

type A v

The letter "A"

type B v

The letter "B"

type C v

The letter "C"

type D v

The letter "D"

type E v

The letter "E"

type F v

The letter "F"

type G v

The letter "G"

type H v

The letter "H"

type I v

The letter "I"

type J v

The letter "J"

type K v

The letter "K"

type L v

The letter "L"

type M v

The letter "M"

type N v

The letter "N"

type O v

The letter "O"

type P v

The letter "P"

type Q v

The letter "Q"

type R v

The letter "R"

type S v

The letter "S"

type T v

The letter "T"

type U v

The letter "U"

type V v

The letter "V"

type W v

The letter "W"

type X v

The letter "X"

type Y v

The letter "Y"

type Z v

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"

Modules

Text

Chadtech/dependent-text/1.0.0

Text

Modules