Covariant Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Wye |
Covariant Edges Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Edges |
Covariant Graph Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Graph |
Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Covariant Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Covariant Identity Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Identity |
Applicative Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Alternative Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Avoidable Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Pointable Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Traversable Graph Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Graph Methods (->>) :: (Pointable u, Applicative u) => Graph a -> (a -> u b) -> (u :. Graph) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Graph a -> (u :. Graph) := b Source # sequence :: (Pointable u, Applicative u) => ((Graph :. u) := a) -> (u :. Graph) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Graph) := a) -> (a -> u b) -> (u :. (v :. Graph)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Graph)) := a) -> (a -> u b) -> (u :. (w :. (v :. Graph))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Graph))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Graph)))) := b Source # |
Traversable Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack Methods (->>) :: (Pointable u, Applicative u) => Stack a -> (a -> u b) -> (u :. Stack) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Stack a -> (u :. Stack) := b Source # sequence :: (Pointable u, Applicative u) => ((Stack :. u) := a) -> (u :. Stack) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Stack) := a) -> (a -> u b) -> (u :. (v :. Stack)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Stack)) := a) -> (a -> u b) -> (u :. (w :. (v :. Stack))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Stack))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Stack)))) := b Source # |
Covariant (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Proxy |
Covariant (Variation e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Variation |
Covariant t => Covariant (Free t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Free |
Covariant (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Yoneda |
Covariant t => Covariant (Jet t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Jet |
Covariant (Imprint e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Covariant (Validation e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Validation |
Covariant t => Covariant (Twister t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Twister |
Covariant (Product a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Product |
Covariant (Store p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Covariant (Equipment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
Covariant (Accumulator e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Covariant (State s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Covariant t => Covariant (Jack t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Jack |
Covariant (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Semigroup (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Monoid (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Setoid a => Setoid (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Covariant (Schematic Monad t u) => Covariant (t :> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic |
Covariant (Schematic Comonad t u) => Covariant (t :< u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic |
Covariant (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Tagged |
Covariant (Constant a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Constant |
Covariant ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Pattern.Functor.Covariant |
Covariant (Ran t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Kan |
Covariant t => Covariant (Continuation r t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Continuation |
Covariant u => Covariant (TU Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Covariant u => Covariant (TU Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
Covariant u => Covariant (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Covariant u => Covariant (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Covariant u => Covariant (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Covariant u => Covariant (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Bindable u => Bindable (TU Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
(Semigroup e, Pointable u, Bindable u) => Bindable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Pointable u, Bindable u) => Bindable (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
(Pointable u, Bindable u) => Bindable (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Applicative u => Applicative (TU Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Applicative u => Applicative (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Semigroup e, Applicative u) => Applicative (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Applicative u => Applicative (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Applicative u => Applicative (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Extendable u => Extendable (TU Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
(Semigroup e, Extendable u) => Extendable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
(Covariant u, Pointable u) => Pointable (TU Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
(Pointable u, Monoid e) => Pointable (UT Covariant Covariant ((:*:) e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Pointable u => Pointable (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Pointable u => Pointable (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Monad u => Monad (UT Covariant Covariant Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Monad u => Monad (UT Covariant Covariant (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Extractable u => Extractable (TU Covariant Covariant ((:*:) e) u) Source # | |
|
(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
|
Covariant u => Covariant (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Covariant u => Covariant (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Bindable u => Bindable (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Bindable u => Applicative (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Extendable u => Extendable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Pointable u => Pointable (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Monad u => Monad (TUV Covariant Covariant Covariant ((->) s :: Type -> Type) u ((:*:) s)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Extractable u => Extractable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # | |
|