# Documentation

Applicative f => Arrow (Static f) | |

Alternative f => ArrowZero (Static f) | |

Alternative f => ArrowPlus (Static f) | |

Applicative f => ArrowChoice (Static f) | |

Applicative f => Category (Static f) | |

Apply f => Semigroupoid (Static f) | |

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

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

(Comonad f, Semigroup a, 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) |