polysemy-0.5.0.1: Higher-order, low-boilerplate, zero-cost free monads.

Safe HaskellNone
LanguageHaskell2010

Polysemy.NonDet

Contents

Synopsis

Effect

data NonDet (m :: Type -> Type) a Source #

An effect corresponding to the Alternative typeclass.

Constructors

Empty 
Choose (Bool -> a) 

Interpretations

runNonDet :: Alternative f => Sem (NonDet ': r) a -> Sem r (f a) Source #

Run a NonDet effect in terms of some underlying Alternative f.