Idris2Doc : Text.ILex.RExp.Unicode

Text.ILex.RExp.Unicode

(source)

Definitions

unassigned : RExpTrue
  Currently unassigned unicode code points (General Category: Cn).

Totality: total
Visibility: export
uppercaseLetter : RExpTrue
  Unicode codepoints of the `Uppercase_Letter` (Lu)
general category

Totality: total
Visibility: export
lowercaseLetter : RExpTrue
  Unicode codepoints of the `Lowercase_Letter` (Ll)
general category

Totality: total
Visibility: export
titlecaseLetter : RExpTrue
  Unicode codepoints of the `Titlecase_Letter` (Lt)
general category

Totality: total
Visibility: export
modifierLetter : RExpTrue
  Unicode codepoints of the `Modifier_Letter` (Lm)
general category

Totality: total
Visibility: export
otherLetter : RExpTrue
  Unicode codepoints of the `Other_Letter` (Lo)
general category

Totality: total
Visibility: export
letter : RExpTrue
  Unicode codepoints of the `Letter` (L)
general category

Totality: total
Visibility: export
casedLetter : RExpTrue
  Unicode codepoints of the `Cased_Letter` (LC)
general category

Totality: total
Visibility: export
nonspacingMark : RExpTrue
  Unicode codepoints of the `Nonspacing_Mark` (Mn)
general category

Totality: total
Visibility: export
enclosingMark : RExpTrue
  Unicode codepoints of the `Enclosing_Mark` (Me)
general category

Totality: total
Visibility: export
spacingMark : RExpTrue
  Unicode codepoints of the `Spacing_Mark` (Mc)
general category

Totality: total
Visibility: export
mark : RExpTrue
  Unicode codepoints of the `Mark` (M)
general category

Totality: total
Visibility: export
decimalNumber : RExpTrue
  Unicode codepoints of the `Decimal_Number` (Nd)
general category

Totality: total
Visibility: export
letterNumber : RExpTrue
  Unicode codepoints of the `Letter_Number` (Nl)
general category

Totality: total
Visibility: export
otherNumber : RExpTrue
  Unicode codepoints of the `Other_Number` (No)
general category

Totality: total
Visibility: export
number : RExpTrue
  Unicode codepoints of the `Number` (N)
general category

Totality: total
Visibility: export
spaceSeparator : RExpTrue
  Unicode codepoints of the `Space_Separator` (Zs)
general category

Totality: total
Visibility: export
lineSeparator : RExpTrue
  Unicode codepoints of the `Line_Separator` (Zl)
general category

Totality: total
Visibility: export
paragraphSeparator : RExpTrue
  Unicode codepoints of the `Paragraph_Separator` (Zp)
general category

Totality: total
Visibility: export
separator : RExpTrue
  Unicode codepoints of the `Separator` (Z)
general category

Totality: total
Visibility: export
control : RExpTrue
  Unicode codepoints of the `Control` (Cc)
general category

Totality: total
Visibility: export
format : RExpTrue
  Unicode codepoints of the `Format` (Cf)
general category

Totality: total
Visibility: export
privateUse : RExpTrue
  Unicode codepoints of the `Private_Use` (Co)
general category

Totality: total
Visibility: export
dashPunctuation : RExpTrue
  Unicode codepoints of the `Dash_Punctuation` (Pd)
general category

Totality: total
Visibility: export
openPunctuation : RExpTrue
  Unicode codepoints of the `Open_Punctuation` (Ps)
general category

Totality: total
Visibility: export
closePunctuation : RExpTrue
  Unicode codepoints of the `Close_Punctuation` (Pe)
general category

Totality: total
Visibility: export
connectorPunctuation : RExpTrue
  Unicode codepoints of the `Connector_Punctuation` (Pc)
general category

Totality: total
Visibility: export
otherPunctuation : RExpTrue
  Unicode codepoints of the `Other_Punctuation` (Po)
general category

Totality: total
Visibility: export
initialPunctuation : RExpTrue
  Unicode codepoints of the `Initial_Punctuation` (Pi)
general category

Totality: total
Visibility: export
finalPunctuation : RExpTrue
  Unicode codepoints of the `Final_Punctuation` (Pf)
general category

Totality: total
Visibility: export
punctuation : RExpTrue
  Unicode codepoints of the `Punctuation` (P)
general category

Totality: total
Visibility: export
mathSymbol : RExpTrue
  Unicode codepoints of the `Math_Symbol` (Sm)
general category

Totality: total
Visibility: export
currencySymbol : RExpTrue
  Unicode codepoints of the `Currency_Symbol` (Sc)
general category

Totality: total
Visibility: export
modifierSymbol : RExpTrue
  Unicode codepoints of the `Modifier_Symbol` (Sk)
general category

Totality: total
Visibility: export
otherSymbol : RExpTrue
  Unicode codepoints of the `Other_Symbol` (So)
general category

Totality: total
Visibility: export
symbol : RExpTrue
  Unicode codepoints of the `Symbol` (S)
general category

Totality: total
Visibility: export
other : RExpTrue
  Unicode codepoints of the `Other` (C)
general category

Totality: total
Visibility: export