Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Modulenatural-arithmetic-0.2.4.0Haskell2010

Arithmetic.Equal

8 values

Packagenatural-arithmetic-0.2.4.0
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause

valuesymmetric :: m :=: n -> n :=: m

valuesymmetric# :: m :=:# n -> n :=:# m

valueplusR :: m :=: n -> (m + c) :=: (n + c)

valueplusL :: m :=: n -> (c + m) :=: (c + n)

valueplusR# :: m :=:# n -> (m + c) :=:# (n + c)

valueplusL# :: m :=:# n -> (c + m) :=:# (c + n)

valuelift :: m :=:# n -> m :=: n

valueunlift :: m :=: n -> m :=:# n