nat-optics-1.0.1.0: Refinement types for natural numbers with an optics interface
Safe HaskellTrustworthy
LanguageHaskell2010

NatOptics.Positive.Math

Documentation

minus :: (Num n, Ord n) => Positive n -> Positive n -> Signed n Source #

plus :: Num n => Positive n -> Positive n -> Positive n Source #