Safe Haskell	None
Language	GHC2021

Polysemy.Resume.Effect.Resumable

Description

Synopsis

data Resumable err (eff :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) b where
- Resumable :: forall err (eff :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a1. Weaving eff (Sem r) a1 -> Resumable err eff (Sem r) (Either err a1)
type (!!) (eff :: (Type -> Type) -> Type -> Type) err = Resumable err eff

Documentation

data Resumable err (eff :: (Type -> Type) -> Type -> Type) (a :: Type -> Type) b where Source #

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

Constructors

Resumable :: forall err (eff :: (Type -> Type) -> Type -> Type) (r :: EffectRow) a1. Weaving eff (Sem r) a1 -> Resumable err eff (Sem r) (Either err a1)

type (!!) (eff :: (Type -> Type) -> Type -> Type) err = Resumable err eff Source #

Infix alias for Resumable.

Member (Stopper !! Boom) r =>