ASCII.TemplateHaskell

Monomorphic

Character

charExp :: Char -> Q Exp

$(charExp CapitalLetterF) == CapitalLetterF

charPat :: Char -> Q Pat

let
    x = case SmallLetterS of
          $(charPat SmallLetterR) -> 1
          $(charPat SmallLetterS) -> 2
          _ -> 3
in
    x == 2

String

charListExp :: [Char] -> Q Exp

$(charListExp [CapitalLetterH, SmallLetterI]) == [CapitalLetterH, SmallLetterI]

charListPat :: [Char] -> Q Pat

let
    x = case [CapitalLetterH, SmallLetterI] of
          $(charListPat [CapitalLetterH, SmallLetterA]) -> 1
          $(charListPat [CapitalLetterH, SmallLetterI]) -> 2
          _ -> 3
in
    x == 2

Caseless string

caselessListExp :: [CaselessChar] -> Q Exp

Expression with a FromChar constraint

$(isCharExp CapitalLetterA) == CapitalLetterA

$(isCharExp CapitalLetterA) == (65 :: Word8)

$(isCharExp CapitalLetterA) == (asciiUnsafe 65 :: ASCII Word8)

caselessListPat :: [CaselessChar] -> Q Pat

Polymorphic

Character

isCharExp :: Char -> Q Exp

isCharPat :: Char -> Q Pat

Pattern that matches a type with a ToChar constraint

let
    x = case (66 :: Word8) of
          $(isCharPat CapitalLetterA) -> 1
          $(isCharPat CapitalLetterB) -> 2
          _                           -> 3
in
    x == 2

String

isStringExp :: [Char] -> Q Exp

Expression with a FromString constraint

isStringPat :: [Char] -> Q Pat

Pattern that matches a type with a ToString constraint

Caseless string

caselessIsStringPat :: [CaselessChar] -> Q Pat

Matches a value of any type belonging to the ToCaselessString class, as if it were a list of CaselessChar