Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Final.More

2 values

Packagepolysemy-zoo-0.8.2.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceMore.hs

valuerunFinalSem :: Sem (Final (Sem r) ': r) a -> Sem r a

Run a Final (Sem r) effect if the remaining effect stack is r.

This is sometimes useful for interpreters that make use of reinterpret, raiseUnder, or any of their friends.

valuelowerFinal

:: Member (Embed m) r
=> forall x. Sem r x -> m x
-> Sem (Final m ': r) a
-> Sem r a

Run a Final m effect by providing an explicit lowering function.

Beware: The lowering function may be invoked multiple times, so don't do any initialization work inside the lowering function: it will be duplicated.