Safe Haskell	Safe
Language	Haskell2010

Data.Symbol.Ascii

Synopsis

Documentation

type family Head (sym :: Symbol) :: Symbol where ... Source #

Compute the first character of a type-level symbol

Equations

Head "" = ""
Head sym = Lookup sym "" Chars

type family ToList (sym :: Symbol) :: [Symbol] where ... Source #

Convert the symbol into a list of characters

Equations

ToList sym = ToList1 sym Chars ""

type family ToUpper (sym :: Symbol) :: Symbol where ... Source #

Convert the symbol to uppercase

Equations

ToUpper sym = ToUpper1 (ToList sym)

type family ToLower (sym :: Symbol) :: Symbol where ... Source #

Convert the symbol to lowercase

Equations

ToLower sym = ToLower1 (ToList sym)

type family ReadNat (sym :: Symbol) :: Nat where ... Source #

Parse a natural number

Equations

ReadNat sym = ReadNat1 sym (ToList sym)