polysemy-resume-0.5.0.0: Polysemy error tracking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Resume.Effect.Resumable

Synopsis

Documentation

data Resumable err eff :: Effect where Source #

Effect that wraps another effect eff, marking it as throwing errors of type err using Stop.

Constructors

Resumable :: forall err eff r a. Weaving eff (Sem r) a -> Resumable err eff (Sem r) (Either err a) 

type (!!) eff err = Resumable err eff Source #

Infix alias for Resumable.

Member (Stopper !! Boom) r =>