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

MonadError e m => MonadError e (WeightedT s m)

Methods

throwError :: e -> WeightedT s m a

catchError :: WeightedT s m a -> (e -> WeightedT s m a) -> WeightedT s m a

MonadReader r m => MonadReader r (WeightedT s m)

Methods

ask :: WeightedT s m r

local :: (r -> r) -> WeightedT s m a -> WeightedT s m a

reader :: (r -> a) -> WeightedT s m a

MonadState s m => MonadState s (WeightedT w m)

Methods

get :: WeightedT w m s

put :: s -> WeightedT w m ()

state :: (s -> (a, s)) -> WeightedT w m a

MonadWriter w m => MonadWriter w (WeightedT s m)

Methods

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

tell :: w -> WeightedT s m ()

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

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

(Semiring w, Monad m) => MonadWeighted w (WeightedT w m)

Methods

weighted :: (a, w) -> WeightedT w m a

weight :: w -> WeightedT w m ()

weigh :: WeightedT w m a -> WeightedT w m (a, w)

scale :: WeightedT w m (a, w -> w) -> WeightedT w m a

MonadTrans (WeightedT s)

Methods

lift :: Monad m => m a -> 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

MonadFix m => MonadFix (WeightedT s m)

Methods

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

MonadFail m => MonadFail (WeightedT s m)

Methods

fail :: String -> 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

(Foldable m, Semiring w) => Foldable (WeightedT w m)

Methods

fold :: Monoid m => WeightedT w m m -> m

foldMap :: Monoid m => (a -> m) -> WeightedT w m a -> m

foldr :: (a -> b -> b) -> b -> WeightedT w m a -> b

foldr' :: (a -> b -> b) -> b -> WeightedT w m a -> b

foldl :: (b -> a -> b) -> b -> WeightedT w m a -> b

foldl' :: (b -> a -> b) -> b -> WeightedT w m a -> b

foldr1 :: (a -> a -> a) -> WeightedT w m a -> a

foldl1 :: (a -> a -> a) -> WeightedT w m a -> a

toList :: WeightedT w m a -> [a]

null :: WeightedT w m a -> Bool

length :: WeightedT w m a -> Int

elem :: Eq a => a -> WeightedT w m a -> Bool

maximum :: Ord a => WeightedT w m a -> a

minimum :: Ord a => WeightedT w m a -> a

sum :: Num a => WeightedT w m a -> a

product :: Num a => WeightedT w m a -> a

(Traversable m, Semiring w) => Traversable (WeightedT w m)

Methods

traverse :: Applicative f => (a -> f b) -> WeightedT w m a -> f (WeightedT w m b)

sequenceA :: Applicative f => WeightedT w m (f a) -> f (WeightedT w m a)

mapM :: Monad m => (a -> m b) -> WeightedT w m a -> m (WeightedT w m b)

sequence :: Monad m => WeightedT w m (m a) -> m (WeightedT w m a)

(Eq1 m, Eq w, Semiring w) => Eq1 (WeightedT w m)

Methods

liftEq :: (a -> b -> Bool) -> WeightedT w m a -> WeightedT w m b -> Bool

(Ord1 m, Ord w, Semiring w) => Ord1 (WeightedT w m)

Methods

liftCompare :: (a -> b -> Ordering) -> WeightedT w m a -> WeightedT w m b -> Ordering

(Read w, Read1 m, Semiring w, Functor m) => Read1 (WeightedT w m)

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (WeightedT w m a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [WeightedT w m a]

(Show w, Show1 m, Semiring w) => Show1 (WeightedT w m)

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> WeightedT w m a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [WeightedT w m a] -> ShowS

MonadIO m => MonadIO (WeightedT s m)

Methods

liftIO :: IO a -> WeightedT s m a

MonadPlus m => 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]

MonadPlus m => MonadPlus (WeightedT s m)

Methods

mzero :: WeightedT s m a

mplus :: WeightedT s m a -> WeightedT s m a -> WeightedT s m a

MonadCont m => MonadCont (WeightedT s m)

Methods

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

(Eq w, Eq1 m, Eq a, Semiring w) => Eq (WeightedT w m a)

Methods

(==) :: WeightedT w m a -> WeightedT w m a -> Bool

(/=) :: WeightedT w m a -> WeightedT w m a -> Bool

(Ord w, Ord1 m, Ord a, Semiring w) => Ord (WeightedT w m a)

Methods

compare :: WeightedT w m a -> WeightedT w m a -> Ordering

(<) :: WeightedT w m a -> WeightedT w m a -> Bool

(<=) :: WeightedT w m a -> WeightedT w m a -> Bool

(>) :: WeightedT w m a -> WeightedT w m a -> Bool

(>=) :: WeightedT w m a -> WeightedT w m a -> Bool

max :: WeightedT w m a -> WeightedT w m a -> WeightedT w m a

min :: WeightedT w m a -> WeightedT w m a -> WeightedT w m a

(Read w, Read1 m, Read a, Semiring w, Functor m) => Read (WeightedT w m a)

Methods

readsPrec :: Int -> ReadS (WeightedT w m a)

readList :: ReadS [WeightedT w m a]

readPrec :: ReadPrec (WeightedT w m a)

readListPrec :: ReadPrec [WeightedT w m a]

(Show w, Show1 m, Show a, Semiring w) => Show (WeightedT w m a)

Methods

showsPrec :: Int -> WeightedT w m a -> ShowS

show :: WeightedT w m a -> String

showList :: [WeightedT w m a] -> ShowS

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