Polysemy.NonDet

Effect

data NonDet (m :: * -> *) a

An effect corresponding to the Alternative typeclass.

Constructors

Empty

Choose (Bool -> a)

Interpretations

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

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