|Copyright||(c) Ross Paterson 2017|
|License||BSD-style (see the file LICENSE)|
Selection monad transformer, modelling search algorithms.
Constructor for computations in the selection monad.
Select computation with a function for evaluating answers to select a particular answer. (The inverse of
Apply a function to transform the result of a selection computation.
Selection monad transformer.
SelectT is not a functor on the category of monads, and many operations cannot be lifted through it.
|SelectT ((a -> m r) -> m a)|
|MonadTrans (SelectT r)|
|Monad m => Monad (SelectT r m)|
|Functor m => Functor (SelectT r m)|
|MonadFail m => MonadFail (SelectT r m)|
|(Functor m, Monad m) => Applicative (SelectT r m)|
Defined in Control.Monad.Trans.Select
|MonadIO m => MonadIO (SelectT r m)|
|(Functor m, MonadPlus m) => Alternative (SelectT r m)|
|MonadPlus m => MonadPlus (SelectT r m)|
SelectT computation with a function for evaluating answers to select a particular answer. (The inverse of
Apply a function to transform the result of a selection computation. This has a more restricted type than the
map operations for other monad transformers, because
SelectT does not define a functor in the category of monads.
Convert a selection computation to a continuation-passing computation.
Deprecated: Use selectToContT instead
Deprecated name for
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).