Profunctor M Source # | |

## Instance detailsDefined in Data.Fold.M |

Costrong M Source # | |

## Instance detailsDefined in Data.Fold.M |

Corepresentable M Source # | |

## Instance detailsDefined in Data.Fold.M |

Choice M Source # | |

## Instance detailsDefined in Data.Fold.M |

Closed M Source # | |

## Instance detailsDefined in Data.Fold.M Methods closed :: M a b -> M (x -> a) (x -> b) # |

Folding M Source # | efficient `prefix` , efficient `postfix` |

## Instance detailsDefined in Data.Fold.M |

Scan M Source # | |

## Instance detailsDefined in Data.Fold.M |

AsRM M Source # | We can convert from a monoidal fold to a lazy right fold |

## Instance detailsDefined in Data.Fold |

AsRM1 M Source # | |

## Instance detailsDefined in Data.Fold |

Cosieve M FreeMonoid Source # | |

## Instance detailsDefined in Data.Fold.M |

Monad (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Functor (M a) Source # | |

## Instance detailsDefined in Data.Fold.M Methods fmap :: (a0 -> b) -> M a a0 -> M a b # (<$) :: a0 -> M a b -> M a a0 # |

MonadFix (M a) Source # | |

## Instance detailsDefined in Data.Fold.M Methods mfix :: (a0 -> M a a0) -> M a a0 # |

Applicative (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Distributive (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Representable (M a) Source # | |

## Instance detailsDefined in Data.Fold.M Associated Types type Rep (M a) # |

MonadZip (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Comonad (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

ComonadApply (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Apply (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Bind (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

Extend (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

MonadReader (FreeMonoid a) (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |

type Corep M Source # | |

## Instance detailsDefined in Data.Fold.M |

type Rep (M a) Source # | |

## Instance detailsDefined in Data.Fold.M |