Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Floodgate

Effect

1 declaration

datadata Floodgate (m :: Type -> Type) a where

2 declarations

valuehold :: Member Floodgate r => Sem r () -> Sem r ()

valuerelease :: Member Floodgate r => Sem r ()

2 declarations

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

valuerunFloodgateDry :: 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.