Covariant Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Wye |
Covariant Edges Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Edges |
Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Covariant Identity Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Identity |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Yoneda |
Covariant (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Proxy |
Covariant (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Covariant (Variation e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Variation |
Covariant t => Covariant (Jet t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Jet |
Covariant t => Covariant (Free t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Free |
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 (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 |
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 (UT Covariant Covariant (Twister Edges) Edges) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Graph |
Covariant (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
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 (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
(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 |
Alternative (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
Avoidable (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
(Covariant u, Pointable u) => Pointable (TU Covariant Covariant ((->) e :: Type -> Type) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Pointable (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack |
(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 |
Traversable (UT Covariant Covariant (Twister Edges) Edges) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Graph Methods (->>) :: (Pointable u, Applicative u) => UT Covariant Covariant (Twister Edges) Edges a -> (a -> u b) -> (u :. UT Covariant Covariant (Twister Edges) Edges) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> UT Covariant Covariant (Twister Edges) Edges a -> (u :. UT Covariant Covariant (Twister Edges) Edges) := b Source # sequence :: (Pointable u, Applicative u) => ((UT Covariant Covariant (Twister Edges) Edges :. u) := a) -> (u :. UT Covariant Covariant (Twister Edges) Edges) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. UT Covariant Covariant (Twister Edges) Edges) := a) -> (a -> u b) -> (u :. (v :. UT Covariant Covariant (Twister Edges) Edges)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. UT Covariant Covariant (Twister Edges) Edges)) := a) -> (a -> u b) -> (u :. (w :. (v :. UT Covariant Covariant (Twister Edges) Edges))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. UT Covariant Covariant (Twister Edges) Edges))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. UT Covariant Covariant (Twister Edges) Edges)))) := b Source # |
Traversable (UT Covariant Covariant (Twister Maybe) Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Specific.Stack Methods (->>) :: (Pointable u, Applicative u) => UT Covariant Covariant (Twister Maybe) Maybe a -> (a -> u b) -> (u :. UT Covariant Covariant (Twister Maybe) Maybe) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> UT Covariant Covariant (Twister Maybe) Maybe a -> (u :. UT Covariant Covariant (Twister Maybe) Maybe) := b Source # sequence :: (Pointable u, Applicative u) => ((UT Covariant Covariant (Twister Maybe) Maybe :. u) := a) -> (u :. UT Covariant Covariant (Twister Maybe) Maybe) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. UT Covariant Covariant (Twister Maybe) Maybe) := a) -> (a -> u b) -> (u :. (v :. UT Covariant Covariant (Twister Maybe) Maybe)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. UT Covariant Covariant (Twister Maybe) Maybe)) := a) -> (a -> u b) -> (u :. (w :. (v :. UT Covariant Covariant (Twister Maybe) Maybe))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. UT Covariant Covariant (Twister Maybe) Maybe))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. UT Covariant Covariant (Twister Maybe) Maybe)))) := b 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 |
Extractable u => Extractable (TUV Covariant Covariant Covariant ((:*:) p) u ((->) p :: Type -> Type)) Source # | |
|
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 |