NatOptics.Positive.Unsafe

Documentation

newtype Positive number

Constructors

PositiveUnsafe

Fields

• number :: number

Instances

Show number => Show (Positive number)

Defined in NatOptics.Positive.Unsafe

Methods

showsPrec :: Int -> Positive number -> ShowS

show :: Positive number -> String

showList :: [Positive number] -> ShowS

Eq number => Eq (Positive number)

Defined in NatOptics.Positive.Unsafe

Methods

(==) :: Positive number -> Positive number -> Bool

(/=) :: Positive number -> Positive number -> Bool

Ord number => Ord (Positive number)

Defined in NatOptics.Positive.Unsafe

Methods

compare :: Positive number -> Positive number -> Ordering

(<) :: Positive number -> Positive number -> Bool

(<=) :: Positive number -> Positive number -> Bool

(>) :: Positive number -> Positive number -> Bool

(>=) :: Positive number -> Positive number -> Bool

max :: Positive number -> Positive number -> Positive number

min :: Positive number -> Positive number -> Positive number