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

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

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

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

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

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

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

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

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

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

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