cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Tools.Nondeterministic

Documentation

class Monad m => Nondeterministic m where Source #

Methods

guess :: [a] -> m a Source #

Instances

Instances details
Nondeterministic Stream Source # 
Instance details

Defined in Math.Number.Stream

Methods

guess :: [a] -> Stream a Source #

Nondeterministic Queue Source # 
Instance details

Defined in Math.Tools.Queue

Methods

guess :: [a] -> Queue a Source #

Nondeterministic List Source # 
Instance details

Defined in Math.Tools.Nondeterministic

Methods

guess :: [a] -> [a] Source #

class Nondeterministic m => Classified m where Source #

Methods

solve :: m a -> [a] Source #

Instances

Instances details
Classified List Source # 
Instance details

Defined in Math.Tools.Nondeterministic

Methods

solve :: [a] -> [a] Source #

plus_nondet :: Nondeterministic m => m a -> m a -> m a Source #

zero_nondet :: Nondeterministic m => m a Source #

class Monad m => ChoiceMonad m where Source #

Minimal complete definition

invert

Methods

invert :: (Random a, Eq b) => (a -> m b) -> b -> m a Source #

random_element :: Random a => m a Source #

invert_propertyM :: (ChoiceMonad m, Random a) => (a -> m Bool) -> m a Source #

invert_property :: (ChoiceMonad m, Random a) => (a -> Bool) -> m a Source #