Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Methods

point :: a |-> t

Instances

Pointable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a |-> Maybe

Pointable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

point :: a |-> Identity

Pointable t => Pointable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

point :: a |-> Yoneda t

Pointable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

point :: a |-> Proxy

Pointable (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> Environment e

Pointable (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

point :: a |-> Variation e

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

Defined in Pandora.Paradigm.Basis.Jet

Methods

point :: a |-> Jet t

Covariant t => Pointable (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

point :: a |-> Free t

Pointable (Validation e)

Defined in Pandora.Paradigm.Basis.Validation

Methods

point :: a |-> Validation e

Avoidable t => Pointable (Twister t)

Defined in Pandora.Paradigm.Basis.Twister

Methods

point :: a |-> Twister t

Monoid e => Pointable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> Accumulator e

Pointable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> State s

Covariant t => Pointable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

point :: a |-> Jack t

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

point :: a |-> Conclusion e

Pointable (Schematic Monad t u) => Pointable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic

Methods

point :: a |-> (t :> u)

Pointable (Schematic Comonad t u) => Pointable (t :< u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic

Methods

point :: a |-> (t :< u)

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

point :: a |-> Tagged tag

Pointable ((->) e :: Type -> Type)

Defined in Pandora.Pattern.Functor.Pointable

Methods

point :: a |-> (->) e

Covariant t => Pointable (Continuation r t)

Defined in Pandora.Paradigm.Basis.Continuation

Methods

point :: a |-> Continuation r t

(Covariant u, Pointable u) => Pointable (TU Covariant Covariant ((->) e :: Type -> Type) u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> TU Covariant Covariant ((->) e) u

Pointable (UT Covariant Covariant (Twister Maybe) Maybe)

Defined in Pandora.Paradigm.Structure.Specific.Stack

Methods

point :: a |-> UT Covariant Covariant (Twister Maybe) Maybe

(Pointable u, Monoid e) => Pointable (UT Covariant Covariant ((:*:) e) u)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> UT Covariant Covariant ((:*:) e) u

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

Defined in Pandora.Paradigm.Basis.Maybe

Methods

point :: a |-> UT Covariant Covariant Maybe u

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

Defined in Pandora.Paradigm.Basis.Conclusion

Methods

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

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

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> TUV Covariant Covariant Covariant ((->) s) u ((:*:) s)