pandora-0.2.9: A box of patterns and paradigms
Pandora.Pattern.Functor.Pointable
class Covariant t => Pointable t where Source #
Methods
point :: a |-> t Source #
Defined in Pandora.Paradigm.Primary.Functor.Delta
point :: a |-> Delta 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.Functor.Wedge
point :: a |-> Wedge e Source #
Defined in Pandora.Paradigm.Primary.Functor.These
point :: a |-> These e Source #
Defined in Pandora.Paradigm.Primary.Transformer.Jet
point :: a |-> Jet t 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.Outline
point :: a |-> Outline 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.Functor.Conclusion
point :: a |-> Conclusion e Source #
Defined in Pandora.Paradigm.Inventory.Accumulator
point :: a |-> Accumulator 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.Primary.Transformer.Tap
point :: a |-> Tap t Source #
Defined in Pandora.Paradigm.Primary.Transformer.Construction
point :: a |-> Construction t Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic
point :: a |-> (t :> u) Source #
Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic
point :: a |-> (t :< u) Source #
Defined in Pandora.Paradigm.Primary.Functor.Tagged
point :: a |-> Tagged tag 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.Pattern.Functor.Pointable
point :: a |-> (->) e Source #
Defined in Pandora.Paradigm.Primary.Transformer.Continuation
point :: a |-> Continuation r t Source #
point :: a |-> (((->) s <:<.>:> (:*:) s) := u) Source #
point :: a |-> ((:*:) e <.:> u) Source #
point :: a |-> ((->) e <:.> u) Source #
point :: a |-> UT Covariant Covariant Maybe u Source #
point :: a |-> UT Covariant Covariant (Conclusion e) u Source #
point :: a |-> TU Covariant Covariant u (Construction t) Source #