Safe Haskell | Safe-Inferred |
---|
- 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
- type family GetReturn effs :: ReturnEff
- type family ClearReturn effs :: Effects
- data BreakEff
- type family GetBreaks effs :: BreakEff
- type family AllowBreak effs :: Effects
- type family ClearBreak effs :: Effects
- data AllocEff
- type family GetAlloc effs :: AllocEff
- type family ClearAlloc effs :: Effects
Documentation
type family ClearReturn effs :: EffectsSource
Remove any Return
effects present.
type family AllowBreak effs :: EffectsSource
Add the Break
effect into an effect context.
type family ClearBreak effs :: EffectsSource
Remove any Break
effect present.
type family ClearAlloc effs :: EffectsSource
Remove any allocation effect currently present.