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

NatOptics.Signed

Documentation

data Signed n Source #

Constructors

Zero 
Minus (Positive n) 
Plus (Positive n) 

Instances

Instances details
Eq n => Eq (Signed n) Source # 
Instance details

Defined in NatOptics.Signed

Methods

(==) :: Signed n -> Signed n -> Bool #

(/=) :: Signed n -> Signed n -> Bool #

Ord n => Ord (Signed n) Source # 
Instance details

Defined in NatOptics.Signed

Methods

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 #

Show n => Show (Signed n) Source # 
Instance details

Defined in NatOptics.Signed

Methods

showsPrec :: Int -> Signed n -> ShowS #

show :: Signed n -> String #

showList :: [Signed n] -> ShowS #