Control.Functor.Covariant.Pointable

Documentation

class Covariant t => Pointable t where

Minimal complete definition

point

Methods

point :: a -> t a

Instances

Pointable Identity

Defined in Data.Functor.Identity

Methods

point :: a -> Identity a

Pointable (Straight a)

Defined in Data.Functor.Arrow.Straight

Methods

point :: a0 -> Straight a a0

Pointable t => Pointable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

point :: a -> Yoneda t a

Pointable (Codensity t b)

Defined in Data.Functor.Codensity

Methods

point :: a -> Codensity t b a

(Pointable t, Pointable u) => Pointable (T Co Co t u)

Defined in Data.Functor.Composition.T

Methods

point :: a -> T Co Co t u a

(Pointable t, Pointable u, Pointable v) => Pointable (TT Co Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

point :: a -> TT Co Co Co t u v a

(Pointable t, Pointable u, Pointable v, Pointable w) => Pointable (TTT Co Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

point :: a -> TTT Co Co Co Co t u v w a