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

Safe Haskell	None
Language	Haskell2010

Polysemy.NonDet

Contents

Effect
Interpretations

Synopsis

data NonDet (m :: Type -> Type) a
- = Empty
- | Choose (Bool -> a)
runNonDet :: Alternative f => Sem (NonDet ': r) a -> Sem r (f a)

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.