integer-types-0.1.4.0: Integer, Natural, and Positive
Safe HaskellSafe-Inferred
LanguageGHC2021

Integer.Finite

Documentation

class ConvertWithFinite a where Source #

Methods

toWord :: a -> Maybe Word Source #

fromWord :: Word -> Maybe a Source #

toInt :: a -> Maybe Int Source #

fromInt :: Int -> Maybe a Source #

Instances

Instances details
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 #

ConvertWithFinite Signed Source # 
Instance details

Defined in Integer.Finite

Methods

toWord :: Signed -> Maybe Word Source #

fromWord :: Word -> Maybe Signed Source #

toInt :: Signed -> Maybe Int Source #

fromInt :: Int -> Maybe Signed Source #

ConvertWithFinite Integer Source # 
Instance details

Defined in Integer.Finite

Methods

toWord :: Integer -> Maybe Word Source #

fromWord :: Word -> Maybe Integer Source #

toInt :: Integer -> Maybe Int Source #

fromInt :: Int -> Maybe Integer Source #

ConvertWithFinite Natural Source # 
Instance details

Defined in Integer.Finite

Methods

toWord :: Natural -> Maybe Word Source #

fromWord :: Word -> Maybe Natural Source #

toInt :: Natural -> Maybe Int Source #

fromInt :: Int -> Maybe Natural Source #

class (Bounded b, Integral b) => Finite b where Source #

Methods

toFinite :: ConvertWithFinite a => a -> Maybe b Source #

fromFinite :: ConvertWithFinite a => b -> Maybe a Source #

Instances

Instances details
Finite Int Source # 
Instance details

Defined in Integer.Finite

Methods

toFinite :: ConvertWithFinite a => a -> Maybe Int Source #

fromFinite :: ConvertWithFinite a => Int -> Maybe a Source #

Finite Word Source # 
Instance details

Defined in Integer.Finite

Methods

toFinite :: ConvertWithFinite a => a -> Maybe Word Source #

fromFinite :: ConvertWithFinite a => Word -> Maybe a Source #