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 :: Area *)

Constructors

Init

Fields

• getInit :: XInit

class IvoryZero (area :: 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.

Methods

izero :: Init area

Instances

IvoryStruct sym => IvoryZero (Struct sym :: Area Type)

Defined in Ivory.Language.Init

Methods

izero :: Init (Struct sym)

IvoryZeroVal a => IvoryZero (Stored a)

Defined in Ivory.Language.Init

Methods

izero :: Init (Stored a)

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

Defined in Ivory.Language.Init

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

Methods

freshName :: String -> m Var

Instances

FreshName AreaInitM

Defined in Ivory.Language.MemArea

Methods

freshName :: String -> AreaInitM Var

FreshName (Ivory eff)

Defined in Ivory.Language.Init

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

Defined in Ivory.Language.Init

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.

Minimal complete definition

Nothing

Methods

ival :: e -> Init (Stored e)

Instances

IvoryInit IChar

Defined in Ivory.Language.Init

Methods

ival :: IChar -> Init (Stored IChar)

IvoryInit Sint64

Defined in Ivory.Language.Init

Methods

ival :: Sint64 -> Init (Stored Sint64)

IvoryInit Sint32

Defined in Ivory.Language.Init

Methods

ival :: Sint32 -> Init (Stored Sint32)

IvoryInit Sint16

Defined in Ivory.Language.Init

Methods

ival :: Sint16 -> Init (Stored Sint16)

IvoryInit Sint8

Defined in Ivory.Language.Init

Methods

ival :: Sint8 -> Init (Stored Sint8)

IvoryInit Uint64

Defined in Ivory.Language.Init

Methods

ival :: Uint64 -> Init (Stored Uint64)

IvoryInit Uint32

Defined in Ivory.Language.Init

Methods

ival :: Uint32 -> Init (Stored Uint32)

IvoryInit Uint16

Defined in Ivory.Language.Init

Methods

ival :: Uint16 -> Init (Stored Uint16)

IvoryInit Uint8

Defined in Ivory.Language.Init

Methods

ival :: Uint8 -> Init (Stored Uint8)

IvoryInit IBool

Defined in Ivory.Language.Init

Methods

ival :: IBool -> Init (Stored IBool)

IvoryInit IDouble

Defined in Ivory.Language.Init

Methods

ival :: IDouble -> Init (Stored IDouble)

IvoryInit IFloat

Defined in Ivory.Language.Init

Methods

ival :: IFloat -> Init (Stored IFloat)

ProcType proc => IvoryInit (ProcPtr proc)

Defined in Ivory.Language.Init

Methods

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

ANat len => IvoryInit (Ix len)

Defined in Ivory.Language.Init

Methods

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

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

Defined in Ivory.Language.BitData.Bits

Methods

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

IvoryArea area => IvoryInit (Ptr Global area)

Defined in Ivory.Language.Init

Methods

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

class IvoryVar a => IvoryZeroVal a where

Methods

izeroval :: Init (Stored a)

Instances

IvoryZeroVal IChar

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IChar)

IvoryZeroVal Sint64

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint64)

IvoryZeroVal Sint32

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint32)

IvoryZeroVal Sint16

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint16)

IvoryZeroVal Sint8

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Sint8)

IvoryZeroVal Uint64

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Uint64)

IvoryZeroVal Uint32

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Uint32)

IvoryZeroVal Uint16

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Uint16)

IvoryZeroVal Uint8

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored Uint8)

IvoryZeroVal IBool

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IBool)

IvoryZeroVal IDouble

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IDouble)

IvoryZeroVal IFloat

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IFloat)

ANat n => IvoryZeroVal (Ix n)

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored (Ix n))

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

Defined in Ivory.Language.BitData.Bits

Methods

izeroval :: Init (Stored (Bits n))

IvoryArea area => IvoryZeroVal (Ptr Global area)

Defined in Ivory.Language.Init

Methods

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

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

newtype InitStruct (sym :: Symbol)

Constructors

InitStruct

Fields

• getInitStruct :: [(String, XInit)]

Instances

IvoryStruct sym => Semigroup (InitStruct sym)

Defined in Ivory.Language.Init

Methods

(<>) :: InitStruct sym -> InitStruct sym -> InitStruct sym

sconcat :: NonEmpty (InitStruct sym) -> InitStruct sym

stimes :: Integral b => b -> InitStruct sym -> InitStruct sym

IvoryStruct sym => Monoid (InitStruct sym)

Defined in Ivory.Language.Init

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