Functor f => Functor (Iterated f) | |

Typeable1 f => Typeable1 (Iterated f) | |

Foldable f => Foldable (Iterated f) | |

Traversable f => Traversable (Iterated f) | |

Functor f => Comonad (Iterated f) | |

Functor f => Copointed (Iterated f) | |

Primal (Iterated f) | |

Mode f => Mode (Iterated f) | |

Mode f => Lifted (Iterated f) | |

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

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

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

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

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

(Typeable1 f, Data (f (Iterated f a)), Data a) => Data (Iterated f a) | |

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

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

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

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

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

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

(Typeable1 f, Typeable a) => Typeable (Iterated f a) | |