ivory-0.1.0.0: Safe embedded C programming.

Safe Haskell	Safe-Inferred

Ivory.Language.Effects

Synopsis

Documentation

data Effects Source

The effect context for Ivory operations.

Constructors

Effects ReturnEff BreakEff AllocEff

type AllocEffects s = Effects NoReturn NoBreak (Scope s)Source

type ProcEffects s t = Effects (Returns t) NoBreak (Scope s)Source

type NoEffects = Effects NoReturn NoBreak NoAlloc Source

data ReturnEff Source

Function return effect.

Constructors

forall t . Returns t
NoReturn

type family GetReturn effs :: ReturnEff Source

Retrieve any Return effect present.

type family ClearReturn effs :: Effects Source

Remove any Return effects present.

data BreakEff Source

Loop break effect.

Constructors

Break
NoBreak

type family GetBreaks effs :: BreakEff Source

Retrieve any Breaks effect present.

type family AllowBreak effs :: Effects Source

Add the Break effect into an effect context.

type family ClearBreak effs :: Effects Source

Remove any Break effect present.

data AllocEff Source

Stack allocation effect.

Constructors

forall s . Scope s
NoAlloc

type family GetAlloc effs :: AllocEff Source

Retrieve the current allocation effect.

type family ClearAlloc effs :: Effects Source

Remove any allocation effect currently present.