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
Instances36Copointed, …
Copointed FirstDefined in pointed-5.0.5 · Data.CopointedCopointed LastDefined in pointed-5.0.5 · Data.CopointedCopointed MaxDefined in pointed-5.0.5 · Data.CopointedCopointed MinDefined in pointed-5.0.5 · Data.CopointedCopointed WrappedMonoidDefined in pointed-5.0.5 · Data.CopointedCopointed TreeDefined in pointed-5.0.5 · Data.CopointedCopointed NonEmptyDefined in pointed-5.0.5 · Data.CopointedCopointed IdentityDefined in pointed-5.0.5 · Data.CopointedCopointed DualDefined in pointed-5.0.5 · Data.CopointedCopointed ProductDefined in pointed-5.0.5 · Data.CopointedCopointed SumDefined in pointed-5.0.5 · Data.CopointedCopointed Par1Defined in pointed-5.0.5 · Data.CopointedCopointed (Arg a)Defined in pointed-5.0.5 · Data.CopointedCopointed (Tuple2 a)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (MaybeApply f)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (WrappedApplicative f)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (Lift f)Defined in pointed-5.0.5 · Data.CopointedCopointed m => Copointed (WrappedMonad m)Defined in pointed-5.0.5 · Data.CopointedCopointed (Tuple3 a b)Defined in pointed-5.0.5 · Data.CopointedCopointed (Tagged a)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (Rec1 f)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (Backwards f)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (Reverse f)Defined in pointed-5.0.5 · Data.CopointedCopointed m => Copointed (IdentityT m)Defined in pointed-5.0.5 · Data.CopointedCopointed m => Copointed (WriterT w m)Defined in pointed-5.0.5 · Data.CopointedCopointed m => Copointed (WriterT w m)Defined in pointed-5.0.5 · Data.CopointedCopointed w => Copointed (EnvT e w)Defined in pointed-5.0.5 · Data.CopointedCopointed w => Copointed (StoreT s w)Defined in pointed-5.0.5 · Data.Copointed(Default m, Copointed w) => Copointed (TracedT m w)Defined in pointed-5.0.5 · Data.CopointedDefault m => Copointed ((->) m)Defined in pointed-5.0.5 · Data.CopointedCopointed (Tuple4 a b c)Defined in pointed-5.0.5 · Data.Copointed(Copointed f, Copointed g) => Copointed (Sum f g)Defined in pointed-5.0.5 · Data.Copointed(Copointed f, Copointed g) => Copointed (f :+: g)Defined in pointed-5.0.5 · Data.CopointedCopointed f => Copointed (M1 i c f)Defined in pointed-5.0.5 · Data.Copointed(Copointed f, Copointed g) => Copointed (f :.: g)Defined in pointed-5.0.5 · Data.Copointed(Copointed p, Copointed q) => Copointed (Compose p q)Defined in pointed-5.0.5 · Data.Copointed