Extra module:Control.Monad

module Control.Monad.Extra
extra
Extra functions for Control.Monad. These functions provide looping, list operations and booleans. If you need a wider selection of monad loops and list generalisations, see monad-loops.
module Control.Monad.Extra
monad-extras
module Control.Monad.Logger.Extras
monad-logger-extras
module Control.Monad.Trans.Maybe.Extras
alternators
module Control.Monad.Ology.General.Extract
monadology
type Extract m = forall a . m a -> a
monadology Control.Monad.Ology.General.Function
extractEvidence :: Monad m => PopulationT m a -> PopulationT (WeightedT m) a
monad-bayes Control.Monad.Bayes.Population
Separate the sum of weights into the WeightedT transformer. Weights are normalized after this operation.
extractWeight :: Functor m => WeightedT m a -> m (Log Double)
monad-bayes Control.Monad.Bayes.Weighted
Compute the weight and discard the sample.
extract :: Has part record => record -> part
can-i-haz Control.Monad.Reader.Has
Extract a subvalue of type part from the record. The default implementation searches for some value of the type part in record and returns that value. The default implementation typechecks iff there is a single subvalue of type part in record.
extract :: forall path . (Has part record, Generic record, SuccessfulSearch part record path) => record -> part
can-i-haz Control.Monad.Reader.Has
Extract a subvalue of type part from the record. The default implementation searches for some value of the type part in record and returns that value. The default implementation typechecks iff there is a single subvalue of type part in record.
module Control.Monad.State.UnificationExtras
unification-fd
This module defines some extra functions for Control.Monad.State.Lazy. This package really isn't the proper place for these, but we need them to be somewhere. TODO: patch transformers/mtl-2 with these functions.
class MonadInner m => MonadExtract m
monadology Control.Monad.Ology.General.Extract
Instances of this type are isomorphic to (Q,a) for some type Q (with Monoid Q).
MkWExtract :: Extract m -> WExtract m
monadology Control.Monad.Ology.General.Function
newtype WExtract m
monadology Control.Monad.Ology.General.Function
unWExtract :: WExtract m -> Extract m
monadology Control.Monad.Ology.General.Function
getExtract :: MonadOuter m => m (WExtract m)
monadology Control.Monad.Ology.General.Outer