Safe Haskell | Trustworthy |
---|

# Documentation

A Moore Machine

forall r . L (r -> b) (r -> a -> r) r |

Profunctor L | |

Choice L | |

Folding L | |

Scan L | |

AsL' L | We can convert from a lazy left folding to a strict left folding. |

AsL1' L | |

AsRM L | We can convert from a lazy left folding to a right or monoidal fold |

AsRM1 L | |

Monad (L a) | |

Functor (L a) | |

Applicative (L a) | |

MonadZip (L a) | |

Comonad (L a) | |

ComonadApply (L a) | |

Apply (L a) | |

Bind (L a) | |

Extend (L a) |