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

Language | Haskell98 |

# Documentation

class Copointed p where Source

`Copointed`

does not require a `Functor`

, as the only relationship
between `copoint`

and `fmap`

is given by a free theorem.

Copointed Dual | |

Copointed Sum | |

Copointed Identity | |

Copointed Tree | |

Copointed Min | |

Copointed Max | |

Copointed First | |

Copointed Last | |

Copointed WrappedMonoid | |

Copointed NonEmpty | |

Default m => Copointed ((->) m) | |

Copointed ((,) a) | |

Copointed m => Copointed (WrappedMonad m) | |

Copointed m => Copointed (IdentityT m) | |

Copointed f => Copointed (WrappedApplicative f) | |

Copointed f => Copointed (MaybeApply f) | |

Copointed (Arg a) | |

Copointed f => Copointed (Reverse f) | |

Copointed f => Copointed (Backwards f) | |

Copointed f => Copointed (Lift f) | |

Copointed ((,,) a b) | |

(Copointed p, Copointed q) => Copointed (Coproduct p q) | |

(Default m, Copointed w) => Copointed (TracedT m w) | |

Copointed w => Copointed (StoreT s w) | |

Copointed w => Copointed (EnvT e w) | |

(Functor g, (~) (* -> *) g h) => Copointed (Lift g h) | |

Copointed m => Copointed (WriterT w m) | |

Copointed m => Copointed (WriterT w m) | |

(Copointed p, Copointed q) => Copointed (Compose p q) | |

Copointed (Tagged * a) | |

(Copointed f, Copointed g) => Copointed (Sum f g) | |

Copointed ((,,,) a b c) |