Control.Monad.Weighted

Documentation

data WeightedT s m a

A monad transformer similar to WriterT, except that it does not leak space, and it uses the Semiring class, rather than Monoid.

Instances

MonadTrans (WeightedT s)

Methods

lift :: Monad m => m a -> WeightedT s m a

(Semiring s, Monad m) => MonadWriter (Mul s) (WeightedT s m)

Methods

writer :: (a, Mul s) -> WeightedT s m a

tell :: Mul s -> WeightedT s m ()

listen :: WeightedT s m a -> WeightedT s m (a, Mul s)

pass :: WeightedT s m (a, Mul s -> Mul s) -> WeightedT s m a

Monad m => Monad (WeightedT s m)

Methods

(>>=) :: WeightedT s m a -> (a -> WeightedT s m b) -> WeightedT s m b

(>>) :: WeightedT s m a -> WeightedT s m b -> WeightedT s m b

return :: a -> WeightedT s m a

fail :: String -> WeightedT s m a

Functor m => Functor (WeightedT s m)

Methods

fmap :: (a -> b) -> WeightedT s m a -> WeightedT s m b

(<$) :: a -> WeightedT s m b -> WeightedT s m a

Monad m => Applicative (WeightedT s m)

Methods

pure :: a -> WeightedT s m a

(<*>) :: WeightedT s m (a -> b) -> WeightedT s m a -> WeightedT s m b

(*>) :: WeightedT s m a -> WeightedT s m b -> WeightedT s m b

(<*) :: WeightedT s m a -> WeightedT s m b -> WeightedT s m a

(Alternative m, Monad m, Semiring s) => Alternative (WeightedT s m)

Methods

empty :: WeightedT s m a

(<|>) :: WeightedT s m a -> WeightedT s m a -> WeightedT s m a

some :: WeightedT s m a -> WeightedT s m [a]

many :: WeightedT s m a -> WeightedT s m [a]

runWeightedT :: Semiring s => WeightedT s m a -> m (a, s)

pattern WeightedT :: forall m s a. (Functor m, Semiring s) => m (a, s) -> WeightedT s m a

type Weighted s = WeightedT s Identity

runWeighted :: Semiring s => Weighted s a -> (a, s)

pattern Weighted :: forall s a. Semiring s => (a, s) -> Weighted s a

execWeightedT :: (Monad m, Semiring s) => WeightedT s m a -> m s

evalWeightedT :: (Monad m, Semiring s) => WeightedT s m a -> m a

execWeighted :: Semiring s => Weighted s a -> s

evalWeighted :: Semiring s => Weighted s a -> a