ivory-0.1.0.8: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.Uint

Synopsis

Documentation

newtype Uint8 Source #

8-bit words.

Constructors

Uint8 

Fields

Instances
Bounded Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Num Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Show Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

showsPrec :: Int -> Uint8 -> ShowS #

show :: Uint8 -> String #

showList :: [Uint8] -> ShowS #

IvoryExpr Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint8 Source #

IvoryVar Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryType Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryOrd Uint8 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryEq Uint8 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryStore Uint8 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Uint8 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Methods

iDiv :: Uint8 -> Uint8 -> Uint8 Source #

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

Default Uint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Uint8

IvoryZeroVal Uint8 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryInit Uint8 Source # 
Instance details

Defined in Ivory.Language.Init

Methods

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

IvoryBits Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

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 Uint8 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> Uint8 Source #

SafeCast Uint8 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast IBool Uint8 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> Uint8 Source #

TwosComplementCast Uint8 Sint8 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint64 -> Uint8 Source #

BitCast Uint32 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint32 -> Uint8 Source #

BitCast Uint16 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint16 -> Uint8 Source #

BitCast Uint8 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint8 -> Uint8 Source #

BitSplit Uint16 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

newtype Uint16 Source #

16-bit words.

Constructors

Uint16 

Fields

Instances
Bounded Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Num Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Show Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryExpr Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint16 Source #

IvoryVar Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryType Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryOrd Uint16 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryEq Uint16 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryStore Uint16 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Uint16 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Default Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Uint16

IvoryZeroVal Uint16 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryInit Uint16 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryBits Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

SignCast Sint16 Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SignCast Uint16 Sint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast IBool Uint16 Source # 
Instance details

Defined in Ivory.Language.Cast

TwosComplementCast Uint16 Sint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint32 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint16 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint16 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint16 -> Uint8 Source #

BitSplit Uint32 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitSplit Uint16 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

newtype Uint32 Source #

32-bit words.

Constructors

Uint32 

Fields

Instances
Bounded Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Num Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Show Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryExpr Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint32 Source #

IvoryVar Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryType Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryOrd Uint32 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryEq Uint32 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryStore Uint32 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Uint32 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Default Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Uint32

IvoryZeroVal Uint32 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryInit Uint32 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryBits Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits

SignCast Sint32 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SignCast Uint32 Sint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 IFloat Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast IBool Uint32 Source # 
Instance details

Defined in Ivory.Language.Cast

TwosComplementCast Uint32 Sint32 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint32 Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint32 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint32 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint32 -> Uint8 Source #

BitSplit Uint64 Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits

BitSplit Uint32 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

newtype Uint64 Source #

64-bit words.

Constructors

Uint64 

Fields

Instances
Bounded Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Num Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Show Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryExpr Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint64 Source #

IvoryVar Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryType Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

IvoryOrd Uint64 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryEq Uint64 Source # 
Instance details

Defined in Ivory.Language.IBool

IvoryStore Uint64 Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryIntegral Uint64 Source # 
Instance details

Defined in Ivory.Language.IIntegral

Default Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

defaultVal :: Uint64

IvoryZeroVal Uint64 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryInit Uint64 Source # 
Instance details

Defined in Ivory.Language.Init

IvoryBits Uint64 Source # 
Instance details

Defined in Ivory.Language.Bits

SignCast Sint64 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SignCast Uint64 Sint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint64 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint64 IDouble Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint32 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint16 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast Uint8 Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

SafeCast IBool Uint64 Source # 
Instance details

Defined in Ivory.Language.Cast

TwosComplementCast Uint64 Sint64 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint64 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint16 Source # 
Instance details

Defined in Ivory.Language.Bits

BitCast Uint64 Uint8 Source # 
Instance details

Defined in Ivory.Language.Bits

Methods

bitCast :: Uint64 -> Uint8 Source #

BitSplit Uint64 Uint32 Source # 
Instance details

Defined in Ivory.Language.Bits