Copointed Par1 Source #  

Copointed Min Source #  

Copointed Max Source #  

Copointed First Source #  

Copointed Last Source #  

Copointed WrappedMonoid Source #  

Copointed NonEmpty Source #  

Copointed Identity Source #  

Copointed Dual Source #  

Copointed Sum Source #  

Copointed Product Source #  

Copointed Tree Source #  

Copointed ((,) a) Source #  

Copointed (Arg a) Source #  

Copointed m => Copointed (WrappedMonad m) Source #  

Copointed f => Copointed (WrappedApplicative f) Source #  

Copointed f => Copointed (MaybeApply f) Source #  

Copointed f => Copointed (Lift f) Source #  

Copointed f => Copointed (Rec1 * f) Source #  

Copointed ((,,) a b) Source #  

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

Copointed w => Copointed (StoreT s w) Source #  

Copointed w => Copointed (EnvT e w) Source #  

Copointed m => Copointed (IdentityT * m) Source #  

Copointed m => Copointed (WriterT w m) Source #  

Copointed m => Copointed (WriterT w m) Source #  

Copointed (Tagged * a) Source #  

Copointed f => Copointed (Reverse * f) Source #  

Copointed f => Copointed (Backwards * f) Source #  

Default m => Copointed ((>) LiftedRep LiftedRep m) Source #  

(Copointed f, Copointed g) => Copointed ((:+:) * f g) Source #  

Copointed ((,,,) a b c) Source #  

(Copointed f, Copointed g) => Copointed (Sum * f g) Source #  

Copointed f => Copointed (M1 * i c f) Source #  

(Copointed f, Copointed g) => Copointed ((:.:) * * f g) Source #  

(Copointed p, Copointed q) => Copointed (Compose * * p q) Source #  
