Ivory.Language.Effects

data Effects

type AllocEffects s

type ProcEffects s t

type NoEffects

data ReturnEff

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

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

data BreakEff

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

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

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

data AllocEff

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

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