proton-0.0.4
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.FoldM

Documentation

data FoldM m a b Source #

Constructors

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

Instances

Instances details
Functor m => Profunctor (FoldM m) Source # 
Instance details

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 #