IdrisDoc: Effects.EffElem

Effects.EffElem

data EffElem : Effect -> Type -> List EFFECT -> Type
Here : EffElem x a (MkEff a x :: xs)
There : EffElem x a xs -> EffElem x a (y :: xs)