| Safe Haskell | None |
|---|
Data.Copointed
Documentation
class Copointed p where
Copointed does not require a Functor, as the only relationship
between copoint and fmap is given by a free theorem.
Methods
copoint :: p a -> a
Instances
| Copointed Dual | |
| Copointed Sum | |
| Copointed Tree | |
| Copointed Min | |
| Copointed Max | |
| Copointed First | |
| Copointed Last | |
| Copointed NonEmpty | |
| Copointed Identity | |
| Default m => Copointed ((->) m) | |
| Copointed ((,) a) | |
| Copointed m => Copointed (IdentityT m) | |
| Copointed ((,,) a b) | |
| (Default m, Copointed w) => Copointed (TracedT m w) | |
| Copointed w => Copointed (StoreT s w) | |
| Copointed w => Copointed (EnvT e w) | |
| (Copointed p, Copointed q) => Copointed (Coproduct p q) | |
| Copointed m => Copointed (WriterT w m) | |
| Copointed m => Copointed (WriterT w m) | |
| (Copointed p, Copointed q) => Copointed (Compose p q) | |
| Copointed ((,,,) a b c) |