Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Floodgate m a where
- hold :: forall r. MemberWithError Floodgate r => Sem r () -> Sem r ()
- release :: forall r. MemberWithError Floodgate r => Sem r ()
- runFloodgate :: Sem (Floodgate ': r) a -> Sem r a
- runFloodgateDry :: Sem (Floodgate ': r) a -> Sem r a
Effect
data Floodgate m a where Source #
Since: 0.3.1.0
Instances
type DefiningModule Floodgate Source # | |
Defined in Polysemy.Floodgate |
Actions
Interpretations
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