symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.While.Predicates

Description

Character predicates.

raehik copied his module from Symparsec.

Synopsis

Documentation

type family IsAlpha (ch :: Char) :: Bool where ... Source #

A-Za-z

Equations

IsAlpha 'a' = 'True 
IsAlpha 'A' = 'True 
IsAlpha 'b' = 'True 
IsAlpha 'B' = 'True 
IsAlpha 'c' = 'True 
IsAlpha 'C' = 'True 
IsAlpha 'd' = 'True 
IsAlpha 'D' = 'True 
IsAlpha 'e' = 'True 
IsAlpha 'E' = 'True 
IsAlpha 'f' = 'True 
IsAlpha 'F' = 'True 
IsAlpha 'g' = 'True 
IsAlpha 'G' = 'True 
IsAlpha 'h' = 'True 
IsAlpha 'H' = 'True 
IsAlpha 'i' = 'True 
IsAlpha 'I' = 'True 
IsAlpha 'j' = 'True 
IsAlpha 'J' = 'True 
IsAlpha 'k' = 'True 
IsAlpha 'K' = 'True 
IsAlpha 'l' = 'True 
IsAlpha 'L' = 'True 
IsAlpha 'm' = 'True 
IsAlpha 'M' = 'True 
IsAlpha 'n' = 'True 
IsAlpha 'N' = 'True 
IsAlpha 'o' = 'True 
IsAlpha 'O' = 'True 
IsAlpha 'p' = 'True 
IsAlpha 'P' = 'True 
IsAlpha 'q' = 'True 
IsAlpha 'Q' = 'True 
IsAlpha 'r' = 'True 
IsAlpha 'R' = 'True 
IsAlpha 's' = 'True 
IsAlpha 'S' = 'True 
IsAlpha 't' = 'True 
IsAlpha 'T' = 'True 
IsAlpha 'u' = 'True 
IsAlpha 'U' = 'True 
IsAlpha 'v' = 'True 
IsAlpha 'V' = 'True 
IsAlpha 'w' = 'True 
IsAlpha 'W' = 'True 
IsAlpha 'x' = 'True 
IsAlpha 'X' = 'True 
IsAlpha 'y' = 'True 
IsAlpha 'Y' = 'True 
IsAlpha 'z' = 'True 
IsAlpha 'Z' = 'True 
IsAlpha _1 = 'False 

data IsAlphaSym (ch :: FunKind Char Bool) Source #

Instances

Instances details
type App IsAlphaSym (ch :: Char) Source # 
Instance details

Defined in Symparsec.Parser.While.Predicates

type App IsAlphaSym (ch :: Char) = IsAlpha ch

type family IsHexDigit (ch :: Char) :: Bool where ... Source #

0-9A-Fa-f

Equations

IsHexDigit '0' = 'True 
IsHexDigit '1' = 'True 
IsHexDigit '2' = 'True 
IsHexDigit '3' = 'True 
IsHexDigit '4' = 'True 
IsHexDigit '5' = 'True 
IsHexDigit '6' = 'True 
IsHexDigit '7' = 'True 
IsHexDigit '8' = 'True 
IsHexDigit '9' = 'True 
IsHexDigit 'a' = 'True 
IsHexDigit 'A' = 'True 
IsHexDigit 'b' = 'True 
IsHexDigit 'B' = 'True 
IsHexDigit 'c' = 'True 
IsHexDigit 'C' = 'True 
IsHexDigit 'd' = 'True 
IsHexDigit 'D' = 'True 
IsHexDigit 'e' = 'True 
IsHexDigit 'E' = 'True 
IsHexDigit 'f' = 'True 
IsHexDigit 'F' = 'True 
IsHexDigit _1 = 'False 

data IsHexDigitSym (ch :: FunKind Char Bool) Source #

Instances

Instances details
type App IsHexDigitSym (ch :: Char) Source # 
Instance details

Defined in Symparsec.Parser.While.Predicates

type App IsHexDigitSym (ch :: Char) = IsHexDigit ch

type family IsDecDigit (ch :: Char) :: Bool where ... Source #

0-9

Equations

IsDecDigit '0' = 'True 
IsDecDigit '1' = 'True 
IsDecDigit '2' = 'True 
IsDecDigit '3' = 'True 
IsDecDigit '4' = 'True 
IsDecDigit '5' = 'True 
IsDecDigit '6' = 'True 
IsDecDigit '7' = 'True 
IsDecDigit '8' = 'True 
IsDecDigit '9' = 'True 
IsDecDigit _1 = 'False 

data IsDecDigitSym (ch :: FunKind Char Bool) Source #

Instances

Instances details
type App IsDecDigitSym (ch :: Char) Source # 
Instance details

Defined in Symparsec.Parser.While.Predicates

type App IsDecDigitSym (ch :: Char) = IsDecDigit ch