Portability | portable |
---|---|

Stability | provisional |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | None |

# Documentation

`Mealy`

machines

Arrow Mealy | |

ArrowChoice Mealy | |

ArrowApply Mealy | |

Category Mealy | |

Profunctor Mealy | |

Automaton Mealy | |

Monad (Mealy a) | slow diagonalization |

Functor (Mealy a) | |

Functor (Mealy a) => Applicative (Mealy a) |

unfoldMealy :: (s -> a -> (b, s)) -> s -> Mealy a bSource

A `Mealy`

machine modeled with explicit state.