ivory-0.1.0.7: Safe embedded C programming.
Ivory.Language.Sint
Synopsis
newtype Sint8 Source #
8-bit integers.
Constructors
Fields
Instances
Methods
minBound :: Sint8 #
maxBound :: Sint8 #
(+) :: Sint8 -> Sint8 -> Sint8 #
(-) :: Sint8 -> Sint8 -> Sint8 #
(*) :: Sint8 -> Sint8 -> Sint8 #
negate :: Sint8 -> Sint8 #
abs :: Sint8 -> Sint8 #
signum :: Sint8 -> Sint8 #
fromInteger :: Integer -> Sint8 #
showsPrec :: Int -> Sint8 -> ShowS #
show :: Sint8 -> String #
showList :: [Sint8] -> ShowS #
wrapExpr :: Expr -> Sint8 Source #
wrapVar :: Var -> Sint8 Source #
unwrapExpr :: Sint8 -> Expr Source #
ivoryType :: Proxy * Sint8 -> Type Source #
(>?) :: Sint8 -> Sint8 -> IBool Source #
(>=?) :: Sint8 -> Sint8 -> IBool Source #
(<?) :: Sint8 -> Sint8 -> IBool Source #
(<=?) :: Sint8 -> Sint8 -> IBool Source #
(==?) :: Sint8 -> Sint8 -> IBool Source #
(/=?) :: Sint8 -> Sint8 -> IBool Source #
iDiv :: Sint8 -> Sint8 -> Sint8 Source #
(.%) :: Sint8 -> Sint8 -> Sint8 Source #
defaultVal :: Sint8
izeroval :: Init (Stored * Sint8) Source #
ival :: Sint8 -> Init (Stored * Sint8) Source #
signCast :: Sint8 -> Uint8 Source #
signCast :: Uint8 -> Sint8 Source #
safeCast :: Sint8 -> Sint64 Source #
safeCast :: Sint8 -> Sint32 Source #
safeCast :: Sint8 -> Sint16 Source #
safeCast :: Sint8 -> Sint8 Source #
safeCast :: Sint8 -> IDouble Source #
safeCast :: Sint8 -> IFloat Source #
safeCast :: IBool -> Sint8 Source #
twosComplementCast :: Uint8 -> Sint8 Source #
twosComplementRep :: Sint8 -> Uint8 Source #
newtype Sint16 Source #
16-bit integers.
minBound :: Sint16 #
maxBound :: Sint16 #
(+) :: Sint16 -> Sint16 -> Sint16 #
(-) :: Sint16 -> Sint16 -> Sint16 #
(*) :: Sint16 -> Sint16 -> Sint16 #
negate :: Sint16 -> Sint16 #
abs :: Sint16 -> Sint16 #
signum :: Sint16 -> Sint16 #
fromInteger :: Integer -> Sint16 #
showsPrec :: Int -> Sint16 -> ShowS #
show :: Sint16 -> String #
showList :: [Sint16] -> ShowS #
wrapExpr :: Expr -> Sint16 Source #
wrapVar :: Var -> Sint16 Source #
unwrapExpr :: Sint16 -> Expr Source #
ivoryType :: Proxy * Sint16 -> Type Source #
(>?) :: Sint16 -> Sint16 -> IBool Source #
(>=?) :: Sint16 -> Sint16 -> IBool Source #
(<?) :: Sint16 -> Sint16 -> IBool Source #
(<=?) :: Sint16 -> Sint16 -> IBool Source #
(==?) :: Sint16 -> Sint16 -> IBool Source #
(/=?) :: Sint16 -> Sint16 -> IBool Source #
iDiv :: Sint16 -> Sint16 -> Sint16 Source #
(.%) :: Sint16 -> Sint16 -> Sint16 Source #
defaultVal :: Sint16
izeroval :: Init (Stored * Sint16) Source #
ival :: Sint16 -> Init (Stored * Sint16) Source #
signCast :: Sint16 -> Uint16 Source #
signCast :: Uint16 -> Sint16 Source #
safeCast :: Sint16 -> Sint64 Source #
safeCast :: Sint16 -> Sint32 Source #
safeCast :: Sint16 -> Sint16 Source #
safeCast :: Sint16 -> IDouble Source #
safeCast :: Sint16 -> IFloat Source #
safeCast :: Uint8 -> Sint16 Source #
safeCast :: IBool -> Sint16 Source #
twosComplementCast :: Uint16 -> Sint16 Source #
twosComplementRep :: Sint16 -> Uint16 Source #
newtype Sint32 Source #
32-bit integers.
minBound :: Sint32 #
maxBound :: Sint32 #
(+) :: Sint32 -> Sint32 -> Sint32 #
(-) :: Sint32 -> Sint32 -> Sint32 #
(*) :: Sint32 -> Sint32 -> Sint32 #
negate :: Sint32 -> Sint32 #
abs :: Sint32 -> Sint32 #
signum :: Sint32 -> Sint32 #
fromInteger :: Integer -> Sint32 #
showsPrec :: Int -> Sint32 -> ShowS #
show :: Sint32 -> String #
showList :: [Sint32] -> ShowS #
wrapExpr :: Expr -> Sint32 Source #
wrapVar :: Var -> Sint32 Source #
unwrapExpr :: Sint32 -> Expr Source #
ivoryType :: Proxy * Sint32 -> Type Source #
(>?) :: Sint32 -> Sint32 -> IBool Source #
(>=?) :: Sint32 -> Sint32 -> IBool Source #
(<?) :: Sint32 -> Sint32 -> IBool Source #
(<=?) :: Sint32 -> Sint32 -> IBool Source #
(==?) :: Sint32 -> Sint32 -> IBool Source #
(/=?) :: Sint32 -> Sint32 -> IBool Source #
iDiv :: Sint32 -> Sint32 -> Sint32 Source #
(.%) :: Sint32 -> Sint32 -> Sint32 Source #
defaultVal :: Sint32
izeroval :: Init (Stored * Sint32) Source #
ival :: Sint32 -> Init (Stored * Sint32) Source #
signCast :: Sint32 -> Uint32 Source #
signCast :: Uint32 -> Sint32 Source #
safeCast :: Sint32 -> Sint64 Source #
safeCast :: Sint32 -> Sint32 Source #
safeCast :: Sint32 -> IDouble Source #
safeCast :: Sint32 -> IFloat Source #
safeCast :: Uint16 -> Sint32 Source #
safeCast :: Uint8 -> Sint32 Source #
safeCast :: IBool -> Sint32 Source #
twosComplementCast :: Uint32 -> Sint32 Source #
twosComplementRep :: Sint32 -> Uint32 Source #
newtype Sint64 Source #
64-bit integers.
minBound :: Sint64 #
maxBound :: Sint64 #
(+) :: Sint64 -> Sint64 -> Sint64 #
(-) :: Sint64 -> Sint64 -> Sint64 #
(*) :: Sint64 -> Sint64 -> Sint64 #
negate :: Sint64 -> Sint64 #
abs :: Sint64 -> Sint64 #
signum :: Sint64 -> Sint64 #
fromInteger :: Integer -> Sint64 #
showsPrec :: Int -> Sint64 -> ShowS #
show :: Sint64 -> String #
showList :: [Sint64] -> ShowS #
wrapExpr :: Expr -> Sint64 Source #
wrapVar :: Var -> Sint64 Source #
unwrapExpr :: Sint64 -> Expr Source #
ivoryType :: Proxy * Sint64 -> Type Source #
(>?) :: Sint64 -> Sint64 -> IBool Source #
(>=?) :: Sint64 -> Sint64 -> IBool Source #
(<?) :: Sint64 -> Sint64 -> IBool Source #
(<=?) :: Sint64 -> Sint64 -> IBool Source #
(==?) :: Sint64 -> Sint64 -> IBool Source #
(/=?) :: Sint64 -> Sint64 -> IBool Source #
iDiv :: Sint64 -> Sint64 -> Sint64 Source #
(.%) :: Sint64 -> Sint64 -> Sint64 Source #
defaultVal :: Sint64
izeroval :: Init (Stored * Sint64) Source #
ival :: Sint64 -> Init (Stored * Sint64) Source #
signCast :: Sint64 -> Uint64 Source #
signCast :: Uint64 -> Sint64 Source #
safeCast :: Sint64 -> Sint64 Source #
safeCast :: Sint64 -> IDouble Source #
safeCast :: Uint32 -> Sint64 Source #
safeCast :: Uint16 -> Sint64 Source #
safeCast :: Uint8 -> Sint64 Source #
safeCast :: IBool -> Sint64 Source #
twosComplementCast :: Uint64 -> Sint64 Source #
twosComplementRep :: Sint64 -> Uint64 Source #