Portability | portable |
---|---|

Stability | experimental |

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

# Documentation

class (PFunctor p r t, QFunctor p s t) => Bifunctor p r s t | p r -> s t, p s -> r t, p t -> r s whereSource

Bifunctor Either Hask Hask Hask | |

Bifunctor (,) Hask Hask Hask | |

Bifunctor Coreader Hask Hask Hask | |

Functor f => Bifunctor (CoreaderT f) Hask Hask Hask | |

Bifunctor (IxState i) Hask Hask Hask | |

ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask | |

Bifunctor (Const2 t) Hask Hask Hask | |

Bifunctor p Hask Hask Hask => Bifunctor (Flip p) Hask Hask Hask | |

Monad m => Bifunctor (IxStateT m i) Hask Hask Hask | |

(Functor f, Bifunctor p Hask Hask Hask) => Bifunctor (Of f p) Hask Hask Hask | |

(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask | |

(Bifunctor p c d Hask, Bifunctor f a b c, Bifunctor g a b d) => Bifunctor (Comp p f g) a b Hask |

class PPointed f => PApplicative f whereSource

ContraFunctor h => PApplicative (PHyper h) | |

FunctorPlus f => PApplicative (PCofree f) | |

Functor f => PApplicative (PFree f) | |

Monoid t => PApplicative (Const2 t) |

class PApplicative f => PMonad f whereSource