Ivory.Language.MemArea

Documentation

newtype AreaInitM a

This is used to generate fresh names for compound initializers.

Constructors

AreaInitM

Fields

unAreaInitM :: ReaderT String (StateT Int Id) a

Instances

Monad AreaInitM

Functor AreaInitM

FreshName AreaInitM

ReaderM AreaInitM String

StateM AreaInitM Int

areaInit_iso :: Iso (ReaderT String (StateT Int Id)) AreaInitM

runAreaInitM :: String -> AreaInitM a -> a

areaInit :: String -> Init area -> (Init, [Binding])

data MemArea area

Externally defined memory areas.

Constructors

MemImport AreaImport

MemArea Area [Area]

Instances

IvoryAddrOf MemArea Ref

memSym :: MemArea area -> Sym

bindingArea :: Bool -> Binding -> Area

Create an area from an auxillary binding.

makeArea :: Sym -> Bool -> Type -> Init -> Area

area :: forall area. IvoryArea area => Sym -> Maybe (Init area) -> MemArea area

Define a global constant.

importArea :: IvoryArea area => Sym -> String -> MemArea area

Import an external symbol from a header.

newtype ConstMemArea area

Constructors

ConstMemArea (MemArea area)

Instances

IvoryAddrOf ConstMemArea ConstRef

constArea :: forall area. IvoryArea area => Sym -> Init area -> ConstMemArea area

Constant memory area definition.

importConstArea :: IvoryArea area => Sym -> String -> ConstMemArea area

Import an external symbol from a header.

class IvoryAddrOf mem ref | mem -> ref, ref -> mem where

Turn a memory area into a reference.

Methods

addrOf :: IvoryArea area => mem area -> ref Global area

Instances

IvoryAddrOf ConstMemArea ConstRef

IvoryAddrOf MemArea Ref

primAddrOf :: IvoryArea area => MemArea area -> Expr