Pandora.Pattern.Functor.Pointable
class Covariant t => Pointable t where Source #
Methods
point :: a :=> t Source #
Defined in Pandora.Paradigm.Primary.Functor.Identity
point :: a :=> Identity Source #
Defined in Pandora.Paradigm.Primary.Functor.Maybe
point :: a :=> Maybe Source #
Defined in Pandora.Paradigm.Primary.Functor.Proxy
point :: a :=> Proxy Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jet
point :: a :=> Jet t Source #
Defined in Pandora.Paradigm.Primary.Functor.Wedge
point :: a :=> Wedge e Source #
Defined in Pandora.Paradigm.Primary.Functor.These
point :: a :=> These e Source #
Defined in Pandora.Paradigm.Primary.Functor.Validation
point :: a :=> Validation e Source #
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda
point :: a :=> Yoneda t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jack
point :: a :=> Jack t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Instruction
point :: a :=> Instruction t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Outline
point :: a :=> Outline t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Tap
point :: a :=> Tap t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Construction
point :: a :=> Construction t Source #
Defined in Pandora.Paradigm.Structure.Modification.Comprehension
point :: a :=> Comprehension t Source #
Defined in Pandora.Paradigm.Primary.Functor.Conclusion
point :: a :=> Conclusion e Source #
Defined in Pandora.Paradigm.Inventory.State
point :: a :=> State s Source #
Defined in Pandora.Paradigm.Inventory.Environment
point :: a :=> Environment e Source #
Defined in Pandora.Paradigm.Inventory.Accumulator
point :: a :=> Accumulator e Source #
Defined in Pandora.Paradigm.Primary.Functor.Tagged
point :: a :=> Tagged tag Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic
point :: a :=> (t :> u) Source #
Defined in Pandora.Paradigm.Primary.Transformer.Day
point :: a :=> Day t u Source #
Defined in Pandora.Paradigm.Primary.Transformer.Backwards
point :: a :=> Backwards t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Reverse
point :: a :=> Reverse t Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic
point :: a :=> (t :< u) Source #
Defined in Pandora.Paradigm.Structure.Modification.Prefixed
point :: a :=> Prefixed t k Source #
Defined in Pandora.Paradigm.Primary.Functor.Function
point :: a :=> (->) e Source #
Defined in Pandora.Paradigm.Primary.Transformer.Continuation
point :: a :=> Continuation r t Source #
Defined in Pandora.Paradigm.Schemes.TUT
point :: a :=> ((t <:<.>:> t') := u) Source #
Defined in Pandora.Paradigm.Schemes.UT
point :: a :=> (t <.:> u) Source #
point :: a :=> ((:*:) e <.:> u) Source #
Defined in Pandora.Paradigm.Schemes.TU
point :: a :=> (t <:.> u) Source #