Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

# Documentation

(Presheaf f, Functor g) => Functor (Lift (->) f g) | |

(Functor f, Functor g) => Functor (Lift Either f g) | |

(Functor f, Functor g) => Functor (Lift (,) f g) | |

(Applicative f, Applicative g) => Applicative (Lift (,) f g) | |

(Functor f, Presheaf g) => Presheaf (Lift (->) f g) | |

(Presheaf f, Presheaf g) => Presheaf (Lift Either f g) | |

(Presheaf f, Presheaf g) => Presheaf (Lift (,) f g) |