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.Delta
point :: a |-> Delta 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.Ability.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.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 #