Safe Haskell	None
Language	Haskell2010

Polysemy.Resume.Data.Resumable

Synopsis

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

Documentation

data Resumable err eff m a 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)