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

Safe Haskell	Safe
Language	Haskell2010

Polysemy.Internal.NonDet

Synopsis

data NonDet (m :: Type -> Type) a
- = Empty
- | Choose (Bool -> a)

Documentation

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

An effect corresponding to the Alternative typeclass.

Constructors

Empty
Choose (Bool -> a)