Copyright | (C) 2011-2015 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

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

Stability | provisional |

Portability | polykinds |

Safe Haskell | Safe |

Language | Haskell98 |

# Documentation

Applicative f => Category * (Static f) | |

Apply f => Semigroupoid * (Static f) | |

Applicative f => Arrow (Static f) | |

Alternative f => ArrowZero (Static f) | |

Alternative f => ArrowPlus (Static f) | |

Applicative f => ArrowChoice (Static f) | |

Functor f => Functor (Static f a) | |

Applicative f => Applicative (Static f a) | |

(Comonad f, Monoid a) => Comonad (Static f a) | |

(Extend f, Semigroup a) => Extend (Static f a) | |

Apply f => Apply (Static f a) | |

Alt f => Alt (Static f a) | |

Plus f => Plus (Static f a) |