Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulenatural-arithmetic-0.2.1.0Haskell2010

Arithmetic.Equal

6 values

Packagenatural-arithmetic-0.2.1.0
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause

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