Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Floodgate

Contents

Synopsis

Effect

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

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

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

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.