Safe Haskell	Safe
Language	Haskell2010

Ivory.Language.Effects

Synopsis

data Effects = Effects ReturnEff BreakEff AllocEff
type AllocEffects s = Effects NoReturn NoBreak (Scope s)
type ProcEffects s t = Effects (Returns t) NoBreak (Scope s)
type NoEffects = Effects NoReturn NoBreak NoAlloc
data ReturnEff
- = Returns t
- | NoReturn
type family GetReturn (effs :: Effects) :: ReturnEff
type family ClearReturn (effs :: Effects) :: Effects
data BreakEff
- = Break
- | NoBreak
type family GetBreaks (effs :: Effects) :: BreakEff
type family AllowBreak (effs :: Effects) :: Effects
type family ClearBreak (effs :: Effects) :: Effects
data AllocEff
- = Scope s
- | NoAlloc
type family GetAlloc (effs :: Effects) :: AllocEff
type family ClearAlloc (effs :: Effects) :: Effects

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

Returns t
NoReturn

type family GetReturn (effs :: Effects) :: ReturnEff Source #

Retrieve any Return effect present.

Instances

type GetReturn (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type GetReturn (Effects r b a) = r

type family ClearReturn (effs :: Effects) :: Effects Source #

Remove any Return effects present.

Instances

type ClearReturn (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type ClearReturn (Effects r b a) = Effects NoReturn b a

data BreakEff Source #

Loop break effect.

Constructors

Break
NoBreak

type family GetBreaks (effs :: Effects) :: BreakEff Source #

Retrieve any Breaks effect present.

Instances

type GetBreaks (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type GetBreaks (Effects r b a) = b

type family AllowBreak (effs :: Effects) :: Effects Source #

Add the Break effect into an effect context.

Instances

type AllowBreak (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type AllowBreak (Effects r b a) = Effects r Break a

type family ClearBreak (effs :: Effects) :: Effects Source #

Remove any Break effect present.

Instances

type ClearBreak (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type ClearBreak (Effects r b a) = Effects r NoBreak a

data AllocEff Source #

Stack allocation effect.

Constructors

Scope s
NoAlloc

type family GetAlloc (effs :: Effects) :: AllocEff Source #

Retrieve the current allocation effect.

Instances

type GetAlloc (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type GetAlloc (Effects r b a) = a

type family ClearAlloc (effs :: Effects) :: Effects Source #

Remove any allocation effect currently present.

Instances

type ClearAlloc (Effects r b a) Source #
Instance details Defined in Ivory.Language.Effects type ClearAlloc (Effects r b a) = Effects r b NoAlloc