Safe Haskell	Safe
Language	Haskell98

Data.Copointed

Synopsis

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.

Minimal complete definition

copoint

Methods

copoint :: p a -> a Source #

Instances

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