arrow-refined-types / arrow.refinement.chars

Package arrow.refinement.chars

Types

Digit Digit constrains Char to a decimal digit numberclass Digit
Letter Letter constrains Char to a letterclass Letter
LetterOrDigit LetterOrDigit constrains Char to a decimal digit number or a letterclass LetterOrDigit
LowerCaseChar LowerCaseChar constrains Char to a lowercase charclass LowerCaseChar
UpperCaseChar UpperCaseChar constrains Char to a uppercase charclass UpperCaseChar
WhiteSpaceChar WhiteSpaceChar constrains Char to a white space charclass WhiteSpaceChar

Do you like Arrow?

Arrow Org
<