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 Identity

Copointed Tree

Copointed Min

Copointed Max

Copointed First

Copointed Last

Copointed NonEmpty

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

Copointed ((,) a)

Copointed m => Copointed (IdentityT m)

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)

Copointed (Tagged * a)

Copointed m => Copointed (WriterT w m)

Copointed m => Copointed (WriterT w m)

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

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

Copointed ((,,,) a b c)