(Representable f, Representable g) => Representable (Day f g) Source # | |

## Instance detailsDefined in Day Associated Types type Rep (Day f g) |

Functor (Day f g) Source # | |

## Instance detailsDefined in Day |

(Comonad f, Comonad g) => Comonad (Day f g) Source # | |

## Instance detailsDefined in Day |

(ComonadApply f, ComonadApply g) => ComonadApply (Day f g) Source # | |

## Instance detailsDefined in Day |

(Representable f, Representable g) => Distributive (Day f g) Source # | |

## Instance detailsDefined in Day |

type Rep (Day f g) Source # | |

## Instance detailsDefined in Day type Rep ( Day f g) = (Rep f, Rep g) |