Safe Haskell	Safe
Language	Haskell2010

Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where Source #

Methods

point :: a |-> t Source #

Instances

Pointable Maybe Source #
Instance details Defined in Pandora.Paradigm.Basis.Maybe Methods point :: a \|-> Maybe Source #
Pointable Stack Source #
Instance details Defined in Pandora.Paradigm.Structure.Specific.Stack Methods point :: a \|-> Stack Source #
Pointable Identity Source #
Instance details Defined in Pandora.Paradigm.Basis.Identity Methods point :: a \|-> Identity Source #
Pointable t => Pointable (Yoneda t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Yoneda Methods point :: a \|-> Yoneda t Source #
Pointable (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Basis.Proxy Methods point :: a \|-> Proxy Source #
Pointable (Environment e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods point :: a \|-> Environment e Source #
Pointable (Variation e) Source #
Instance details Defined in Pandora.Paradigm.Basis.Variation Methods point :: a \|-> Variation e Source #
(forall (t' :: Type -> Type). Avoidable t') => Pointable (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Jet Methods point :: a \|-> Jet t Source #
Covariant t => Pointable (Free t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Free Methods point :: a \|-> Free t Source #
Pointable (Validation e) Source #
Instance details Defined in Pandora.Paradigm.Basis.Validation Methods point :: a \|-> Validation e Source #
Avoidable t => Pointable (Twister t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Twister Methods point :: a \|-> Twister t Source #
Monoid e => Pointable (Accumulator e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Accumulator Methods point :: a \|-> Accumulator e Source #
Pointable (State s) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods point :: a \|-> State s Source #
Covariant t => Pointable (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Jack Methods point :: a \|-> Jack t Source #
Pointable (Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Basis.Conclusion Methods point :: a \|-> Conclusion e Source #
Pointable (Schema t u) => Pointable (t :> u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Joint.Transformer Methods point :: a \|-> (t :> u) Source #
Pointable (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Basis.Tagged Methods point :: a \|-> Tagged tag Source #
Pointable ((->) e :: Type -> Type) Source #
Instance details Defined in Pandora.Pattern.Functor.Pointable Methods point :: a \|-> (->) e Source #
Covariant t => Pointable (Continuation r t) Source #
Instance details Defined in Pandora.Paradigm.Basis.Continuation Methods point :: a \|-> Continuation r t Source #
(Covariant u, Pointable u) => Pointable (TU Co Co ((->) e :: Type -> Type) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods point :: a \|-> TU Co Co ((->) e) u Source #
(Pointable u, Monoid e) => Pointable (UT Co Co ((:*:) e) u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Accumulator Methods point :: a \|-> UT Co Co ((:*:) e) u Source #
Pointable u => Pointable (UT Co Co Maybe u) Source #
Instance details Defined in Pandora.Paradigm.Basis.Maybe Methods point :: a \|-> UT Co Co Maybe u Source #
Pointable u => Pointable (UT Co Co (Conclusion e) u) Source #
Instance details Defined in Pandora.Paradigm.Basis.Conclusion Methods point :: a \|-> UT Co Co (Conclusion e) u Source #
Pointable u => Pointable (TUV Co Co Co ((->) s :: Type -> Type) u ((:*:) s)) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods point :: a \|-> TUV Co Co Co ((->) s) u ((:*:) s) Source #