Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Modulenatural-arithmetic-0.2.4.0Haskell2010

Arithmetic.Equal

Synopsis

value symmetric
value symmetric#
value plusR
value plusL
value plusR#
value plusL#
value lift
value unlift

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