polysemy-zoo-0.7.0.1: Experimental, user-contributed effects and interpreters for polysemy

Safe HaskellNone
LanguageHaskell2010

Polysemy.Floodgate

Contents

Synopsis

Effect

data Floodgate m a where Source #

Since: 0.3.1.0

Constructors

Hold :: m () -> Floodgate m () 
Release :: Floodgate m () 
Instances
type DefiningModule Floodgate Source # 
Instance details

Defined in Polysemy.Floodgate

type DefiningModule Floodgate = "Polysemy.Floodgate"

Actions

hold :: forall r. MemberWithError Floodgate r => Sem r () -> Sem r () Source #

release :: forall r. MemberWithError Floodgate r => Sem r () Source #

Interpretations

runFloodgate :: Sem (Floodgate ': r) a -> Sem r a Source #

Since: 0.3.1.0

runFloodgateDry :: Sem (Floodgate ': r) a -> Sem r a Source #

Like runFloodgate, but will do a final flush to release anything that might still be behind the floodgate.

Since: 0.3.1.0