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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Pointable

Documentation

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

Minimal complete definition

point

Methods

point :: a -> t a Source #

Instances
Pointable Identity Source # 
Instance details

Defined in Control.Functor.Basic.Identity

Methods

point :: a -> Identity a Source #

(Pointable t, Pointable u) => Pointable (T Co Co t u) Source # 
Instance details

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

Methods

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