GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02
Package sets
Modulenatural-arithmetic-0.2.4.0Haskell2010
symmetric :: m :=: n -> n :=: m
symmetric# :: m :=:# n -> n :=:# m
plusR :: m :=: n -> (m + c) :=: (n + c)
plusL :: m :=: n -> (c + m) :=: (c + n)
plusR# :: m :=:# n -> (m + c) :=:# (n + c)
plusL# :: m :=:# n -> (c + m) :=:# (c + n)
lift :: m :=:# n -> m :=: n
unlift :: m :=: n -> m :=:# n