basement-0.0.12: Foundation scrap box of array & string
Safe HaskellNone
LanguageHaskell2010

Basement.IntegralConv

Synopsis

Documentation

class IntegralDownsize a b where #

Downsize an integral value

Minimal complete definition

integralDownsizeCheck

Methods

integralDownsize :: a -> b #

default integralDownsize :: a ~ b => a -> b #

integralDownsizeCheck :: a -> Maybe b #

Instances

Instances details
IntegralDownsize Int Int8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int Int16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int Int32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int64 Int # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int64 Int8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int64 Int16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Int64 Int32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Int8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Int16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Int32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Int64 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Natural # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Word32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Integer Word64 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word64 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word Word32 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word16 Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word32 Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word32 Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word64 Word8 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word64 Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Word64 Word32 # 
Instance details

Defined in Basement.IntegralConv

class IntegralUpsize a b where #

Upsize an integral value

The destination type b size need to be greater or equal than the size type of a

Methods

integralUpsize :: a -> b #

Instances

Instances details
IntegralUpsize Int Int64 # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int -> Int64 #

IntegralUpsize Int8 Int # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int8 -> Int #

IntegralUpsize Int8 Int16 # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int8 -> Int16 #

IntegralUpsize Int8 Int32 # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int8 -> Int32 #

IntegralUpsize Int8 Int64 # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int8 -> Int64 #

IntegralUpsize Int16 Int # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int16 -> Int #

IntegralUpsize Int16 Int32 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Int16 Int64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Int32 Int # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Int32 -> Int #

IntegralUpsize Int32 Int64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word Word64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Int # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word8 -> Int #

IntegralUpsize Word8 Int16 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Int32 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Int64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Word # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: Word8 -> Word #

IntegralUpsize Word8 Word16 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Word32 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word8 Word64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word16 Word # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word16 Word32 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word16 Word64 # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word32 Word # 
Instance details

Defined in Basement.IntegralConv

IntegralUpsize Word32 Word64 # 
Instance details

Defined in Basement.IntegralConv

IsNatural a => IntegralUpsize a Natural # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: a -> Natural #

IsIntegral a => IntegralUpsize a Integer # 
Instance details

Defined in Basement.IntegralConv

Methods

integralUpsize :: a -> Integer #

data Word32x2 #

2 Word32s

Constructors

Word32x2 !Word32 !Word32