Safe Haskell	Safe
Language	Haskell98

Data.Copointed

Synopsis

Documentation

Copointed does not require a Functor, as the only relationship between copoint and fmap is given by a free theorem.

Methods

Instances

Copointed Identity Source
Copointed Dual Source
Copointed Sum Source
Copointed Tree Source
Copointed Min Source
Copointed Max Source
Copointed First Source
Copointed Last Source
Copointed WrappedMonoid Source
Copointed NonEmpty Source
Default m => Copointed ((->) m) Source
Copointed ((,) a) Source
Copointed m => Copointed (WrappedMonad m) Source
Copointed m => Copointed (IdentityT m) Source
Copointed f => Copointed (WrappedApplicative f) Source
Copointed f => Copointed (MaybeApply f) Source
Copointed (Arg a) Source
Copointed f => Copointed (Reverse f) Source
Copointed f => Copointed (Backwards f) Source
Copointed f => Copointed (Lift f) Source
Copointed ((,,) a b) Source
(Copointed p, Copointed q) => Copointed (Coproduct p q) Source
(Default m, Copointed w) => Copointed (TracedT m w) Source
Copointed w => Copointed (StoreT s w) Source
Copointed w => Copointed (EnvT e w) Source
(Functor g, (~) (* -> *) g h) => Copointed (Lift g h) Source
Copointed (Tagged * a) Source
(Copointed f, Copointed g) => Copointed (Sum f g) Source
(Copointed p, Copointed q) => Copointed (Compose p q) Source
Copointed m => Copointed (WriterT w m) Source
Copointed m => Copointed (WriterT w m) Source
Copointed ((,,,) a b c) Source