Polysemy.Resume.Data.Resumable

Documentation

data Resumable err eff :: Effect where

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

Infix alias for Resumable.

Member (Stopper !! Boom) r =>