Copointed

Copointed

class Copointed (p :: * -> *) where

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

Instances

Copointed Par1

Defined in Data.Copointed

Methods

copoint :: Par1 a -> a

Copointed Approximate

Defined in Data.Approximate.Type

Methods

copoint :: Approximate a -> a

Copointed Min

Defined in Data.Copointed

Methods

copoint :: Min a -> a

Copointed Max

Defined in Data.Copointed

Methods

copoint :: Max a -> a

Copointed First

Defined in Data.Copointed

Methods

copoint :: First a -> a

Copointed Last

Defined in Data.Copointed

Methods

copoint :: Last a -> a

Copointed WrappedMonoid

Defined in Data.Copointed

Methods

copoint :: WrappedMonoid a -> a

Copointed Identity

Defined in Data.Copointed

Methods

copoint :: Identity a -> a

Copointed Dual

Defined in Data.Copointed

Methods

copoint :: Dual a -> a

Copointed Sum

Defined in Data.Copointed

Methods

copoint :: Sum a -> a

Copointed Product

Defined in Data.Copointed

Methods

copoint :: Product a -> a

Copointed NonEmpty

Defined in Data.Copointed

Methods

copoint :: NonEmpty a -> a

Copointed Tree

Defined in Data.Copointed

Methods

copoint :: Tree a -> a

Copointed ((,) a)

Defined in Data.Copointed

Methods

copoint :: (a, a0) -> a0

Copointed (Arg a)

Defined in Data.Copointed

Methods

copoint :: Arg a a0 -> a0

Copointed m => Copointed (WrappedMonad m)

Defined in Data.Copointed

Methods

copoint :: WrappedMonad m a -> a

Copointed f => Copointed (WrappedApplicative f)

Defined in Data.Copointed

Methods

copoint :: WrappedApplicative f a -> a

Copointed f => Copointed (MaybeApply f)

Defined in Data.Copointed

Methods

copoint :: MaybeApply f a -> a

Copointed f => Copointed (Lift f)

Defined in Data.Copointed

Methods

copoint :: Lift f a -> a

Copointed f => Copointed (Rec1 f)

Defined in Data.Copointed

Methods

copoint :: Rec1 f a -> a

Copointed ((,,) a b)

Defined in Data.Copointed

Methods

copoint :: (a, b, a0) -> a0

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

Defined in Data.Copointed

Methods

copoint :: TracedT m w a -> a

Copointed w => Copointed (StoreT s w)

Defined in Data.Copointed

Methods

copoint :: StoreT s w a -> a

Copointed w => Copointed (EnvT e w)

Defined in Data.Copointed

Methods

copoint :: EnvT e w a -> a

Copointed m => Copointed (IdentityT m)

Defined in Data.Copointed

Methods

copoint :: IdentityT m a -> a

Copointed f => Copointed (Backwards f)

Defined in Data.Copointed

Methods

copoint :: Backwards f a -> a

Copointed m => Copointed (WriterT w m)

Defined in Data.Copointed

Methods

copoint :: WriterT w m a -> a

Copointed m => Copointed (WriterT w m)

Defined in Data.Copointed

Methods

copoint :: WriterT w m a -> a

Copointed (Tagged a)

Defined in Data.Copointed

Methods

copoint :: Tagged a a0 -> a0

Copointed f => Copointed (Reverse f)

Defined in Data.Copointed

Methods

copoint :: Reverse f a -> a

Default m => Copointed ((->) m :: * -> *)

Defined in Data.Copointed

Methods

copoint :: (m -> a) -> a

(Copointed f, Copointed g) => Copointed (f :+: g)

Defined in Data.Copointed

Methods

copoint :: (f :+: g) a -> a

Copointed ((,,,) a b c)

Defined in Data.Copointed

Methods

copoint :: (a, b, c, a0) -> a0

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

Defined in Data.Copointed

Methods

copoint :: Sum f g a -> a

Copointed f => Copointed (M1 i c f)

Defined in Data.Copointed

Methods

copoint :: M1 i c f a -> a

(Copointed f, Copointed g) => Copointed (f :.: g)

Defined in Data.Copointed

Methods

copoint :: (f :.: g) a -> a

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

Defined in Data.Copointed

Methods

copoint :: Compose p q a -> a