Safe Haskell | Safe-Infered |
---|

# Documentation

module Control.Arrow.State.Class

(Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r)) | |

Arrow r => ArrowState s (StateT s r) | |

ArrowTransformer (StateT s) | |

Arrow r => Arrow (StateT s r) | |

ArrowZero r => ArrowZero (StateT s r) | |

ArrowPlus r => ArrowPlus (StateT s r) | |

ArrowApply r => ArrowApply (StateT s r) | |

ArrowLoop r => ArrowLoop (StateT s r) | |

Category r => Category (StateT s r) |