| Copyright | (c) Ross Paterson 2017 |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Selection monad transformer, modelling search algorithms.
type Select r = SelectT r Identity Source
Selection monad.
select :: ((a -> r) -> a) -> Select r a Source
Constructor for computations in the selection monad.
runSelect :: Select r a -> (a -> r) -> a Source
Runs a Select computation with a function for evaluating answers to select a particular answer. (The inverse of select.)
mapSelect :: (a -> a) -> Select r a -> Select r a Source
Apply a function to transform the result of a selection computation.
newtype SelectT r (m :: Type -> Type) a Source
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) Source | |||||
Defined in Control.Monad.Trans.Select | |||||
| (Functor m, MonadPlus m) => Alternative (SelectT r m) Source | |||||
| (Functor m, Monad m) => Applicative (SelectT r m) Source | |||||
Defined in Control.Monad.Trans.Select | |||||
| Functor m => Functor (SelectT r m) Source | |||||
| Monad m => Monad (SelectT r m) Source | |||||
| MonadPlus m => MonadPlus (SelectT r m) Source | |||||
| MonadFail m => MonadFail (SelectT r m) Source | |||||
Defined in Control.Monad.Trans.Select | |||||
| MonadIO m => MonadIO (SelectT r m) Source | |||||
Defined in Control.Monad.Trans.Select | |||||
| Generic (SelectT r m a) Source | |||||
Defined in Control.Monad.Trans.Select Associated Types
| |||||
| type Rep (SelectT r m a) Source | |||||
Defined in Control.Monad.Trans.Select | |||||
runSelectT :: SelectT r m a -> (a -> m r) -> m a Source
Runs a SelectT computation with a function for evaluating answers to select a particular answer. (The inverse of select.)
mapSelectT :: (m a -> m a) -> SelectT r m a -> SelectT r m a Source
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.
runSelectT (mapSelectT f m) = f . runSelectT m
selectToContT :: forall (m :: Type -> Type) r a. Monad m => SelectT r m a -> ContT r m a Source
Convert a selection computation to a continuation-passing computation.
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/transformers-0.6.1.2-72bd/Control-Monad-Trans-Select.html