Ivory.Language.Init

Documentation

data XInit

Intermediate initializer type supporting compound initializers. The IFresh nodes are flattened into multiple I.Init nodes in a FreshName monad when the variable is allocated.

Constructors

IVal Type Init

IArray Type [XInit] Bool

IStruct Type [(String, XInit)]

IFresh Type XInit (Var -> Init)

initType :: XInit -> Type

Return the type of the initializer.

newtype Init area

Constructors

Init

Fields

• getInit :: XInit

class IvoryZero area where

Zero initializers. The semantics of Ivory is that initializers must be compatible with C semantics of initializing to 0 for globals in .bss.

Minimal complete definition

izero

Methods

izero :: Init area

Instances

IvoryStruct sym => IvoryZero (Struct * sym)

Methods

izero :: Init (Struct * sym)

IvoryZeroVal a => IvoryZero (Stored * a)

Methods

izero :: Init (Stored * a)

(IvoryZero area, IvoryArea area, ANat len) => IvoryZero (Array * len area)

Methods

izero :: Init (Array * len area)

refZero :: forall eff s a. (IvoryZero a, IvoryArea a) => Ref s a -> Ivory eff ()

Zero the memory pointed to by this reference, as long as it could have been created with a zero initializer.

class Monad m => FreshName m where

Minimal complete definition

freshName

Methods

freshName :: String -> m Var

Instances

FreshName AreaInitM

Methods

freshName :: String -> AreaInitM Var

FreshName (Ivory eff)

Methods

freshName :: String -> Ivory eff Var

data Binding

A variable binding (on the stack or in a memory area).

Constructors

Binding

Fields

• bindingVar :: Var
• bindingType :: Type
• bindingInit :: Init

Instances

Show Binding

Methods

showsPrec :: Int -> Binding -> ShowS

show :: Binding -> String

showList :: [Binding] -> ShowS

bindingSym :: Binding -> Sym

runInit :: FreshName m => XInit -> m (Init, [Binding])

Return the initializer and auxillary bindings for an initializer in a context that can allocate fresh names.

class IvoryVar e => IvoryInit e where

Initializers for Stored things.

Methods

ival :: e -> Init (Stored e)

Instances

IvoryInit IChar

Methods

ival :: IChar -> Init (Stored * IChar)

IvoryInit Sint64

Methods

ival :: Sint64 -> Init (Stored * Sint64)

IvoryInit Sint32

Methods

ival :: Sint32 -> Init (Stored * Sint32)

IvoryInit Sint16

Methods

ival :: Sint16 -> Init (Stored * Sint16)

IvoryInit Sint8

Methods

ival :: Sint8 -> Init (Stored * Sint8)

IvoryInit Uint64

Methods

ival :: Uint64 -> Init (Stored * Uint64)

IvoryInit Uint32

Methods

ival :: Uint32 -> Init (Stored * Uint32)

IvoryInit Uint16

Methods

ival :: Uint16 -> Init (Stored * Uint16)

IvoryInit Uint8

Methods

ival :: Uint8 -> Init (Stored * Uint8)

IvoryInit IBool

Methods

ival :: IBool -> Init (Stored * IBool)

IvoryInit IDouble

Methods

ival :: IDouble -> Init (Stored * IDouble)

IvoryInit IFloat

Methods

ival :: IFloat -> Init (Stored * IFloat)

ProcType proc => IvoryInit (ProcPtr proc)

Methods

ival :: ProcPtr proc -> Init (Stored * (ProcPtr proc))

ANat len => IvoryInit (Ix len)

Methods

ival :: Ix len -> Init (Stored * (Ix len))

IvoryRep (BitRep n) => IvoryInit (Bits n)

Methods

ival :: Bits n -> Init (Stored * (Bits n))

IvoryArea area => IvoryInit (Ptr Global area)

Methods

ival :: Ptr Global area -> Init (Stored * (Ptr Global area))

class IvoryVar a => IvoryZeroVal a where

Minimal complete definition

izeroval

Methods

izeroval :: Init (Stored a)

Instances

IvoryZeroVal IChar

Methods

izeroval :: Init (Stored * IChar)

IvoryZeroVal Sint64

Methods

izeroval :: Init (Stored * Sint64)

IvoryZeroVal Sint32

Methods

izeroval :: Init (Stored * Sint32)

IvoryZeroVal Sint16

Methods

izeroval :: Init (Stored * Sint16)

IvoryZeroVal Sint8

Methods

izeroval :: Init (Stored * Sint8)

IvoryZeroVal Uint64

Methods

izeroval :: Init (Stored * Uint64)

IvoryZeroVal Uint32

Methods

izeroval :: Init (Stored * Uint32)

IvoryZeroVal Uint16

Methods

izeroval :: Init (Stored * Uint16)

IvoryZeroVal Uint8

Methods

izeroval :: Init (Stored * Uint8)

IvoryZeroVal IBool

Methods

izeroval :: Init (Stored * IBool)

IvoryZeroVal IDouble

Methods

izeroval :: Init (Stored * IDouble)

IvoryZeroVal IFloat

Methods

izeroval :: Init (Stored * IFloat)

ANat n => IvoryZeroVal (Ix n)

Methods

izeroval :: Init (Stored * (Ix n))

IvoryRep (BitRep n) => IvoryZeroVal (Bits n)

Methods

izeroval :: Init (Stored * (Bits n))

IvoryArea area => IvoryZeroVal (Ptr Global area)

Methods

izeroval :: Init (Stored * (Ptr Global area))

iarray :: forall len area. (IvoryArea area, ANat len) => [Init area] -> Init (Array len area)

newtype InitStruct sym

Constructors

InitStruct

Fields

• getInitStruct :: [(String, XInit)]

Instances

IvoryStruct sym => Monoid (InitStruct sym)

Methods

mempty :: InitStruct sym

mappend :: InitStruct sym -> InitStruct sym -> InitStruct sym

mconcat :: [InitStruct sym] -> InitStruct sym

istruct :: forall sym. IvoryStruct sym => [InitStruct sym] -> Init (Struct sym)

(.=) :: Label sym area -> Init area -> InitStruct sym

local :: forall eff s area. (IvoryArea area, GetAlloc eff ~ Scope s) => Init area -> Ivory eff (Ref (Stack s) area)

Stack allocation