Functor f => Functor (:> f) | |

Foldable f => Foldable (:> f) | |

Traversable f => Traversable (:> f) | |

Primal (:> f) | |

Mode f => Mode (:> f) | |

Mode f => Lifted (:> f) | |

Functor f => Comonad (:> f) | |

(Num a, Mode f, Bounded a) => Bounded (:> f a) | |

(Num a, Mode f, Enum a) => Enum (:> f a) | |

(Num a, Mode f, Eq a) => Eq (:> f a) | |

(Mode f, Floating a) => Floating (:> f a) | |

(Mode f, Fractional a) => Fractional (:> f a) | |

(Mode f, Num a) => Num (:> f a) | |

(Num a, Mode f, Ord a) => Ord (:> f a) | |

(Mode f, Real a) => Real (:> f a) | |

(Mode f, RealFloat a) => RealFloat (:> f a) | |

(Mode f, RealFrac a) => RealFrac (:> f a) | |

(Mode f, Show a) => Show (:> f a) | |