Ivory.Language.Effects

data Effects

type AllocEffects s

type ProcEffects s t

type NoEffects

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