Module

Type.Char

Package: purescript-typelevel-regex
Repository: thought2/purescript-typelevel-regex

#Char' Source

data Char'

#UnsafeMkChar Source

data UnsafeMkChar :: Symbol -> Char'data UnsafeMkChar t0

#IsEmptyOrFail Source

class IsEmptyOrFail :: Doc -> Symbol -> Constraintclass IsEmptyOrFail (err :: Doc) (s :: Symbol)

Instances

IsEmptyOrFail err ""
(Fail err) => IsEmptyOrFail err s

#SymIsChar Source

class SymIsChar :: Symbol -> Char' -> Constraintclass SymIsChar (s :: Symbol) (char :: Char') | s -> char

#symIsChar Source

symIsChar :: forall @sym @char. SymIsChar sym char => Unit

Modules: Type.Char; Type.Regex; Type.Regex.AsciiTable; Type.Regex.CST; Type.Regex.Compile; Type.Regex.Match; Type.Regex.Parse; Type.Regex.Print; Type.Regex.RegexRep