Safe Haskell	None

Ivory.Language.Init

Synopsis

Documentation

data XInit Source

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]
IStruct Type [(String, XInit)]
IFresh Type XInit (Var -> Init)

initType :: XInit -> Type Source

Return the type of the initializer.

newtype Init area Source

Constructors

Init
Fields getInit :: XInit

class IvoryZero area whereSource

Zero initializers.

Methods

izero :: Init areaSource

Instances

(Num a, IvoryInit a) => IvoryZero (Stored * a)
IvoryZero (Stored * IChar)
IvoryZero (Stored * IBool)
IvoryArea area => IvoryZero (Stored * (Ptr Global area))
IvoryStruct sym => IvoryZero (Struct * sym)
(IvoryZero area, IvoryArea area, SingI Nat len) => IvoryZero (Array * len area)

class Monad m => FreshName m whereSource

Methods

freshName :: String -> m Var Source

Instances

FreshName AreaInitM
FreshName (Ivory eff)

data Binding Source

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

Constructors

Binding
Fields bindingVar :: Var bindingType :: Type bindingInit :: Init

Instances

Show Binding

bindingSym :: Binding -> Sym Source

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

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

class IvoryVar e => IvoryInit e whereSource

Initializers for Stored things.

Methods

ival :: e -> Init (Stored e)Source

Instances

IvoryInit IChar
IvoryInit Sint64
IvoryInit Sint32
IvoryInit Sint16
IvoryInit Sint8
IvoryInit Uint64
IvoryInit Uint32
IvoryInit Uint16
IvoryInit Uint8
IvoryInit IBool
IvoryInit IDouble
IvoryInit IFloat
ProcType proc => IvoryInit (ProcPtr proc)
SingI Nat len => IvoryInit (Ix len)
IvoryArea area => IvoryInit (Ptr Global area)

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

newtype InitStruct sym Source

Constructors

InitStruct
Fields getInitStruct :: [(String, XInit)]

Instances

IvoryStruct sym => Monoid (InitStruct sym)

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

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

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

Stack allocation