Pandora.Pattern.Functor.Pointable

Documentation

class Covariant_ t source source => Pointable t source where

Methods

point :: source a (t a)

Instances

Pointable Identity ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

point :: a -> Identity a

Pointable Maybe ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a -> Maybe a

Pointable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

point :: a -> Proxy a

Pointable t ((->) :: Type -> Type -> Type) => Pointable (Yoneda t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

point :: a -> Yoneda t a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Jack t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

point :: a -> Jack t a

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

Defined in Pandora.Paradigm.Primary.Functor.Wedge

Methods

point :: a -> Wedge e a

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

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

point :: a -> These e a

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

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

point :: a -> Validation e a

(forall (u :: Type -> Type). Avoidable u, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Jet t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

point :: a -> Jet t a

Pointable (Outline t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

point :: a -> Outline t a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Instruction t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

point :: a -> Instruction t a

(Avoidable t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Construction t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a -> Construction t a

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

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a -> Conclusion e a

(Avoidable t, Pointable t ((->) :: Type -> Type -> Type)) => Pointable (Comprehension t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

point :: a -> Comprehension t a

(Avoidable t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Tap t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

point :: a -> Tap t a

Pointable (State s) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a -> State s a

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

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a -> Environment e a

Monoid e => Pointable (Accumulator e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a -> Accumulator e a

Pointable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a -> Tagged tag a

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

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

Methods

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

(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (Day t u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

point :: a -> Day t u a

Pointable t ((->) :: Type -> Type -> Type) => Pointable (Backwards t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

point :: a -> Backwards t a

Pointable t ((->) :: Type -> Type -> Type) => Pointable (Reverse t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

point :: a -> Reverse t a

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

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

Methods

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

(Monoid k, Pointable t ((->) :: Type -> Type -> Type)) => Pointable (Prefixed t k) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

point :: a -> Prefixed t k a

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

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Continuation r t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

point :: a -> Continuation r t a

(Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant_ t' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type), Adjoint t' t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable ((t <:<.>:> t') := u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

point :: a -> ((t <:<.>:> t') := u) a

(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (t <.:> u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.UT

Methods

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

(Pointable u ((->) :: Type -> Type -> Type), Monoid e) => Pointable ((:*:) e <.:> u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a -> ((:*:) e <.:> u) a

(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (t <:.> u) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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