NatOptics.Positive.Math
minus :: (Num n, Ord n) => Positive n -> Positive n -> Signed n Source #
plus :: Num n => Positive n -> Positive n -> Positive n Source #
absoluteDifference :: (Num n, Ord n) => Positive n -> Positive n -> NonNegative n Source #