Data.Profunctor.FoldM

Documentation

data FoldM m a b

Constructors

forall x. FoldM (x -> a -> m x) (m x) (x -> m b)

Instances

Functor m => Profunctor (FoldM m)

Defined in Data.Profunctor.FoldM

Methods

dimap :: (a -> b) -> (c -> d) -> FoldM m b c -> FoldM m a d

lmap :: (a -> b) -> FoldM m b c -> FoldM m a c

rmap :: (b -> c) -> FoldM m a b -> FoldM m a c

(#.) :: forall a b c q. Coercible c b => q b c -> FoldM m a b -> FoldM m a c

(.#) :: forall a b c q. Coercible b a => FoldM m b c -> q a b -> FoldM m a c