| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.Final.NonDet
Synopsis
- module Polysemy.NonDet
- nonDetToFinal :: forall m r a. (Member (Final m) r, Alternative m) => Sem (NonDet ': r) a -> Sem r a
Documentation
module Polysemy.NonDet
nonDetToFinal :: forall m r a. (Member (Final m) r, Alternative m) => Sem (NonDet ': r) a -> Sem r a Source #
Run an NonDet effect through a final Alternative
Beware: Effects that aren't interpreted in terms of the final
monad will have local state semantics in regards to NonDet effects
interpreted this way. See Final.