Modulefcf-containers-0.8.2Haskell2010

Fcf.Alg.Nat

Synopsis

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

type Eval (a /= b) = Eval (Eval (a < b) || Eval (b < a))Defined in fcf-containers-0.8.2 · Fcf.Alg.Nat