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

NatOptics.NonNegative.Unsafe

Documentation

newtype NonNegative number Source #

Constructors

NonNegativeUnsafe 

Fields

Instances

Instances details
Eq number => Eq (NonNegative number) Source # 
Instance details

Defined in NatOptics.NonNegative.Unsafe

Methods

(==) :: NonNegative number -> NonNegative number -> Bool #

(/=) :: NonNegative number -> NonNegative number -> Bool #

Ord number => Ord (NonNegative number) Source # 
Instance details

Defined in NatOptics.NonNegative.Unsafe

Methods

compare :: NonNegative number -> NonNegative number -> Ordering #

(<) :: NonNegative number -> NonNegative number -> Bool #

(<=) :: NonNegative number -> NonNegative number -> Bool #

(>) :: NonNegative number -> NonNegative number -> Bool #

(>=) :: NonNegative number -> NonNegative number -> Bool #

max :: NonNegative number -> NonNegative number -> NonNegative number #

min :: NonNegative number -> NonNegative number -> NonNegative number #

Show number => Show (NonNegative number) Source # 
Instance details

Defined in NatOptics.NonNegative.Unsafe

Methods

showsPrec :: Int -> NonNegative number -> ShowS #

show :: NonNegative number -> String #

showList :: [NonNegative number] -> ShowS #