Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Methods

point :: a -> t a

Instances

Pointable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

point :: a -> Identity a

Pointable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a -> Maybe a

Pointable t => Pointable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

point :: a -> Yoneda t a

Covariant t => Pointable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

point :: a -> Jack t a

Covariant t => Pointable (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

point :: a -> Free t a

Exclusive t => Pointable (Cofree t)

Defined in Pandora.Paradigm.Basis.Cofree

Methods

point :: a -> Cofree t a

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a -> Conclusion e a

Pointable t => Pointable (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> Stateful s t a

Covariant t => Pointable (Continuation r t)

Defined in Pandora.Paradigm.Basis.Continuation

Methods

point :: a -> Continuation r t a

Pointable t => Pointable (Environmental e t)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

point :: a -> Environmental e t a

(Pointable (t u), Pointable u) => Pointable (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

point :: a -> Y t u a

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

Defined in Pandora.Paradigm.Junction.Transformer

Methods

point :: a -> T t u a

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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