Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Schemes.TU

Documentation

newtype TU ct cu t u a Source #

Constructors

TU ((t :. u) := a)

Instances

Instances details

Stack List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List
(Covariant m m t, Covariant m m u, Interpreted m (t <:.> u)) => Covariant m m (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods (<$>) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (:+:) t) => Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (:+:) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (:*:) -> (Unit (:+:) -> a) --> (t <:.> u) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (::) u, Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (::) t, Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (::) u) => Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (::) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (::) -> (Unit (::) -> a) --> (t <:.> u) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (::) (::) t, Monoidal (<--) ((->) :: Type -> Type -> Type) (::) (::) u) => Monoidal (<--) ((->) :: Type -> Type -> Type) (::) (::) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (::) -> (Unit (::) -> a) <-- (t <:.> u) a Source #
Monotonic a ((t :. Construction t) := a) => Monotonic a ((t <:.> Construction t) := a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Construction Methods reduce :: (a -> r -> r) -> r -> ((t <:.> Construction t) := a) -> r Source # resolve :: (a -> r) -> r -> ((t <:.> Construction t) := a) -> r Source #
Semigroup (List a) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (+) :: List a -> List a -> List a Source #
Monoid (List a) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods zero :: List a Source #
Setoid a => Setoid (List a) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (==) :: List a -> List a -> Boolean Source # (!=) :: List a -> List a -> Boolean Source #
Nullable List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods null :: forall (a :: k). (Predicate :. List) := a Source #
Nullable Rose Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Methods null :: forall (a :: k). (Predicate :. Rose) := a Source #
Nullable Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Methods null :: forall (a :: k). (Predicate :. Binary) := a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (:+:) t) => Semimonoidal (-->) (::) (:+:) (t <:.> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) --> (t <:.> u) (a :+: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (::) (::) t, Semimonoidal (-->) (::) (::) u) => Semimonoidal (-->) (::) (::) (t <:.> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods mult :: forall (a :: k) (b :: k). ((t <:.> u) a :: (t <:.> u) b) --> (t <:.> u) (a :: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (::) (::) t, Semimonoidal (<--) (::) (::) u) => Semimonoidal (<--) (::) (::) (t <:.> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods mult :: forall (a :: k) (b :: k). ((t <:.> u) a :: (t <:.> u) b) <-- (t <:.> u) (a :: b) Source #
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) List :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> List) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source #
Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'All) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'All) <:.> List) ~> Morphing ('Delete 'All) List Source #
Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Delete 'First) List :: Type -> Type Source # Methods morphing :: (Tagged ('Delete 'First) <:.> List) ~> Morphing ('Delete 'First) List Source #
Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Find 'Element) List :: Type -> Type Source # Methods morphing :: (Tagged ('Find 'Element) <:.> List) ~> Morphing ('Find 'Element) List Source #
Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into (o ds)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary Source #
Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary Source #
Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary Source #
Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary Source #
Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay Associated Types type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary Source #
Morphable ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Morphable ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Construction Maybe) ~> Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Morphable ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Tap ((List <:.:> List) := (::)))) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Morphable ('Into List) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe) Source #
Morphable ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) ~> Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Morphable ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Into List) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector Associated Types type Morphing ('Into List) (Vector r) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> Vector r) ~> Morphing ('Into List) (Vector r) Source #
Morphable ('Into Binary) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Into Binary) (Construction Wye) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Right) (Tap ((List <:.:> List) := (:*:))) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (::))) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((List <:.:> List) := (::))) ~> Morphing ('Rotate 'Left) (Tap ((List <:.:> List) := (:*:))) Source #
Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key) Source #
Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Associated Types type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k) Source #
Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k) Source #
Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type Source # Methods morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k) Source #
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Up) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate 'Up) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Right)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Left)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods (/\|\) :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant (->) (->) u => (u ~> v) -> TU Covariant Covariant t u ~> TU Covariant Covariant t v Source #
Extendable ((->) :: Type -> Type -> Type) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (<<=) :: (Tap ((List <:.:> List) := (::)) a -> b) -> Tap ((List <:.:> List) := (::)) a -> Tap ((List <:.:> List) := (:*:)) b Source #
Morphable ('Pop :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Pop List :: Type -> Type Source # Methods morphing :: (Tagged 'Pop <:.> List) ~> Morphing 'Pop List Source #
Morphable ('Push :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing 'Push List :: Type -> Type Source # Methods morphing :: (Tagged 'Push <:.> List) ~> Morphing 'Push List Source #
Morphable ('Insert :: a -> Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing 'Insert Binary :: Type -> Type Source # Methods morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary Source #
Substructure ('Tail :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Available 'Tail List :: Type -> Type Source # type Substance 'Tail List :: Type -> Type Source # Methods substructure :: ((Tagged 'Tail <:.> List) #=@ Substance 'Tail List) := Available 'Tail List Source # sub :: (List #=@ Substance 'Tail List) := Available 'Tail List Source #
Substructure ('Root :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Available 'Root List :: Type -> Type Source # type Substance 'Root List :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> List) #=@ Substance 'Root List) := Available 'Root List Source # sub :: (List #=@ Substance 'Root List) := Available 'Root List Source #
Substructure ('Right :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Available 'Right Binary :: Type -> Type Source # type Substance 'Right Binary :: Type -> Type Source # Methods substructure :: ((Tagged 'Right <:.> Binary) #=@ Substance 'Right Binary) := Available 'Right Binary Source # sub :: (Binary #=@ Substance 'Right Binary) := Available 'Right Binary Source #
Substructure ('Left :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Available 'Left Binary :: Type -> Type Source # type Substance 'Left Binary :: Type -> Type Source # Methods substructure :: ((Tagged 'Left <:.> Binary) #=@ Substance 'Left Binary) := Available 'Left Binary Source # sub :: (Binary #=@ Substance 'Left Binary) := Available 'Left Binary Source #
Substructure ('Tail :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Associated Types type Available 'Tail (Construction List) :: Type -> Type Source # type Substance 'Tail (Construction List) :: Type -> Type Source # Methods substructure :: ((Tagged 'Tail <:.> Construction List) #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List) Source # sub :: (Construction List #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List) Source #
Substructure ('Root :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose Associated Types type Available 'Root (Construction List) :: Type -> Type Source # type Substance 'Root (Construction List) :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> Construction List) #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List) Source # sub :: (Construction List #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (->) (::) (::) u) => (a -> u b) -> Tap ((List <:.:> List) := (::)) a -> u (Tap ((List <:.:> List) := (::)) b) Source #
(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods (<<-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (->) (::) (::) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <:.> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <.:> v) (w <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes Methods (-\|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b Source # (\|-) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (w <.:> u), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (w <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes Methods (-\|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b Source # (\|-) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (u <:.> w), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v w) => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (v <:.> t) (u <:.> w) Source #
Instance details Defined in Pandora.Paradigm.Schemes Methods (-\|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b Source # (\|-) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b Source #
Extendable ((->) :: Type -> Type -> Type) u => Extendable ((->) :: Type -> Type -> Type) ((:*:) e <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods (<<=) :: (((::) e <:.> u) a -> b) -> ((::) e <:.> u) a -> ((:*:) e <:.> u) b Source #
(Bindable ((->) :: Type -> Type -> Type) t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Bindable ((->) :: Type -> Type -> Type) u) => Bindable ((->) :: Type -> Type -> Type) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods (=<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b Source #
Monoidal (-->) ((->) :: Type -> Type -> Type) (::) (::) t => Liftable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods lift :: Covariant (->) (->) u => u a -> TU Covariant Covariant t u a Source #
Monoidal (<--) ((->) :: Type -> Type -> Type) (::) (::) t => Lowerable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods lower :: Covariant (->) (->) u => TU Covariant Covariant t u a -> u a Source #
Interpreted ((->) :: Type -> Type -> Type) (TU ct cu t u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Associated Types type Primary (TU ct cu t u) a Source # Methods run :: TU ct cu t u a -> Primary (TU ct cu t u) a Source # unite :: Primary (TU ct cu t u) a -> TU ct cu t u a Source # (\|\|=) :: (Semigroupoid (->), Interpreted (->) u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> TU ct cu t u a -> u0 b Source # (=\|\|) :: (Semigroupoid (->), Interpreted (->) u0) => (TU ct cu t u a -> u0 b) -> Primary (TU ct cu t u) a -> Primary u0 b Source # (<$\|\|=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> (j := TU ct cu t u a) -> (j := u0 b) Source # (<$$\|\|=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. k) := TU ct cu t u a) -> ((j :. k) := u0 b) Source # (<$$$\|\|=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. (k :. l)) := TU ct cu t u a) -> ((j :. (k :. l)) := u0 b) Source # (<$$$$\|\|=) :: (Semigroupoid (->), Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => (Primary (TU ct cu t u) a -> Primary u0 b) -> ((j :. (k :. (l :. n))) := TU ct cu t u a) -> ((j :. (k :. (l :. n))) := u0 b) Source # (=\|\|$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (TU ct cu t u a -> u0 b) -> (j := Primary (TU ct cu t u) a) -> (j := Primary u0 b) Source # (=\|\|$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted (->) u0) => (TU ct cu t u a -> u0 b) -> ((j :. k) := Primary (TU ct cu t u) a) -> ((j :. k) := Primary u0 b) Source # (=\|\|$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted (->) u0) => (TU ct cu t u a -> u0 b) -> ((j :. (k :. l)) := Primary (TU ct cu t u) a) -> ((j :. (k :. l)) := Primary u0 b) Source # (=\|\|$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) n, Interpreted (->) u0) => (TU ct cu t u a -> u0 b) -> ((j :. (k :. (l :. n))) := Primary (TU ct cu t u) a) -> ((j :. (k :. (l :. n))) := Primary u0 b) Source #
type Nonempty List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Nonempty List = Construction Maybe
type Nonempty Rose Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Nonempty Rose = Construction List
type Nonempty Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Nonempty Binary = Construction Wye
type Combinative List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Combinative List = Comprehension Maybe
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) List = Maybe <:.> Tap ((List <:.:> List) := (::))
type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List = (Predicate <:.:> Maybe) := ((->) :: Type -> Type -> Type)
type Morphing ('Into (o ds) :: Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into (o ds) :: Morph a) Binary = Maybe <:.> Morphing ('Into (o ds)) (Construction Wye)
type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary
type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary
type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary
type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Splay type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary
type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) = Comprehension Maybe
type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((Construction Maybe <:.:> Construction Maybe) := (::)))) (Tap ((List <:.:> List) := (::))) = Maybe <:.> Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))
type Morphing ('Into (Tap ((List <:.:> List) := (:*:)))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Construction Maybe) = Tap ((List <:.:> List) := (::))
type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Tap ((List <:.:> List) := (::)))) (Tap ((Construction Maybe <:.:> Construction Maybe) := (::))) = Tap ((List <:.:> List) := (:*:))
type Morphing ('Into List) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Construction Maybe) = List
type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) = List
type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Tap ((List <:.:> List) := (:*:))) = List
type Morphing ('Into List) (Vector r) Source #
Instance details Defined in Pandora.Paradigm.Primary.Linear.Vector type Morphing ('Into List) (Vector r) = List
type Morphing ('Into Binary) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Into Binary) (Construction Wye) = Binary
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (::))) = Maybe <:.> Tap ((List <:.:> List) := (::))
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (::))) = Maybe <:.> Tap ((List <:.:> List) := (::))
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) = ((->) key :: Type -> Type) <:.> Maybe
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) = ((->) (Nonempty List k) :: Type -> Type) <:.> Maybe
type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = (((:*:) k <:.> Identity) <:.:> Prefixed Binary k) := ((->) :: Type -> Type -> Type)
type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = ((->) k :: Type -> Type) <:.> Maybe
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Zipper List (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Zipper List (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type) = Tap ((List <:.:> List) := (:*:))
type Morphing ('Pop :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Pop :: a -> Morph a) List = List
type Morphing ('Push :: a -> Morph a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Push :: a -> Morph a) List = (Identity <:.:> List) := ((->) :: Type -> Type -> Type)
type Morphing ('Insert :: a -> Morph a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Morphing ('Insert :: a -> Morph a) Binary = (((Identity <:.:> Comparison) := (:*:)) <:.:> Binary) := ((->) :: Type -> Type -> Type)
type Available ('Tail :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Available ('Tail :: a -> Segment a) List = Identity
type Available ('Root :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Available ('Root :: a -> Segment a) List = Maybe
type Available ('Right :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Available ('Right :: a -> Wye a) Binary = Maybe
type Available ('Left :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Available ('Left :: a -> Wye a) Binary = Maybe
type Substance ('Tail :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Substance ('Tail :: a -> Segment a) List = List
type Substance ('Root :: a -> Segment a) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Substance ('Root :: a -> Segment a) List = Identity
type Substance ('Right :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Substance ('Right :: a -> Wye a) Binary = Construction Wye
type Substance ('Left :: a -> Wye a) Binary Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary type Substance ('Left :: a -> Wye a) Binary = Construction Wye
type Available ('Tail :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Available ('Tail :: a -> Segment a) (Construction List) = Identity
type Available ('Root :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Available ('Root :: a -> Segment a) (Construction List) = Identity
type Substance ('Tail :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Tail :: a -> Segment a) (Construction List) = List <:.> Construction List
type Substance ('Root :: a -> Segment a) (Construction List) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Rose type Substance ('Root :: a -> Segment a) (Construction List) = Identity
type Primary (TU ct cu t u) a Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU type Primary (TU ct cu t u) a = (t :. u) := a

type (<:.>) = TU Covariant Covariant infixr 3 Source #

type (>:.>) = TU Contravariant Covariant infixr 3 Source #

type (<:.<) = TU Covariant Contravariant infixr 3 Source #

type (>:.<) = TU Contravariant Contravariant infixr 3 Source #