Control.Functor.Pointable

Documentation

class Pointable (t :: * -> *) where

Minimal complete definition

point

Methods

point :: a -> t a

Instances

Pointable Identity

Defined in Control.Functor.Basic.Identity

Methods

point :: a -> Identity a

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

Defined in Control.Functor.Basic.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 Control.Functor.Basic.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 Control.Functor.Basic.TTT

Methods

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