HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulefcf-containers-0.8.2Haskell2010

Fcf.Data.Char

Fcf.Data.Char

  • 11 types
datadata IsSpace (a :: Char) (b :: Bool)
#

IsSpace

Example
Example1 expression
:kind! Eval (IsSpace 'a')Eval (IsSpace 'a') :: Bool= 'False
Example1 expression
:kind! Eval (IsSpace ' ')Eval (IsSpace ' ') :: Bool= 'True
Instances1Eval
  • type Eval (IsSpace s) = Eval (s == ' ')Defined in fcf-containers-0.8.2 · Fcf.Data.Char
datadata IsNewLine (a :: Char) (b :: Bool)
#

IsNewline

Example
Example1 expression
:kind! Eval (IsNewLine 'a')Eval (IsNewLine 'a') :: Bool= 'False
Example1 expression
:kind! Eval (IsNewLine '\n')Eval (IsNewLine '\n') :: Bool= 'True
Instances1Eval
datadata IsTab (a :: Char) (b :: Bool)
#

IsTab

Example
Example1 expression
:kind! Eval (IsTab 'a')Eval (IsTab 'a') :: Bool= 'False
Example1 expression
:kind! Eval (IsTab '\t')Eval (IsTab '\t') :: Bool= 'True
Instances1Eval
  • type Eval (IsTab s) = Eval (s == '\t')Defined in fcf-containers-0.8.2 · Fcf.Data.Char
datadata IsSpaceDelim (a :: Char) (b :: Bool)
#

IsSpaceDelim

Example
Example1 expression
:kind! Eval (IsSpaceDelim 'a')Eval (IsSpaceDelim 'a') :: Bool= 'False
Example1 expression
:kind! Eval (IsSpaceDelim '\n')Eval (IsSpaceDelim '\n') :: Bool= 'True
Instances1Eval
datadata IsDigit (a :: Char) (b :: Bool)
#

IsDigit

Example
Example1 expression
:kind! Eval (IsDigit '3')Eval (IsDigit '3') :: Bool= 'True
Example1 expression
:kind! Eval (IsDigit 'a')Eval (IsDigit 'a') :: Bool= 'False
Instances1Eval
  • type Eval (IsDigit s) = Eval (Elem s '['0', '1', '2', '3', '4', '5', '6', '7', '8', '9'])Defined in fcf-containers-0.8.2 · Fcf.Data.Char
datadata CharOrd (a :: Char) (b :: Char) (c :: Ordering)
#

CharOrd - compare two symbols and give type-level Ordering ( $ 'LT $, $ 'EQ $ or $ 'GT $ ).

Example
Example1 expression
:kind! Eval (CharOrd 'a' 'b')Eval (CharOrd 'a' 'b') :: Ordering= 'LT
Instances1Eval
datadata (<=) (a :: Char) (b :: Char) (c :: Bool)
#

Less-than-or-equal comparison for symbols.

Example
Example1 expression
:kind! Eval ('b' <= 'a')Eval ('b' <= 'a') :: Bool= 'False
Instances1Eval
datadata (>=) (a :: Char) (b :: Char) (c :: Bool)
#

Larger-than-or-equal comparison for symbols.

Example
Example1 expression
:kind! Eval ('b' >= 'a')Eval ('b' >= 'a') :: Bool= 'True
Instances1Eval
datadata (<) (a :: Char) (b :: Char) (c :: Bool)
#

Less-than comparison for symbols.

Example
Example1 expression
:kind! Eval ('a' < 'b')Eval ('a' < 'b') :: Bool= 'True
Instances1Eval
datadata (>) (a :: Char) (b :: Char) (c :: Bool)
#

Larger-than comparison for symbols.

Example
Example1 expression
:kind! Eval ('b' > 'a')Eval ('b' > 'a') :: Bool= 'True
Instances1Eval
datadata (==) (a :: Char) (b :: Char) (c :: Bool)
#

Equality of symbols

Example
Example1 expression
:kind! Eval ('b' == 'a')Eval ('b' == 'a') :: Bool= 'False
Instances1Eval