Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

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