HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulefcf-containers-0.8.2Haskell2010

Fcf.Alg.Nat

Fcf.Data.Nat

  • 2 types
datadata (==) (a :: Nat) (b :: Nat) (c :: Bool)
#

Nat equality.

Example1 expression
:kind! Eval (2 == 2)Eval (2 == 2) :: Bool= 'True
Example1 expression
:kind! Eval (2 == 3)Eval (2 == 3) :: Bool= 'False
Instances1Eval
  • type Eval (a == b) = Eval ((a <=? b) && (b <=? a))Defined in fcf-containers-0.8.2 · Fcf.Alg.Nat
datadata (/=) (a :: Nat) (b :: Nat) (c :: Bool)
#

Nat in-equality.

Example1 expression
:kind! Eval (2 /= 2)Eval (2 /= 2) :: Bool= 'False
Example1 expression
:kind! Eval (2 /= 3)Eval (2 /= 3) :: Bool= 'True
Instances1Eval