Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Resume.Effect.Resumable

Synopsis

data Resumable err eff :: Effect where
- 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

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 =>