Safe Haskell	Safe-Inferred
Language	GHC2021

Integer.Positive

Contents

Type
Conversion
Arithmetic
List

Synopsis

data Positive
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
subtract :: Positive -> Positive -> Signed
increase :: Natural -> Positive -> Positive
one :: Positive
addOne :: Positive -> Positive
subtractOne :: Positive -> Natural
length :: NonEmpty a -> Positive

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 #
Read Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods readsPrec :: Int -> ReadS Positive # readList :: ReadS [Positive] # readPrec :: ReadPrec Positive # readListPrec :: ReadPrec [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 #
Hashable Positive Source #
Instance details Defined in Integer.Positive.Unsafe Methods hashWithSalt :: Int -> Positive -> Int # hash :: Positive -> Int #
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 #
Increase Positive Source #
Instance details Defined in Integer.Increase Methods increase :: Natural -> Positive -> Positive Source #
StrictlyIncrease Positive Source #
Instance details Defined in Integer.StrictlyIncrease Methods strictlyIncrease :: Positive -> Positive -> Positive Source #
Subtraction Positive Source #
Instance details Defined in Integer.Subtraction Methods subtractInteger :: Positive -> Positive -> Integer Source # subtractSigned :: Positive -> Positive -> Signed Source #
AbsoluteDifference Positive Positive Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Positive -> Positive -> Natural Source #
AbsoluteDifference Positive Signed Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Positive -> Signed -> Natural Source #
AbsoluteDifference Positive Integer Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Positive -> Integer -> Natural Source #
AbsoluteDifference Positive Natural Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Positive -> Natural -> Natural Source #
AbsoluteDifference Signed Positive Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Signed -> Positive -> Natural Source #
AbsoluteDifference Integer Positive Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Integer -> Positive -> Natural Source #
AbsoluteDifference Natural Positive Source #
Instance details Defined in Integer.AbsoluteDifference Methods absoluteDifference :: Natural -> Positive -> Natural 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 #