Safe Haskell	Safe-Inferred
Language	GHC2021

Integer.Conversion

Synopsis

class IntegerNarrow a b where
- narrow :: a -> Maybe b
class IntegerNarrow a b => IntegerConvert a b where
- convert :: a -> b
class (IntegerConvert a b, IntegerConvert b a) => IntegerEquiv a b
yolo :: (Integral a, Num b) => a -> b

Documentation

class IntegerNarrow a b where Source #

Methods

narrow :: a -> Maybe b Source #

Instances

Instances details

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 Signed Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Signed Source #
IntegerNarrow Signed Integer Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Integer Source #
IntegerNarrow Signed Natural Source #
Instance details Defined in Integer.Conversion Methods narrow :: Signed -> Maybe Natural Source #
IntegerNarrow Integer Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Positive Source #
IntegerNarrow Integer Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Signed Source #
IntegerNarrow Integer Integer Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Integer Source #
IntegerNarrow Integer Natural Source #
Instance details Defined in Integer.Conversion Methods narrow :: Integer -> Maybe Natural Source #
IntegerNarrow Natural Positive Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Positive Source #
IntegerNarrow Natural Signed Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Signed Source #
IntegerNarrow Natural Integer Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Integer Source #
IntegerNarrow Natural Natural Source #
Instance details Defined in Integer.Conversion Methods narrow :: Natural -> Maybe Natural Source #

class IntegerNarrow a b => IntegerConvert a b where Source #

Methods

convert :: a -> b Source #

Instances

Instances details

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 #
IntegerConvert Signed Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Signed -> Signed Source #
IntegerConvert Signed Integer Source #
Instance details Defined in Integer.Conversion Methods convert :: Signed -> Integer Source #
IntegerConvert Integer Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Integer -> Signed Source #
IntegerConvert Integer Integer Source #
Instance details Defined in Integer.Conversion Methods convert :: Integer -> Integer Source #
IntegerConvert Natural Signed Source #
Instance details Defined in Integer.Conversion Methods convert :: Natural -> Signed Source #
IntegerConvert Natural Integer Source #
Instance details Defined in Integer.Conversion Methods convert :: Natural -> Integer Source #
IntegerConvert Natural Natural Source #
Instance details Defined in Integer.Conversion Methods convert :: Natural -> Natural Source #

class (IntegerConvert a b, IntegerConvert b a) => IntegerEquiv a b Source #

Instances

Instances details

IntegerEquiv Positive Positive Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Signed Signed Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Signed Integer Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Integer Signed Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Integer Integer Source #
Instance details Defined in Integer.Conversion
IntegerEquiv Natural Natural Source #
Instance details Defined in Integer.Conversion

yolo :: (Integral a, Num b) => a -> b Source #

Partial conversion between Integral types via Integer

yolo = fromInteger . toInteger