| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Copointed
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.
Instances
| 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) |