Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
forall x. FoldM (x -> a -> m x) (m x) (x -> m b) |
Instances
Functor m => Profunctor (FoldM m) Source # | |
Defined in Data.Profunctor.FoldM 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 # |