ivory-0.1.0.9: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.Sint

Synopsis

Documentation

newtype Sint8 Source #

8-bit integers.

Constructors

Sint8 

Fields

Instances
Bounded Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

minBound :: Sint8 #

maxBound :: Sint8 #

Num Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

(+) :: Sint8 -> Sint8 -> Sint8 #

(-) :: Sint8 -> Sint8 -> Sint8 #

(*) :: Sint8 -> Sint8 -> Sint8 #

negate :: Sint8 -> Sint8 #

abs :: Sint8 -> Sint8 #

signum :: Sint8 -> Sint8 #

fromInteger :: Integer -> Sint8 #

Show Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

showsPrec :: Int -> Sint8 -> ShowS #

show :: Sint8 -> String #

showList :: [Sint8] -> ShowS #

IvoryExpr Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint8 Source #

IvoryVar Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint8 Source #

unwrapExpr :: Sint8 -> Expr Source #

IvoryType Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint8 -> Type Source #

IvoryOrd Sint8 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(>?) :: Sint8 -> Sint8 -> IBool Source #

(>=?) :: Sint8 -> Sint8 -> IBool Source #

(<?) :: Sint8 -> Sint8 -> IBool Source #

(<=?) :: Sint8 -> Sint8 -> IBool Source #

IvoryEq Sint8 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(==?) :: Sint8 -> Sint8 -> IBool Source #

(/=?) :: Sint8 -> Sint8 -> IBool Source #

IvoryStore Sint8 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Sint8 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Methods

iDiv :: Sint8 -> Sint8 -> Sint8 Source #

(.%) :: Sint8 -> Sint8 -> Sint8 Source #

Default Sint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Sint8

IvoryZeroVal Sint8 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint8) Source #

IvoryInit Sint8 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

ival :: Sint8 -> Init (Stored Sint8) Source #

SignCast Sint8 Uint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Sint8 -> Uint8 Source #

SignCast Uint8 Sint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Uint8 -> Sint8 Source #

SafeCast Sint8 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint64 Source #

SafeCast Sint8 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint32 Source #

SafeCast Sint8 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint16 Source #

SafeCast Sint8 Sint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint8 Source #

SafeCast Sint8 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> IDouble Source #

SafeCast Sint8 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> IFloat Source #

SafeCast IBool Sint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> Sint8 Source #

TwosComplementCast Uint8 Sint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

twosComplementCast :: Uint8 -> Sint8 Source #

twosComplementRep :: Sint8 -> Uint8 Source #

newtype Sint16 Source #

16-bit integers.

Constructors

Sint16 

Fields

Instances
Bounded Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

minBound :: Sint16 #

maxBound :: Sint16 #

Num Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

(+) :: Sint16 -> Sint16 -> Sint16 #

(-) :: Sint16 -> Sint16 -> Sint16 #

(*) :: Sint16 -> Sint16 -> Sint16 #

negate :: Sint16 -> Sint16 #

abs :: Sint16 -> Sint16 #

signum :: Sint16 -> Sint16 #

fromInteger :: Integer -> Sint16 #

Show Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

showsPrec :: Int -> Sint16 -> ShowS #

show :: Sint16 -> String #

showList :: [Sint16] -> ShowS #

IvoryExpr Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint16 Source #

IvoryVar Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint16 Source #

unwrapExpr :: Sint16 -> Expr Source #

IvoryType Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint16 -> Type Source #

IvoryOrd Sint16 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(>?) :: Sint16 -> Sint16 -> IBool Source #

(>=?) :: Sint16 -> Sint16 -> IBool Source #

(<?) :: Sint16 -> Sint16 -> IBool Source #

(<=?) :: Sint16 -> Sint16 -> IBool Source #

IvoryEq Sint16 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(==?) :: Sint16 -> Sint16 -> IBool Source #

(/=?) :: Sint16 -> Sint16 -> IBool Source #

IvoryStore Sint16 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Sint16 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Methods

iDiv :: Sint16 -> Sint16 -> Sint16 Source #

(.%) :: Sint16 -> Sint16 -> Sint16 Source #

Default Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Sint16

IvoryZeroVal Sint16 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint16) Source #

IvoryInit Sint16 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

ival :: Sint16 -> Init (Stored Sint16) Source #

SignCast Sint16 Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Sint16 -> Uint16 Source #

SignCast Uint16 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Uint16 -> Sint16 Source #

SafeCast Sint16 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> Sint64 Source #

SafeCast Sint16 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> Sint32 Source #

SafeCast Sint16 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> Sint16 Source #

SafeCast Sint16 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> IDouble Source #

SafeCast Sint16 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> IFloat Source #

SafeCast Sint8 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint16 Source #

SafeCast Uint8 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> Sint16 Source #

SafeCast IBool Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> Sint16 Source #

TwosComplementCast Uint16 Sint16 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

twosComplementCast :: Uint16 -> Sint16 Source #

twosComplementRep :: Sint16 -> Uint16 Source #

newtype Sint32 Source #

32-bit integers.

Constructors

Sint32 

Fields

Instances
Bounded Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

minBound :: Sint32 #

maxBound :: Sint32 #

Num Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

(+) :: Sint32 -> Sint32 -> Sint32 #

(-) :: Sint32 -> Sint32 -> Sint32 #

(*) :: Sint32 -> Sint32 -> Sint32 #

negate :: Sint32 -> Sint32 #

abs :: Sint32 -> Sint32 #

signum :: Sint32 -> Sint32 #

fromInteger :: Integer -> Sint32 #

Show Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

showsPrec :: Int -> Sint32 -> ShowS #

show :: Sint32 -> String #

showList :: [Sint32] -> ShowS #

IvoryExpr Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint32 Source #

IvoryVar Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint32 Source #

unwrapExpr :: Sint32 -> Expr Source #

IvoryType Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint32 -> Type Source #

IvoryOrd Sint32 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(>?) :: Sint32 -> Sint32 -> IBool Source #

(>=?) :: Sint32 -> Sint32 -> IBool Source #

(<?) :: Sint32 -> Sint32 -> IBool Source #

(<=?) :: Sint32 -> Sint32 -> IBool Source #

IvoryEq Sint32 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(==?) :: Sint32 -> Sint32 -> IBool Source #

(/=?) :: Sint32 -> Sint32 -> IBool Source #

IvoryStore Sint32 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Sint32 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Methods

iDiv :: Sint32 -> Sint32 -> Sint32 Source #

(.%) :: Sint32 -> Sint32 -> Sint32 Source #

Default Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Sint32

IvoryZeroVal Sint32 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint32) Source #

IvoryInit Sint32 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

ival :: Sint32 -> Init (Stored Sint32) Source #

SignCast Sint32 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Sint32 -> Uint32 Source #

SignCast Uint32 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Uint32 -> Sint32 Source #

SafeCast Sint32 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> Sint64 Source #

SafeCast Sint32 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> Sint32 Source #

SafeCast Sint32 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> IDouble Source #

SafeCast Sint32 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> IFloat Source #

SafeCast Sint16 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> Sint32 Source #

SafeCast Sint8 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint32 Source #

SafeCast Uint16 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint16 -> Sint32 Source #

SafeCast Uint8 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> Sint32 Source #

SafeCast IBool Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> Sint32 Source #

TwosComplementCast Uint32 Sint32 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

twosComplementCast :: Uint32 -> Sint32 Source #

twosComplementRep :: Sint32 -> Uint32 Source #

newtype Sint64 Source #

64-bit integers.

Constructors

Sint64 

Fields

Instances
Bounded Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

minBound :: Sint64 #

maxBound :: Sint64 #

Num Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

(+) :: Sint64 -> Sint64 -> Sint64 #

(-) :: Sint64 -> Sint64 -> Sint64 #

(*) :: Sint64 -> Sint64 -> Sint64 #

negate :: Sint64 -> Sint64 #

abs :: Sint64 -> Sint64 #

signum :: Sint64 -> Sint64 #

fromInteger :: Integer -> Sint64 #

Show Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

showsPrec :: Int -> Sint64 -> ShowS #

show :: Sint64 -> String #

showList :: [Sint64] -> ShowS #

IvoryExpr Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint64 Source #

IvoryVar Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint64 Source #

unwrapExpr :: Sint64 -> Expr Source #

IvoryType Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint64 -> Type Source #

IvoryOrd Sint64 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(>?) :: Sint64 -> Sint64 -> IBool Source #

(>=?) :: Sint64 -> Sint64 -> IBool Source #

(<?) :: Sint64 -> Sint64 -> IBool Source #

(<=?) :: Sint64 -> Sint64 -> IBool Source #

IvoryEq Sint64 Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

(==?) :: Sint64 -> Sint64 -> IBool Source #

(/=?) :: Sint64 -> Sint64 -> IBool Source #

IvoryStore Sint64 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Sint64 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Methods

iDiv :: Sint64 -> Sint64 -> Sint64 Source #

(.%) :: Sint64 -> Sint64 -> Sint64 Source #

Default Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Sint64

IvoryZeroVal Sint64 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint64) Source #

IvoryInit Sint64 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

ival :: Sint64 -> Init (Stored Sint64) Source #

SignCast Sint64 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Sint64 -> Uint64 Source #

SignCast Uint64 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

signCast :: Uint64 -> Sint64 Source #

SafeCast Sint64 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint64 -> Sint64 Source #

SafeCast Sint64 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint64 -> IDouble Source #

SafeCast Sint32 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> Sint64 Source #

SafeCast Sint16 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> Sint64 Source #

SafeCast Sint8 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> Sint64 Source #

SafeCast Uint32 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint32 -> Sint64 Source #

SafeCast Uint16 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint16 -> Sint64 Source #

SafeCast Uint8 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> Sint64 Source #

SafeCast IBool Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> Sint64 Source #

TwosComplementCast Uint64 Sint64 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

twosComplementCast :: Uint64 -> Sint64 Source #

twosComplementRep :: Sint64 -> Uint64 Source #