Covariant Edges Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Edges |
Covariant Identity Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Identity |
Covariant Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Wye |
Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Covariant Biforked Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Stack List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Measurable 'Length List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Measurable 'Heighth Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Monotonic a ((Maybe <:.> Construction Maybe) := a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Covariant (Proxy :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Proxy |
Covariant t => Covariant (Jet t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Jet |
Covariant (Wedge e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Wedge |
Covariant (These e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.These |
Covariant (Validation e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Validation |
Covariant (Yoneda t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Yoneda |
Covariant t => Covariant (Jack t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Jack |
Covariant (Product s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Product |
Covariant (Outline t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Outline |
Covariant t => Covariant (Tap t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Tap |
Covariant t => Covariant (Instruction t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Instruction |
Covariant t => Covariant (Construction t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Construction |
Covariant (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Covariant (t <:.> Construction t) => Covariant (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Covariant (Store s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Store |
Covariant (State s) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.State |
Covariant (Imprint e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Covariant (Equipment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
Covariant (Environment e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Environment |
Covariant (Accumulator e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
Extendable (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Extendable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Traversable (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List Methods (->>) :: (Pointable u, Applicative u) => Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> (a -> u b) -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) a -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := b Source # sequence :: (Pointable u, Applicative u) => ((Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)) :. u) := a) -> (u :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))))) := b Source # |
Traversable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List Methods (->>) :: (Pointable u, Applicative u) => Tap ((List <:.:> List) := (:*:)) a -> (a -> u b) -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tap ((List <:.:> List) := (:*:)) a -> (u :. Tap ((List <:.:> List) := (:*:))) := b Source # sequence :: (Pointable u, Applicative u) => ((Tap ((List <:.:> List) := (:*:)) :. u) := a) -> (u :. Tap ((List <:.:> List) := (:*:))) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tap ((List <:.:> List) := (:*:))) := a) -> (a -> u b) -> (u :. (v :. Tap ((List <:.:> List) := (:*:)))) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tap ((List <:.:> List) := (:*:)))) := a) -> (a -> u b) -> (u :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tap ((List <:.:> List) := (:*:))))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tap ((List <:.:> List) := (:*:)))))) := b Source # |
Semigroup (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Monoid (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Setoid a => Setoid (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Nullable List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Nullable Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Nullable Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Monad u => Catchable e (Conclusion e <.:> u :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Conclusion |
Focusable ('Root :: Type -> Location Type) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Focusable ('Head :: Type -> Location Type) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Focusable ('Root :: Type -> Location Type) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Focusable ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Focusable ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into List) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into Binary) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Setoid k => Morphable ('Lookup ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Covariant t => Hoistable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
Covariant (Tagged tag) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Tagged |
Covariant (Constant a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Constant |
Covariant t => Covariant (Prefixed t k) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Prefixed |
Covariant (Schematic Monad t u) => Covariant (t :> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic |
Covariant (Day t u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Day |
Covariant t => Covariant (Backwards t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Backwards |
Covariant t => Covariant (Reverse t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Reverse |
Covariant (Schematic Comonad t u) => Covariant (t :< u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic |
Morphable ('Pop :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Push :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Insert :: a -> Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Substructure ('Tail :: a -> Segment a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Substructure ('Just :: a -> Maybe a) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Substructure ('Right :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Substructure ('Left :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Substructure ('Just :: a -> Maybe a) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Covariant ((->) a :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Function |
Covariant t => Covariant (Continuation r t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Continuation |
(Divariant p, Contravariant t, Covariant u) => Covariant ((t >:.:> u) := p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |
(Bivariant p, Covariant t, Covariant u) => Covariant ((t <:.:> u) := p) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.T_U |
(Covariant t, Covariant t', Covariant u) => Covariant ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Covariant t, Covariant u) => Covariant (t <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
(Covariant t, Covariant u) => Covariant (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Adjoint t' t, Bindable u) => Bindable ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Traversable t, Bindable t, Applicative u, Monad u) => Bindable (t <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
(Semigroup e, Pointable u, Bindable u) => Bindable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Bindable t, Distributive t, Bindable u) => Bindable (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Adjoint t' t, Bindable u) => Applicative ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Applicative t, Applicative u) => Applicative (t <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
(Semigroup e, Applicative u) => Applicative ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Applicative t, Applicative u) => Applicative (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Applicative t, Covariant t', Alternative u) => Alternative ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Covariant u, Alternative t) => Alternative (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Pointable t, Applicative t, Covariant t', Avoidable u) => Avoidable ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Covariant u, Avoidable t) => Avoidable (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Adjoint t' t, Extendable u) => Extendable ((t' <:<.>:> t) := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Semigroup e, Extendable u) => Extendable (((->) e :: Type -> Type) <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Imprint |
Extendable u => Extendable ((:*:) e <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Equipment |
(Adjoint t t', Extractable u) => Extractable ((t <:<.>:> t') := u) Source # | |
|
(Extractable t, Extractable u) => Extractable (t <.:> u) Source # | |
|
(Extractable t, Extractable u) => Extractable (t <:.> u) Source # | |
|
(Pointable u, Adjoint t' t) => Pointable ((t <:<.>:> t') := u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Pointable t, Pointable u) => Pointable (t <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Inventory.Accumulator |
(Pointable t, Pointable u) => Pointable (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
(Traversable t, Traversable u) => Traversable (t <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU Methods (->>) :: (Pointable u0, Applicative u0) => (t <:.> u) a -> (a -> u0 b) -> (u0 :. (t <:.> u)) := b Source # traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> (t <:.> u) a -> (u0 :. (t <:.> u)) := b Source # sequence :: (Pointable u0, Applicative u0) => (((t <:.> u) :. u0) := a) -> (u0 :. (t <:.> u)) := a Source # (->>>) :: (Pointable u0, Applicative u0, Traversable v) => ((v :. (t <:.> u)) := a) -> (a -> u0 b) -> (u0 :. (v :. (t <:.> u))) := b Source # (->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => ((w :. (v :. (t <:.> u))) := a) -> (a -> u0 b) -> (u0 :. (w :. (v :. (t <:.> u)))) := b Source # (->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. (t <:.> u)))) := a) -> (a -> u0 b) -> (u0 :. (j :. (w :. (v :. (t <:.> u))))) := b Source # |
(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
(Covariant (v <:.> t), Covariant (u <:.> w), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (u <:.> w) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
Covariant (Kan ('Right :: Type -> Wye Type) t u b) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Transformer.Kan |
(Adjoint t' t, Distributive t) => Liftable (t <:<.>:> t') Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Adjoint t t', Distributive t') => Lowerable (t <:<.>:> t') Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TUT |
(Covariant ((t <:<.>:> u) t'), Covariant ((v <:<.>:> w) v'), Adjoint t w, Adjoint t' v', Adjoint t v, Adjoint u v, Adjoint v' t') => Adjoint ((t <:<.>:> u) t') ((v <:<.>:> w) v') Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes |
Pointable t => Liftable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Pointable t => Liftable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
Extractable t => Lowerable (UT Covariant Covariant t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.UT |
Extractable t => Lowerable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Schemes.TU |
type Nonempty List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Nonempty Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Nonempty Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Zipper List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Measural 'Length List a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Measural 'Heighth Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Focusing ('Root :: Type -> Location Type) Rose a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Focusing ('Root :: Type -> Location Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Focusing ('Head :: Type -> Location Type) List a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Focusing ('Root :: Type -> Location Type) (Construction List) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Focusing ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Focusing ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:))) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (o ds) :: Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:)))) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Construction Maybe)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into List) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into Binary) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Stream |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Lookup ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Pop :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Push :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Insert :: a -> Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Tail :: a -> Segment a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Substructural ('Just :: a -> Maybe a) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Substructural ('Right :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Left :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Just :: a -> Maybe a) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |