NatOptics.Signed
data Signed n Source #
Constructors
Defined in NatOptics.Signed
Methods
(==) :: Signed n -> Signed n -> Bool #
(/=) :: Signed n -> Signed n -> Bool #
compare :: Signed n -> Signed n -> Ordering #
(<) :: Signed n -> Signed n -> Bool #
(<=) :: Signed n -> Signed n -> Bool #
(>) :: Signed n -> Signed n -> Bool #
(>=) :: Signed n -> Signed n -> Bool #
max :: Signed n -> Signed n -> Signed n #
min :: Signed n -> Signed n -> Signed n #
showsPrec :: Int -> Signed n -> ShowS #
show :: Signed n -> String #
showList :: [Signed n] -> ShowS #
intIso :: Iso' Integer (Signed Integer) Source #
intNatIso :: Iso' Integer (Signed Natural) Source #