morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe Haskell	Safe
Language	Haskell2010

Control.Functor.Covariant.Pointable

Documentation

class Covariant t => Pointable t where Source #

Minimal complete definition

Methods

point :: a -> t a Source #

Instances

Pointable Identity Source #
Instance details Defined in Data.Functor.Identity Methods point :: a -> Identity a Source #
Pointable (Straight a) Source #
Instance details Defined in Data.Functor.Arrow.Straight Methods point :: a0 -> Straight a a0 Source #
Pointable t => Pointable (Yoneda t) Source #
Instance details Defined in Data.Functor.Yoneda Methods point :: a -> Yoneda t a Source #
Pointable (Codensity t b) Source #
Instance details Defined in Data.Functor.Codensity Methods point :: a -> Codensity t b a Source #
(Pointable t, Pointable u) => Pointable (T Co Co t u) Source #
Instance details Defined in Data.Functor.Composition.T Methods point :: a -> T Co Co t u a Source #
(Pointable t, Pointable u, Pointable v) => Pointable (TT Co Co Co t u v) Source #
Instance details Defined in Data.Functor.Composition.TT Methods point :: a -> TT Co Co Co t u v a Source #
(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (TTT Co Co Co Co t u v w) Source #
Instance details Defined in Data.Functor.Composition.TTT Methods point :: a -> TTT Co Co Co Co t u v w a Source #