Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Covariant_ t source source => Pointable t source where Source #
Instances
Pointable Identity ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Identity | |
Pointable Maybe ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe | |
(forall (u :: Type -> Type). Avoidable u, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Jet t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jet | |
Pointable (Wedge e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Wedge | |
Pointable (These e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.These | |
Pointable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy | |
Pointable t ((->) :: Type -> Type -> Type) => Pointable (Yoneda t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda | |
Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Jack t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack | |
Pointable (Validation e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Validation point :: a -> Validation e a Source # | |
Pointable (Outline t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Outline | |
Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Instruction t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Instruction point :: a -> Instruction t a Source # | |
(Avoidable t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Construction t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction point :: a -> Construction t a Source # | |
Pointable (Conclusion e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion point :: a -> Conclusion e a Source # | |
(Avoidable t, Pointable t ((->) :: Type -> Type -> Type)) => Pointable (Comprehension t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Structure.Modification.Comprehension point :: a -> Comprehension t a Source # | |
(Avoidable t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable (Tap t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Tap | |
Pointable (State s) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Inventory.State | |
Pointable (Environment e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Inventory.Environment point :: a -> Environment e a Source # | |
Monoid e => Pointable (Accumulator e) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Inventory.Accumulator point :: a -> Accumulator e a Source # | |
Pointable (Tagged tag) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Pointable (Schematic Monad t u) ((->) :: Type -> Type -> Type) => Pointable (t :> u) ((->) :: Type -> Type -> Type) Source # | |
(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (Day t u) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Day | |
Pointable t ((->) :: Type -> Type -> Type) => Pointable (Backwards t) ((->) :: Type -> Type -> Type) Source # | |
Pointable t ((->) :: Type -> Type -> Type) => Pointable (Reverse t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Reverse | |
Pointable (Schematic Comonad t u) ((->) :: Type -> Type -> Type) => Pointable (t :< u) ((->) :: Type -> Type -> Type) Source # | |
(Monoid k, Pointable t ((->) :: Type -> Type -> Type)) => Pointable (Prefixed t k) ((->) :: Type -> Type -> Type) Source # | |
Pointable ((->) e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Function | |
Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Pointable (Continuation r t) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Continuation point :: a -> Continuation r t a Source # | |
(Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Covariant_ t' ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type), Adjoint t' t) => Pointable ((t <:<.>:> t') := u) ((->) :: Type -> Type -> Type) Source # | |
(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (t <.:> u) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Schemes.UT | |
(Pointable u ((->) :: Type -> Type -> Type), Monoid e) => Pointable ((:*:) e <.:> u) ((->) :: Type -> Type -> Type) Source # | |
(Pointable t ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Pointable (t <:.> u) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Schemes.TU |
class Pointable_ t target where Source #
Instances
Pointable_ Identity ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Identity | |
Pointable_ Maybe ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe | |
Pointable_ (Wedge e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Wedge | |
Pointable_ (These e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.These | |
Pointable_ (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Proxy | |
Pointable_ (Validation e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Validation point_ :: forall (a :: k). a -> Validation e a Source # | |
(Avoidable t, Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)) => Pointable_ (Construction t :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction point_ :: forall (a :: k). a -> Construction t a Source # | |
Pointable_ (Conclusion e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Conclusion point_ :: forall (a :: k). a -> Conclusion e a Source # | |
Pointable_ (Tagged tag :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Pointable_ t ((->) :: Type -> Type -> Type) => Pointable_ (Backwards t :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Pointable_ ((->) e :: Type -> Type) ((->) :: Type -> Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Function |