IsSpace
Example
:kind! Eval (IsSpace 'a')Eval (IsSpace 'a') :: Bool= 'False
:kind! Eval (IsSpace ' ')Eval (IsSpace ' ') :: Bool= 'True
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulefcf-containers-0.8.2Haskell2010
IsSpace
:kind! Eval (IsSpace 'a')Eval (IsSpace 'a') :: Bool= 'False
:kind! Eval (IsSpace ' ')Eval (IsSpace ' ') :: Bool= 'True
IsNewline
:kind! Eval (IsNewLine 'a')Eval (IsNewLine 'a') :: Bool= 'False
:kind! Eval (IsNewLine '\n')Eval (IsNewLine '\n') :: Bool= 'True
IsTab
:kind! Eval (IsTab 'a')Eval (IsTab 'a') :: Bool= 'False
:kind! Eval (IsTab '\t')Eval (IsTab '\t') :: Bool= 'True
IsSpaceDelim
:kind! Eval (IsSpaceDelim 'a')Eval (IsSpaceDelim 'a') :: Bool= 'False
:kind! Eval (IsSpaceDelim '\n')Eval (IsSpaceDelim '\n') :: Bool= 'True
IsDigit
:kind! Eval (IsDigit '3')Eval (IsDigit '3') :: Bool= 'True
:kind! Eval (IsDigit 'a')Eval (IsDigit 'a') :: Bool= 'False
CharOrd - compare two symbols and give type-level Ordering ( $ 'LT $, $ 'EQ $ or $ 'GT $ ).
:kind! Eval (CharOrd 'a' 'b')Eval (CharOrd 'a' 'b') :: Ordering= 'LT
Less-than-or-equal comparison for symbols.
:kind! Eval ('b' <= 'a')Eval ('b' <= 'a') :: Bool= 'False
Larger-than-or-equal comparison for symbols.
:kind! Eval ('b' >= 'a')Eval ('b' >= 'a') :: Bool= 'True
Less-than comparison for symbols.
:kind! Eval ('a' < 'b')Eval ('a' < 'b') :: Bool= 'True
Larger-than comparison for symbols.
:kind! Eval ('b' > 'a')Eval ('b' > 'a') :: Bool= 'True
Equality of symbols
:kind! Eval ('b' == 'a')Eval ('b' == 'a') :: Bool= 'False