Copyright | (c) gspia 2020- |
---|---|
License | BSD |
Maintainer | gspia |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Fcf.Data.Char
Synopsis
- data IsSpace :: Char -> Exp Bool
- data IsNewLine :: Char -> Exp Bool
- data IsTab :: Char -> Exp Bool
- data IsSpaceDelim :: Char -> Exp Bool
- data IsDigit :: Char -> Exp Bool
- data CharOrd :: Char -> Char -> Exp Ordering
- data (<=) :: Char -> Char -> Exp Bool
- data (>=) :: Char -> Char -> Exp Bool
- data (<) :: Char -> Char -> Exp Bool
- data (>) :: Char -> Char -> Exp Bool
- data (==) :: Char -> Char -> Exp Bool
Documentation
data IsSpace :: Char -> Exp Bool Source #
IsSpace
Example
>>>
:kind! Eval (IsSpace 'a')
Eval (IsSpace 'a') :: Bool = 'False
>>>
:kind! Eval (IsSpace ' ')
Eval (IsSpace ' ') :: Bool = 'True
data IsNewLine :: Char -> Exp Bool Source #
IsNewline
Example
>>>
:kind! Eval (IsNewLine 'a')
Eval (IsNewLine 'a') :: Bool = 'False
>>>
:kind! Eval (IsNewLine '\n')
Eval (IsNewLine '\n') :: Bool = 'True
data IsTab :: Char -> Exp Bool Source #
IsTab
Example
>>>
:kind! Eval (IsTab 'a')
Eval (IsTab 'a') :: Bool = 'False
>>>
:kind! Eval (IsTab '\t')
Eval (IsTab '\t') :: Bool = 'True
data IsSpaceDelim :: Char -> Exp Bool Source #
IsSpaceDelim
Example
>>>
:kind! Eval (IsSpaceDelim 'a')
Eval (IsSpaceDelim 'a') :: Bool = 'False
>>>
:kind! Eval (IsSpaceDelim '\n')
Eval (IsSpaceDelim '\n') :: Bool = 'True
data IsDigit :: Char -> Exp Bool Source #
IsDigit
Example
>>>
:kind! Eval (IsDigit '3')
Eval (IsDigit '3') :: Bool = 'True
>>>
:kind! Eval (IsDigit 'a')
Eval (IsDigit 'a') :: Bool = 'False
data CharOrd :: Char -> Char -> Exp Ordering Source #
CharOrd - compare two symbols and give type-level Ordering ( $ 'LT $, $ 'EQ $ or $ 'GT $ ).
Example
>>>
:kind! Eval (CharOrd 'a' 'b')
Eval (CharOrd 'a' 'b') :: Ordering = 'LT
data (<=) :: Char -> Char -> Exp Bool Source #
Less-than-or-equal comparison for symbols.
Example
>>>
:kind! Eval ('b' <= 'a')
Eval ('b' <= 'a') :: Bool = 'False
data (>=) :: Char -> Char -> Exp Bool Source #
Larger-than-or-equal comparison for symbols.
Example
>>>
:kind! Eval ('b' >= 'a')
Eval ('b' >= 'a') :: Bool = 'True
data (<) :: Char -> Char -> Exp Bool Source #
Less-than comparison for symbols.
Example
>>>
:kind! Eval ('a' < 'b')
Eval ('a' < 'b') :: Bool = 'True