Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Methods

point :: a -> t a

Instances

Pointable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a -> Maybe a

Pointable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

point :: a -> Identity a

Pointable (Environmental e)

Defined in Pandora.Paradigm.Inventory.Environmental

Methods

point :: a -> Environmental e a

Pointable t => Pointable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

point :: a -> Yoneda t a

Pointable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

point :: a -> Proxy a

Pointable (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

point :: a -> Variation e a

(forall (t' :: Type -> Type). Avoidable t') => Pointable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

point :: a -> Jet t a

Covariant t => Pointable (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

point :: a -> Free t a

Pointable (Validation e)

Defined in Pandora.Paradigm.Basis.Validation

Methods

point :: a -> Validation e a

Avoidable t => Pointable (Twister t)

Defined in Pandora.Paradigm.Basis.Twister

Methods

point :: a -> Twister t a

Pointable (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> Stateful s a

Covariant t => Pointable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

point :: a -> Jack t a

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a -> Conclusion e a

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

point :: a -> Tagged tag a

Covariant t => Pointable (Continuation r t)

Defined in Pandora.Paradigm.Basis.Continuation

Methods

point :: a -> Continuation r t a

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

Defined in Pandora.Paradigm.Junction.Schemes.TU

Methods

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

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

Defined in Pandora.Paradigm.Junction.Schemes.UTU

Methods

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

Pointable u => Pointable (UT Maybe () Maybe u)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a -> UT Maybe () Maybe u a

Pointable u => Pointable (UT (Conclusion e) () (Conclusion e) u)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a -> UT (Conclusion e) () (Conclusion e) u a

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

Defined in Pandora.Paradigm.Junction.Schemes.UT

Methods

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

Pointable u => Pointable (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a

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

Defined in Pandora.Paradigm.Junction.Schemes.TUV

Methods

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

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

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

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