Polysemy.Floodgate

Effect

data Floodgate m a where

Since: 0.3.1.0

Constructors

Hold :: m () -> Floodgate m ()

Release :: Floodgate m ()

Instances

type DefiningModule Floodgate

Defined in Polysemy.Floodgate

type DefiningModule Floodgate = "Polysemy.Floodgate"

Actions

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

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

Interpretations

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

Since: 0.3.1.0

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

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

Since: 0.3.1.0