Safe Haskell	Safe-Inferred
Language	GHC2021

Integer.Positive

Contents

Type
Subtraction
Conversion
One (1)

Synopsis

data Positive
subtract :: Positive -> Positive -> Signed
toNatural :: Positive -> Natural
fromNatural :: Natural -> Maybe Positive
toInteger :: Positive -> Integer
fromInteger :: Integer -> Maybe Positive
toSigned :: Positive -> Signed
fromSigned :: Signed -> Maybe Positive
toInt :: Positive -> Maybe Int
fromInt :: Int -> Maybe Positive
toWord :: Positive -> Maybe Word
fromWord :: Word -> Maybe Positive
one :: Positive
addOne :: Positive -> Positive
subtractOne :: Positive -> Natural

Type

data Positive Source #

Instances

Instances details

Enum Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods succ :: Positive -> Positive # pred :: Positive -> Positive # toEnum :: Int -> Positive # fromEnum :: Positive -> Int # enumFrom :: Positive -> [Positive] # enumFromThen :: Positive -> Positive -> [Positive] # enumFromTo :: Positive -> Positive -> [Positive] # enumFromThenTo :: Positive -> Positive -> Positive -> [Positive] #
Num Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods (+) :: Positive -> Positive -> Positive # (-) :: Positive -> Positive -> Positive # (*) :: Positive -> Positive -> Positive # negate :: Positive -> Positive # abs :: Positive -> Positive # signum :: Positive -> Positive # fromInteger :: Integer -> Positive #
Integral Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods quot :: Positive -> Positive -> Positive # rem :: Positive -> Positive -> Positive # div :: Positive -> Positive -> Positive # mod :: Positive -> Positive -> Positive # quotRem :: Positive -> Positive -> (Positive, Positive) # divMod :: Positive -> Positive -> (Positive, Positive) # toInteger :: Positive -> Integer #
Real Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods toRational :: Positive -> Rational #
Show Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods showsPrec :: Int -> Positive -> ShowS # show :: Positive -> String # showList :: [Positive] -> ShowS #
NFData Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods rnf :: Positive -> () #
Eq Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods (==) :: Positive -> Positive -> Bool # (/=) :: Positive -> Positive -> Bool #
Ord Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods compare :: Positive -> Positive -> Ordering # (<) :: Positive -> Positive -> Bool # (<=) :: Positive -> Positive -> Bool # (>) :: Positive -> Positive -> Bool # (>=) :: Positive -> Positive -> Bool # max :: Positive -> Positive -> Positive # min :: Positive -> Positive -> Positive #
BoundedBelow Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods minBound :: Positive Source #
ConvertWithFinite Positive Source #
Instance details Defined in Integer.Finite Methods toWord :: Positive -> Maybe Word Source # fromWord :: Word -> Maybe Positive Source # toInt :: Positive -> Maybe Int Source # fromInt :: Int -> Maybe Positive Source #
Subtraction Positive Source #
Instance details Defined in Integer.Subtraction Methods subtractInteger :: Positive -> Positive -> Integer Source # subtractSigned :: Positive -> Positive -> Signed Source #
IntegerConvert Positive Positive Source #
Instance details Defined in Integer.Conversion Methods convert :: Positive -> Positive Source #
IntegerConvert Positive Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Positive -> Signed Source #
IntegerConvert Positive Integer Source #
Instance details Defined in Integer.Conversion Methods convert :: Positive -> Integer Source #
IntegerConvert Positive Natural Source #
Instance details Defined in Integer.Conversion Methods convert :: Positive -> Natural Source #
IntegerEquiv Positive Positive Source #
Instance details Defined in Integer.Conversion
IntegerNarrow Positive Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Positive -> Maybe Positive Source #
IntegerNarrow Positive Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Positive -> Maybe Signed Source #
IntegerNarrow Positive Integer Source #
Instance details Defined in Integer.Conversion Methods narrow :: Positive -> Maybe Integer Source #
IntegerNarrow Positive Natural Source #
Instance details Defined in Integer.Conversion Methods narrow :: Positive -> Maybe Natural Source #
IntegerNarrow Signed Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Positive Source #
IntegerNarrow Integer Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Positive Source #
IntegerNarrow Natural Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Positive Source #