ivory-0.1.0.8: Safe embedded C programming.
Ivory.Language.Uint
newtype Uint8 Source #
8-bit words.
Constructors
Fields
Defined in Ivory.Language.Uint
Methods
minBound :: Uint8 #
maxBound :: Uint8 #
(+) :: Uint8 -> Uint8 -> Uint8 #
(-) :: Uint8 -> Uint8 -> Uint8 #
(*) :: Uint8 -> Uint8 -> Uint8 #
negate :: Uint8 -> Uint8 #
abs :: Uint8 -> Uint8 #
signum :: Uint8 -> Uint8 #
fromInteger :: Integer -> Uint8 #
showsPrec :: Int -> Uint8 -> ShowS #
show :: Uint8 -> String #
showList :: [Uint8] -> ShowS #
wrapExpr :: Expr -> Uint8 Source #
wrapVar :: Var -> Uint8 Source #
unwrapExpr :: Uint8 -> Expr Source #
ivoryType :: Proxy Uint8 -> Type Source #
Defined in Ivory.Language.IBool
(>?) :: Uint8 -> Uint8 -> IBool Source #
(>=?) :: Uint8 -> Uint8 -> IBool Source #
(<?) :: Uint8 -> Uint8 -> IBool Source #
(<=?) :: Uint8 -> Uint8 -> IBool Source #
(==?) :: Uint8 -> Uint8 -> IBool Source #
(/=?) :: Uint8 -> Uint8 -> IBool Source #
Defined in Ivory.Language.Ref
Defined in Ivory.Language.IIntegral
iDiv :: Uint8 -> Uint8 -> Uint8 Source #
(.%) :: Uint8 -> Uint8 -> Uint8 Source #
Defined in Ivory.Language.Cast
defaultVal :: Uint8
Defined in Ivory.Language.Init
izeroval :: Init (Stored Uint8) Source #
ival :: Uint8 -> Init (Stored Uint8) Source #
Defined in Ivory.Language.Bits
(.&) :: 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 #
signCast :: Sint8 -> Uint8 Source #
signCast :: Uint8 -> Sint8 Source #
safeCast :: Uint8 -> Sint64 Source #
safeCast :: Uint8 -> Sint32 Source #
safeCast :: Uint8 -> Sint16 Source #
safeCast :: Uint8 -> Uint64 Source #
safeCast :: Uint8 -> Uint32 Source #
safeCast :: Uint8 -> Uint16 Source #
safeCast :: Uint8 -> Uint8 Source #
safeCast :: Uint8 -> IDouble Source #
safeCast :: Uint8 -> IFloat Source #
safeCast :: IBool -> Uint8 Source #
twosComplementCast :: Uint8 -> Sint8 Source #
twosComplementRep :: Sint8 -> Uint8 Source #
bitCast :: Uint64 -> Uint8 Source #
bitCast :: Uint32 -> Uint8 Source #
bitCast :: Uint16 -> Uint8 Source #
bitCast :: Uint8 -> Uint8 Source #
ubits :: Uint16 -> Uint8 Source #
lbits :: Uint16 -> Uint8 Source #
newtype Uint16 Source #
16-bit words.
minBound :: Uint16 #
maxBound :: Uint16 #
(+) :: Uint16 -> Uint16 -> Uint16 #
(-) :: Uint16 -> Uint16 -> Uint16 #
(*) :: Uint16 -> Uint16 -> Uint16 #
negate :: Uint16 -> Uint16 #
abs :: Uint16 -> Uint16 #
signum :: Uint16 -> Uint16 #
fromInteger :: Integer -> Uint16 #
showsPrec :: Int -> Uint16 -> ShowS #
show :: Uint16 -> String #
showList :: [Uint16] -> ShowS #
wrapExpr :: Expr -> Uint16 Source #
wrapVar :: Var -> Uint16 Source #
unwrapExpr :: Uint16 -> Expr Source #
ivoryType :: Proxy Uint16 -> Type Source #
(>?) :: Uint16 -> Uint16 -> IBool Source #
(>=?) :: Uint16 -> Uint16 -> IBool Source #
(<?) :: Uint16 -> Uint16 -> IBool Source #
(<=?) :: Uint16 -> Uint16 -> IBool Source #
(==?) :: Uint16 -> Uint16 -> IBool Source #
(/=?) :: Uint16 -> Uint16 -> IBool Source #
iDiv :: Uint16 -> Uint16 -> Uint16 Source #
(.%) :: Uint16 -> Uint16 -> Uint16 Source #
defaultVal :: Uint16
izeroval :: Init (Stored Uint16) Source #
ival :: Uint16 -> Init (Stored Uint16) Source #
(.&) :: 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 #
signCast :: Sint16 -> Uint16 Source #
signCast :: Uint16 -> Sint16 Source #
safeCast :: Uint16 -> Sint64 Source #
safeCast :: Uint16 -> Sint32 Source #
safeCast :: Uint16 -> Uint64 Source #
safeCast :: Uint16 -> Uint32 Source #
safeCast :: Uint16 -> Uint16 Source #
safeCast :: Uint16 -> IDouble Source #
safeCast :: Uint16 -> IFloat Source #
safeCast :: IBool -> Uint16 Source #
twosComplementCast :: Uint16 -> Sint16 Source #
twosComplementRep :: Sint16 -> Uint16 Source #
bitCast :: Uint64 -> Uint16 Source #
bitCast :: Uint32 -> Uint16 Source #
bitCast :: Uint16 -> Uint16 Source #
ubits :: Uint32 -> Uint16 Source #
lbits :: Uint32 -> Uint16 Source #
newtype Uint32 Source #
32-bit words.
minBound :: Uint32 #
maxBound :: Uint32 #
(+) :: Uint32 -> Uint32 -> Uint32 #
(-) :: Uint32 -> Uint32 -> Uint32 #
(*) :: Uint32 -> Uint32 -> Uint32 #
negate :: Uint32 -> Uint32 #
abs :: Uint32 -> Uint32 #
signum :: Uint32 -> Uint32 #
fromInteger :: Integer -> Uint32 #
showsPrec :: Int -> Uint32 -> ShowS #
show :: Uint32 -> String #
showList :: [Uint32] -> ShowS #
wrapExpr :: Expr -> Uint32 Source #
wrapVar :: Var -> Uint32 Source #
unwrapExpr :: Uint32 -> Expr Source #
ivoryType :: Proxy Uint32 -> Type Source #
(>?) :: Uint32 -> Uint32 -> IBool Source #
(>=?) :: Uint32 -> Uint32 -> IBool Source #
(<?) :: Uint32 -> Uint32 -> IBool Source #
(<=?) :: Uint32 -> Uint32 -> IBool Source #
(==?) :: Uint32 -> Uint32 -> IBool Source #
(/=?) :: Uint32 -> Uint32 -> IBool Source #
iDiv :: Uint32 -> Uint32 -> Uint32 Source #
(.%) :: Uint32 -> Uint32 -> Uint32 Source #
defaultVal :: Uint32
izeroval :: Init (Stored Uint32) Source #
ival :: Uint32 -> Init (Stored Uint32) Source #
(.&) :: 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 #
signCast :: Sint32 -> Uint32 Source #
signCast :: Uint32 -> Sint32 Source #
safeCast :: Uint32 -> Sint64 Source #
safeCast :: Uint32 -> Uint64 Source #
safeCast :: Uint32 -> Uint32 Source #
safeCast :: Uint32 -> IDouble Source #
safeCast :: Uint32 -> IFloat Source #
safeCast :: IBool -> Uint32 Source #
twosComplementCast :: Uint32 -> Sint32 Source #
twosComplementRep :: Sint32 -> Uint32 Source #
bitCast :: Uint64 -> Uint32 Source #
bitCast :: Uint32 -> Uint32 Source #
ubits :: Uint64 -> Uint32 Source #
lbits :: Uint64 -> Uint32 Source #
newtype Uint64 Source #
64-bit words.
minBound :: Uint64 #
maxBound :: Uint64 #
(+) :: Uint64 -> Uint64 -> Uint64 #
(-) :: Uint64 -> Uint64 -> Uint64 #
(*) :: Uint64 -> Uint64 -> Uint64 #
negate :: Uint64 -> Uint64 #
abs :: Uint64 -> Uint64 #
signum :: Uint64 -> Uint64 #
fromInteger :: Integer -> Uint64 #
showsPrec :: Int -> Uint64 -> ShowS #
show :: Uint64 -> String #
showList :: [Uint64] -> ShowS #
wrapExpr :: Expr -> Uint64 Source #
wrapVar :: Var -> Uint64 Source #
unwrapExpr :: Uint64 -> Expr Source #
ivoryType :: Proxy Uint64 -> Type Source #
(>?) :: Uint64 -> Uint64 -> IBool Source #
(>=?) :: Uint64 -> Uint64 -> IBool Source #
(<?) :: Uint64 -> Uint64 -> IBool Source #
(<=?) :: Uint64 -> Uint64 -> IBool Source #
(==?) :: Uint64 -> Uint64 -> IBool Source #
(/=?) :: Uint64 -> Uint64 -> IBool Source #
iDiv :: Uint64 -> Uint64 -> Uint64 Source #
(.%) :: Uint64 -> Uint64 -> Uint64 Source #
defaultVal :: Uint64
izeroval :: Init (Stored Uint64) Source #
ival :: Uint64 -> Init (Stored Uint64) Source #
(.&) :: 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 #
signCast :: Sint64 -> Uint64 Source #
signCast :: Uint64 -> Sint64 Source #
safeCast :: Uint64 -> Uint64 Source #
safeCast :: Uint64 -> IDouble Source #
safeCast :: IBool -> Uint64 Source #
twosComplementCast :: Uint64 -> Sint64 Source #
twosComplementRep :: Sint64 -> Uint64 Source #
bitCast :: Uint64 -> Uint64 Source #