Hedgehog.Gen.Unicode

Generators for typical unicode ranges and categories

Definitions

charHex : Bits32 -> Gen Char

Totality: total
Visibility: export

rangeHex : Bits32 -> Bits32 -> Gen Char

Totality: total
Visibility: export

unassigned : Gen Char

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

Totality: total
Visibility: export

uppercaseLetter : Gen Char

  Unicode codepoints of the `Uppercase_Letter` (Lu)
  general category

Totality: total
Visibility: export

lowercaseLetter : Gen Char

  Unicode codepoints of the `Lowercase_Letter` (Ll)
  general category

Totality: total
Visibility: export

titlecaseLetter : Gen Char

  Unicode codepoints of the `Titlecase_Letter` (Ll)
  general category

Totality: total
Visibility: export

modifierLetter : Gen Char

  Unicode codepoints of the `Modifier_Letter` (Lm)
  general category

Totality: total
Visibility: export

otherLetter : Gen Char

  Unicode codepoints of the `Other_Letter` (Lo)
  general category

Totality: total
Visibility: export

letter : Gen Char

  Unicode codepoints of the `Letter` (L)
  general category

Totality: total
Visibility: export

casedLetter : Gen Char

  Unicode codepoints of the `Cased_Letter` (LC)
  general category

Totality: total
Visibility: export

nonspacingMark : Gen Char

  Unicode codepoints of the `Nonspacing_Mark` (Mn)
  general category

Totality: total
Visibility: export

enclosingMark : Gen Char

  Unicode codepoints of the `Enclosing_Mark` (Me)
  general category

Totality: total
Visibility: export

spacingMark : Gen Char

  Unicode codepoints of the `Spacing_Mark` (Mc)
  general category

Totality: total
Visibility: export

mark : Gen Char

  Unicode codepoints of the `Mark` (M)
  general category

Totality: total
Visibility: export

decimalNumber : Gen Char

  Unicode codepoints of the `Decimal_Number` (Nd)
  general category

Totality: total
Visibility: export

letterNumber : Gen Char

  Unicode codepoints of the `Letter_Number` (Nl)
  general category

Totality: total
Visibility: export

otherNumber : Gen Char

  Unicode codepoints of the `Other_Number` (No)
  general category

Totality: total
Visibility: export

number : Gen Char

  Unicode codepoints of the `Number` (N)
  general category

Totality: total
Visibility: export

spaceSeparator : Gen Char

  Unicode codepoints of the `Space_Separator` (Zs)
  general category

Totality: total
Visibility: export

lineSeparator : Gen Char

  Unicode codepoints of the `Line_Separator` (Zl)
  general category

Totality: total
Visibility: export

paragraphSeparator : Gen Char

  Unicode codepoints of the `Paragraph_Separator` (Zp)
  general category

Totality: total
Visibility: export

separator : Gen Char

  Unicode codepoints of the `Separator` (Z)
  general category

Totality: total
Visibility: export

control : Gen Char

  Unicode codepoints of the `Control` (Cc)
  general category

Totality: total
Visibility: export

format : Gen Char

  Unicode codepoints of the `Format` (Cf)
  general category

Totality: total
Visibility: export

privateUse : Gen Char

  Unicode codepoints of the `Private_Use` (Co)
  general category

Totality: total
Visibility: export

dashPunctuation : Gen Char

  Unicode codepoints of the `Dash_Punctuation` (Pd)
  general category

Totality: total
Visibility: export

openPunctuation : Gen Char

  Unicode codepoints of the `Open_Punctuation` (Ps)
  general category

Totality: total
Visibility: export

closePunctuation : Gen Char

  Unicode codepoints of the `Close_Punctuation` (Pe)
  general category

Totality: total
Visibility: export

connectorPunctuation : Gen Char

  Unicode codepoints of the `Connector_Punctuation` (Pc)
  general category

Totality: total
Visibility: export

otherPunctuation : Gen Char

  Unicode codepoints of the `Other_Punctuation` (Po)
  general category

Totality: total
Visibility: export

initialPunctuation : Gen Char

  Unicode codepoints of the `Initial_Punctuation` (Pi)
  general category

Totality: total
Visibility: export

finalPunctuation : Gen Char

  Unicode codepoints of the `Final_Punctuation` (Pf)
  general category

Totality: total
Visibility: export

punctuation : Gen Char

  Unicode codepoints of the `Punctuation` (P)
  general category

Totality: total
Visibility: export

mathSymbol : Gen Char

  Unicode codepoints of the `Math_Symbol` (Sm)
  general category

Totality: total
Visibility: export

currencySymbol : Gen Char

  Unicode codepoints of the `Currency_Symbol` (Sc)
  general category

Totality: total
Visibility: export

modifierSymbol : Gen Char

  Unicode codepoints of the `Modifier_Symbol` (Sk)
  general category

Totality: total
Visibility: export

otherSymbol : Gen Char

  Unicode codepoints of the `Other_Symbol` (So)
  general category

Totality: total
Visibility: export

symbol : Gen Char

  Unicode codepoints of the `Symbol` (S)
  general category

Totality: total
Visibility: export

other : Gen Char

  Unicode codepoints of the `Other` (C)
  general category

Totality: total
Visibility: export