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 | None |

Language | Haskell98 |

# Documentation

## Instances

Applicative f => Arrow (Static f) Source # | |

Alternative f => ArrowZero (Static f) Source # | |

Defined in Data.Semigroupoid.Static | |

Alternative f => ArrowPlus (Static f) Source # | |

Applicative f => ArrowChoice (Static f) Source # | |

Defined in Data.Semigroupoid.Static | |

Applicative f => Category (Static f :: Type -> Type -> Type) Source # | |

Apply f => Semigroupoid (Static f :: Type -> Type -> Type) Source # | |

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

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

Defined in Data.Semigroupoid.Static | |

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

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

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

Defined in Data.Semigroupoid.Static | |

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

Plus f => Plus (Static f a) Source # | |

Defined in Data.Semigroupoid.Static |