polysemy-zoo-0.8.1.0: Experimental, user-contributed effects and interpreters for polysemy
Safe HaskellNone
LanguageHaskell2010

Polysemy.Final.NonDet

Synopsis

Documentation

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.