Safe Haskell	None
Language	Haskell2010

Ivory.Language.Uint

Synopsis

Documentation

newtype Uint8 Source #

8-bit words.

Constructors

Uint8
Fields getUint8 :: Expr

Instances

Bounded Uint8 Source #
Methods minBound :: Uint8 # maxBound :: Uint8 #
Num Uint8 Source #
Methods (+) :: Uint8 -> Uint8 -> Uint8 # (-) :: Uint8 -> Uint8 -> Uint8 # (*) :: Uint8 -> Uint8 -> Uint8 # negate :: Uint8 -> Uint8 # abs :: Uint8 -> Uint8 # signum :: Uint8 -> Uint8 # fromInteger :: Integer -> Uint8 #
Show Uint8 Source #
Methods showsPrec :: Int -> Uint8 -> ShowS # show :: Uint8 -> String # showList :: [Uint8] -> ShowS #
IvoryExpr Uint8 Source #
Methods wrapExpr :: Expr -> Uint8 Source #
IvoryVar Uint8 Source #
Methods wrapVar :: Var -> Uint8 Source # unwrapExpr :: Uint8 -> Expr Source #
IvoryType Uint8 Source #
Methods ivoryType :: Proxy * Uint8 -> Type Source #
IvoryOrd Uint8 Source #
Methods (>?) :: Uint8 -> Uint8 -> IBool Source # (>=?) :: Uint8 -> Uint8 -> IBool Source # (<?) :: Uint8 -> Uint8 -> IBool Source # (<=?) :: Uint8 -> Uint8 -> IBool Source #
IvoryEq Uint8 Source #
Methods (==?) :: Uint8 -> Uint8 -> IBool Source # (/=?) :: Uint8 -> Uint8 -> IBool Source #
IvoryIntegral Uint8 Source #
Methods iDiv :: Uint8 -> Uint8 -> Uint8 Source # (.%) :: Uint8 -> Uint8 -> Uint8 Source #
IvoryStore Uint8 Source #

Default Uint8 Source #
Methods defaultVal :: Uint8
IvoryBits Uint8 Source #
Methods (.&) :: Uint8 -> Uint8 -> Uint8 Source # (.\|) :: Uint8 -> Uint8 -> Uint8 Source # (.^) :: Uint8 -> Uint8 -> Uint8 Source # iComplement :: Uint8 -> Uint8 Source # iBitSize :: Uint8 -> Int Source # iShiftL :: Uint8 -> Uint8 -> Uint8 Source # iShiftR :: Uint8 -> Uint8 -> Uint8 Source #
IvoryZeroVal Uint8 Source #
Methods izeroval :: Init (Stored * Uint8) Source #
IvoryInit Uint8 Source #
Methods ival :: Uint8 -> Init (Stored * Uint8) Source #
SignCast Sint8 Uint8 Source #
Methods signCast :: Sint8 -> Uint8 Source #
SignCast Uint8 Sint8 Source #
Methods signCast :: Uint8 -> Sint8 Source #
SafeCast Uint8 Sint64 Source #
Methods safeCast :: Uint8 -> Sint64 Source #
SafeCast Uint8 Sint32 Source #
Methods safeCast :: Uint8 -> Sint32 Source #
SafeCast Uint8 Sint16 Source #
Methods safeCast :: Uint8 -> Sint16 Source #
SafeCast Uint8 Uint64 Source #
Methods safeCast :: Uint8 -> Uint64 Source #
SafeCast Uint8 Uint32 Source #
Methods safeCast :: Uint8 -> Uint32 Source #
SafeCast Uint8 Uint16 Source #
Methods safeCast :: Uint8 -> Uint16 Source #
SafeCast Uint8 Uint8 Source #
Methods safeCast :: Uint8 -> Uint8 Source #
SafeCast Uint8 IDouble Source #
Methods safeCast :: Uint8 -> IDouble Source #
SafeCast Uint8 IFloat Source #
Methods safeCast :: Uint8 -> IFloat Source #
SafeCast IBool Uint8 Source #
Methods safeCast :: IBool -> Uint8 Source #
TwosComplementCast Uint8 Sint8 Source #
Methods twosComplementCast :: Uint8 -> Sint8 Source # twosComplementRep :: Sint8 -> Uint8 Source #
BitCast Uint64 Uint8 Source #
Methods bitCast :: Uint64 -> Uint8 Source #
BitCast Uint32 Uint8 Source #
Methods bitCast :: Uint32 -> Uint8 Source #
BitCast Uint16 Uint8 Source #
Methods bitCast :: Uint16 -> Uint8 Source #
BitCast Uint8 Uint8 Source #
Methods bitCast :: Uint8 -> Uint8 Source #
BitSplit Uint16 Uint8 Source #
Methods ubits :: Uint16 -> Uint8 Source # lbits :: Uint16 -> Uint8 Source #

newtype Uint16 Source #

16-bit words.

Constructors

Uint16
Fields getUint16 :: Expr

Instances

Bounded Uint16 Source #
Methods minBound :: Uint16 # maxBound :: Uint16 #
Num Uint16 Source #
Methods (+) :: Uint16 -> Uint16 -> Uint16 # (-) :: Uint16 -> Uint16 -> Uint16 # (*) :: Uint16 -> Uint16 -> Uint16 # negate :: Uint16 -> Uint16 # abs :: Uint16 -> Uint16 # signum :: Uint16 -> Uint16 # fromInteger :: Integer -> Uint16 #
Show Uint16 Source #
Methods showsPrec :: Int -> Uint16 -> ShowS # show :: Uint16 -> String # showList :: [Uint16] -> ShowS #
IvoryExpr Uint16 Source #
Methods wrapExpr :: Expr -> Uint16 Source #
IvoryVar Uint16 Source #
Methods wrapVar :: Var -> Uint16 Source # unwrapExpr :: Uint16 -> Expr Source #
IvoryType Uint16 Source #
Methods ivoryType :: Proxy * Uint16 -> Type Source #
IvoryOrd Uint16 Source #
Methods (>?) :: Uint16 -> Uint16 -> IBool Source # (>=?) :: Uint16 -> Uint16 -> IBool Source # (<?) :: Uint16 -> Uint16 -> IBool Source # (<=?) :: Uint16 -> Uint16 -> IBool Source #
IvoryEq Uint16 Source #
Methods (==?) :: Uint16 -> Uint16 -> IBool Source # (/=?) :: Uint16 -> Uint16 -> IBool Source #
IvoryIntegral Uint16 Source #
Methods iDiv :: Uint16 -> Uint16 -> Uint16 Source # (.%) :: Uint16 -> Uint16 -> Uint16 Source #
IvoryStore Uint16 Source #

Default Uint16 Source #
Methods defaultVal :: Uint16
IvoryBits Uint16 Source #
Methods (.&) :: Uint16 -> Uint16 -> Uint16 Source # (.\|) :: Uint16 -> Uint16 -> Uint16 Source # (.^) :: Uint16 -> Uint16 -> Uint16 Source # iComplement :: Uint16 -> Uint16 Source # iBitSize :: Uint16 -> Int Source # iShiftL :: Uint16 -> Uint16 -> Uint16 Source # iShiftR :: Uint16 -> Uint16 -> Uint16 Source #
IvoryZeroVal Uint16 Source #
Methods izeroval :: Init (Stored * Uint16) Source #
IvoryInit Uint16 Source #
Methods ival :: Uint16 -> Init (Stored * Uint16) Source #
SignCast Sint16 Uint16 Source #
Methods signCast :: Sint16 -> Uint16 Source #
SignCast Uint16 Sint16 Source #
Methods signCast :: Uint16 -> Sint16 Source #
SafeCast Uint16 Sint64 Source #
Methods safeCast :: Uint16 -> Sint64 Source #
SafeCast Uint16 Sint32 Source #
Methods safeCast :: Uint16 -> Sint32 Source #
SafeCast Uint16 Uint64 Source #
Methods safeCast :: Uint16 -> Uint64 Source #
SafeCast Uint16 Uint32 Source #
Methods safeCast :: Uint16 -> Uint32 Source #
SafeCast Uint16 Uint16 Source #
Methods safeCast :: Uint16 -> Uint16 Source #
SafeCast Uint16 IDouble Source #
Methods safeCast :: Uint16 -> IDouble Source #
SafeCast Uint16 IFloat Source #
Methods safeCast :: Uint16 -> IFloat Source #
SafeCast Uint8 Uint16 Source #
Methods safeCast :: Uint8 -> Uint16 Source #
SafeCast IBool Uint16 Source #
Methods safeCast :: IBool -> Uint16 Source #
TwosComplementCast Uint16 Sint16 Source #
Methods twosComplementCast :: Uint16 -> Sint16 Source # twosComplementRep :: Sint16 -> Uint16 Source #
BitCast Uint64 Uint16 Source #
Methods bitCast :: Uint64 -> Uint16 Source #
BitCast Uint32 Uint16 Source #
Methods bitCast :: Uint32 -> Uint16 Source #
BitCast Uint16 Uint16 Source #
Methods bitCast :: Uint16 -> Uint16 Source #
BitCast Uint16 Uint8 Source #
Methods bitCast :: Uint16 -> Uint8 Source #
BitSplit Uint32 Uint16 Source #
Methods ubits :: Uint32 -> Uint16 Source # lbits :: Uint32 -> Uint16 Source #
BitSplit Uint16 Uint8 Source #
Methods ubits :: Uint16 -> Uint8 Source # lbits :: Uint16 -> Uint8 Source #

newtype Uint32 Source #

32-bit words.

Constructors

Uint32
Fields getUint32 :: Expr

Instances

Bounded Uint32 Source #
Methods minBound :: Uint32 # maxBound :: Uint32 #
Num Uint32 Source #
Methods (+) :: Uint32 -> Uint32 -> Uint32 # (-) :: Uint32 -> Uint32 -> Uint32 # (*) :: Uint32 -> Uint32 -> Uint32 # negate :: Uint32 -> Uint32 # abs :: Uint32 -> Uint32 # signum :: Uint32 -> Uint32 # fromInteger :: Integer -> Uint32 #
Show Uint32 Source #
Methods showsPrec :: Int -> Uint32 -> ShowS # show :: Uint32 -> String # showList :: [Uint32] -> ShowS #
IvoryExpr Uint32 Source #
Methods wrapExpr :: Expr -> Uint32 Source #
IvoryVar Uint32 Source #
Methods wrapVar :: Var -> Uint32 Source # unwrapExpr :: Uint32 -> Expr Source #
IvoryType Uint32 Source #
Methods ivoryType :: Proxy * Uint32 -> Type Source #
IvoryOrd Uint32 Source #
Methods (>?) :: Uint32 -> Uint32 -> IBool Source # (>=?) :: Uint32 -> Uint32 -> IBool Source # (<?) :: Uint32 -> Uint32 -> IBool Source # (<=?) :: Uint32 -> Uint32 -> IBool Source #
IvoryEq Uint32 Source #
Methods (==?) :: Uint32 -> Uint32 -> IBool Source # (/=?) :: Uint32 -> Uint32 -> IBool Source #
IvoryIntegral Uint32 Source #
Methods iDiv :: Uint32 -> Uint32 -> Uint32 Source # (.%) :: Uint32 -> Uint32 -> Uint32 Source #
IvoryStore Uint32 Source #

Default Uint32 Source #
Methods defaultVal :: Uint32
IvoryBits Uint32 Source #
Methods (.&) :: Uint32 -> Uint32 -> Uint32 Source # (.\|) :: Uint32 -> Uint32 -> Uint32 Source # (.^) :: Uint32 -> Uint32 -> Uint32 Source # iComplement :: Uint32 -> Uint32 Source # iBitSize :: Uint32 -> Int Source # iShiftL :: Uint32 -> Uint32 -> Uint32 Source # iShiftR :: Uint32 -> Uint32 -> Uint32 Source #
IvoryZeroVal Uint32 Source #
Methods izeroval :: Init (Stored * Uint32) Source #
IvoryInit Uint32 Source #
Methods ival :: Uint32 -> Init (Stored * Uint32) Source #
SignCast Sint32 Uint32 Source #
Methods signCast :: Sint32 -> Uint32 Source #
SignCast Uint32 Sint32 Source #
Methods signCast :: Uint32 -> Sint32 Source #
SafeCast Uint32 Sint64 Source #
Methods safeCast :: Uint32 -> Sint64 Source #
SafeCast Uint32 Uint64 Source #
Methods safeCast :: Uint32 -> Uint64 Source #
SafeCast Uint32 Uint32 Source #
Methods safeCast :: Uint32 -> Uint32 Source #
SafeCast Uint32 IDouble Source #
Methods safeCast :: Uint32 -> IDouble Source #
SafeCast Uint32 IFloat Source #
Methods safeCast :: Uint32 -> IFloat Source #
SafeCast Uint16 Uint32 Source #
Methods safeCast :: Uint16 -> Uint32 Source #
SafeCast Uint8 Uint32 Source #
Methods safeCast :: Uint8 -> Uint32 Source #
SafeCast IBool Uint32 Source #
Methods safeCast :: IBool -> Uint32 Source #
TwosComplementCast Uint32 Sint32 Source #
Methods twosComplementCast :: Uint32 -> Sint32 Source # twosComplementRep :: Sint32 -> Uint32 Source #
BitCast Uint64 Uint32 Source #
Methods bitCast :: Uint64 -> Uint32 Source #
BitCast Uint32 Uint32 Source #
Methods bitCast :: Uint32 -> Uint32 Source #
BitCast Uint32 Uint16 Source #
Methods bitCast :: Uint32 -> Uint16 Source #
BitCast Uint32 Uint8 Source #
Methods bitCast :: Uint32 -> Uint8 Source #
BitSplit Uint64 Uint32 Source #
Methods ubits :: Uint64 -> Uint32 Source # lbits :: Uint64 -> Uint32 Source #
BitSplit Uint32 Uint16 Source #
Methods ubits :: Uint32 -> Uint16 Source # lbits :: Uint32 -> Uint16 Source #

newtype Uint64 Source #

64-bit words.

Constructors

Uint64
Fields getUint64 :: Expr

Instances

Bounded Uint64 Source #
Methods minBound :: Uint64 # maxBound :: Uint64 #
Num Uint64 Source #
Methods (+) :: Uint64 -> Uint64 -> Uint64 # (-) :: Uint64 -> Uint64 -> Uint64 # (*) :: Uint64 -> Uint64 -> Uint64 # negate :: Uint64 -> Uint64 # abs :: Uint64 -> Uint64 # signum :: Uint64 -> Uint64 # fromInteger :: Integer -> Uint64 #
Show Uint64 Source #
Methods showsPrec :: Int -> Uint64 -> ShowS # show :: Uint64 -> String # showList :: [Uint64] -> ShowS #
IvoryExpr Uint64 Source #
Methods wrapExpr :: Expr -> Uint64 Source #
IvoryVar Uint64 Source #
Methods wrapVar :: Var -> Uint64 Source # unwrapExpr :: Uint64 -> Expr Source #
IvoryType Uint64 Source #
Methods ivoryType :: Proxy * Uint64 -> Type Source #
IvoryOrd Uint64 Source #
Methods (>?) :: Uint64 -> Uint64 -> IBool Source # (>=?) :: Uint64 -> Uint64 -> IBool Source # (<?) :: Uint64 -> Uint64 -> IBool Source # (<=?) :: Uint64 -> Uint64 -> IBool Source #
IvoryEq Uint64 Source #
Methods (==?) :: Uint64 -> Uint64 -> IBool Source # (/=?) :: Uint64 -> Uint64 -> IBool Source #
IvoryIntegral Uint64 Source #
Methods iDiv :: Uint64 -> Uint64 -> Uint64 Source # (.%) :: Uint64 -> Uint64 -> Uint64 Source #
IvoryStore Uint64 Source #

Default Uint64 Source #
Methods defaultVal :: Uint64
IvoryBits Uint64 Source #
Methods (.&) :: Uint64 -> Uint64 -> Uint64 Source # (.\|) :: Uint64 -> Uint64 -> Uint64 Source # (.^) :: Uint64 -> Uint64 -> Uint64 Source # iComplement :: Uint64 -> Uint64 Source # iBitSize :: Uint64 -> Int Source # iShiftL :: Uint64 -> Uint64 -> Uint64 Source # iShiftR :: Uint64 -> Uint64 -> Uint64 Source #
IvoryZeroVal Uint64 Source #
Methods izeroval :: Init (Stored * Uint64) Source #
IvoryInit Uint64 Source #
Methods ival :: Uint64 -> Init (Stored * Uint64) Source #
SignCast Sint64 Uint64 Source #
Methods signCast :: Sint64 -> Uint64 Source #
SignCast Uint64 Sint64 Source #
Methods signCast :: Uint64 -> Sint64 Source #
SafeCast Uint64 Uint64 Source #
Methods safeCast :: Uint64 -> Uint64 Source #
SafeCast Uint64 IDouble Source #
Methods safeCast :: Uint64 -> IDouble Source #
SafeCast Uint32 Uint64 Source #
Methods safeCast :: Uint32 -> Uint64 Source #
SafeCast Uint16 Uint64 Source #
Methods safeCast :: Uint16 -> Uint64 Source #
SafeCast Uint8 Uint64 Source #
Methods safeCast :: Uint8 -> Uint64 Source #
SafeCast IBool Uint64 Source #
Methods safeCast :: IBool -> Uint64 Source #
TwosComplementCast Uint64 Sint64 Source #
Methods twosComplementCast :: Uint64 -> Sint64 Source # twosComplementRep :: Sint64 -> Uint64 Source #
BitCast Uint64 Uint64 Source #
Methods bitCast :: Uint64 -> Uint64 Source #
BitCast Uint64 Uint32 Source #
Methods bitCast :: Uint64 -> Uint32 Source #
BitCast Uint64 Uint16 Source #
Methods bitCast :: Uint64 -> Uint16 Source #
BitCast Uint64 Uint8 Source #
Methods bitCast :: Uint64 -> Uint8 Source #
BitSplit Uint64 Uint32 Source #
Methods ubits :: Uint64 -> Uint32 Source # lbits :: Uint64 -> Uint32 Source #