Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Pattern.Functor.Covariant

Synopsis

class (Semigroupoid source, Semigroupoid target) => Covariant source target t where
- (<-|-) :: source a b -> target (t a) (t b)
(<-|-|-) :: forall source target t u a b. (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b))
(<-|-|-|-) :: forall source target t u v a b. (Covariant source (Betwixt source (Betwixt source target)) v, Covariant (Betwixt source (Betwixt source target)) (Betwixt (Betwixt source target) target) u, Covariant (Betwixt (Betwixt source target) target) target t) => source a b -> target (t (u (v a))) (t (u (v b)))
(<$>) :: Covariant source target t => source a b -> target (t a) (t b)
(<$$>) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b))
(<$$$>) :: forall source target t u v a b. (Covariant source (Betwixt source (Betwixt source target)) v, Covariant (Betwixt source (Betwixt source target)) (Betwixt (Betwixt source target) target) u, Covariant (Betwixt (Betwixt source target) target) target t) => source a b -> target (t (u (v a))) (t (u (v b)))

Documentation

class (Semigroupoid source, Semigroupoid target) => Covariant source target t where Source #

When providing a new instance, you should ensure it satisfies:
* Identity morphism: (identity <-|-) ≡ identity
* Interpreted of morphisms: (f . g <-|-) ≡ (f <-|-) . (g <-|-)

Methods

(<-|-) :: source a b -> target (t a) (t b) infixl 4 Source #

Instances

Instances details

Stack List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List
Zippable List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Breadcrumbs List :: Type -> Type Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (::) t, Semimonoidal (-->) (::) (:+:) u, Monoidal (-->) (-->) (::) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> (t <:.> u) a Source #
(Bindable ((->) :: Type -> Type -> Type) u, Monoidal (-->) (-->) (::) (::) u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t) => Monoidal (-->) (-->) (::) (::) ((t <:<.>:> t') := u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods unit :: Proxy (::) -> (Unit (::) --> a) --> ((t <:<.>:> t') := u) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (::) u, Monoidal (-->) (-->) (::) (::) t, Monoidal (-->) (-->) (::) (::) u) => Monoidal (-->) (-->) (::) (::) (t <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT 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 (-->) (-->) (::) (::) t, Monoidal (-->) (-->) (::) (::) u) => Monoidal (-->) (-->) (::) (::) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (::) -> (Unit (::) --> a) --> (t <:.> u) a Source #
Semimonoidal (<--) (::) (::) t => Monoidal (<--) (-->) (::) (::) ((Identity <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Methods unit :: Proxy (::) -> (Unit (::) --> a) <-- ((Identity <:.:> t) := (:*:)) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (::) (::) t, Semimonoidal (<--) (::) (::) t', Monoidal (<--) (-->) (::) (::) u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t') => Monoidal (<--) (-->) (::) (::) ((t <:<.>:> t') := u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods unit :: Proxy (::) -> (Unit (::) --> a) <-- ((t <:<.>:> t') := u) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal (<--) (-->) (::) (::) t, Monoidal (<--) (-->) (::) (::) u) => Monoidal (<--) (-->) (::) (::) (t <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT Methods unit :: Proxy (::) -> (Unit (::) --> a) <-- (t <.:> u) a Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (::) (::) t, Monoidal (<--) (-->) (::) (::) u) => Monoidal (<--) (-->) (::) (::) (t <:.> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods unit :: Proxy (::) -> (Unit (::) --> a) <-- (t <:.> u) a Source #
(Semigroupoid m, Covariant m (Betwixt m m) t, Covariant (Betwixt m m) m u, Interpreted m (t <.:> u)) => Covariant m m (t <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT Methods (<-\|-) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b) Source #
(Semigroupoid m, Covariant (Betwixt (Betwixt m m) m) m t, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u, Covariant m (Betwixt m (Betwixt m m)) t', Interpreted m ((t <:<.>:> t') := u)) => Covariant m m ((t <:<.>:> t') := u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods (<-\|-) :: m a b -> m (((t <:<.>:> t') := u) a) (((t <:<.>:> t') := u) b) Source #
(Semigroupoid m, Covariant (Betwixt m m) m t, Covariant m (Betwixt 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 m m t => Covariant m (Straight m) t Source #
Instance details Defined in Pandora.Pattern.Morphism.Straight Methods (<-\|-) :: m a b -> Straight m (t a) (t b) 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 m m t => Covariant (Straight m) m t Source #
Instance details Defined in Pandora.Pattern.Morphism.Straight Methods (<-\|-) :: Straight m a b -> m (t a) (t b) Source #
Semimonoidal (-->) (::) (::) t => Semimonoidal (-->) (::) (::) (Tap ((t <:.:> t) := (:*:)) :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Methods mult :: forall (a :: k) (b :: k). (Tap ((t <:.:> t) := (::)) a :: Tap ((t <:.:> t) := (::)) b) --> Tap ((t <:.:> t) := (::)) (a :*: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (:+:) u) => Semimonoidal (-->) (::) (:+:) ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods mult :: forall (a :: k) (b :: k). ((((->) s <:<.>:> (::) s) := u) a :: (((->) s <:<.>:> (::) s) := u) b) --> (((->) s <:<.>:> (::) s) := u) (a :+: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (::) (::) u, Semimonoidal (-->) (::) (:+:) t) => Semimonoidal (-->) (::) (:+:) (t <.:> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT 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, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, 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 #
(Semimonoidal (-->) (::) (::) t, Semimonoidal (-->) (::) (::) u) => Semimonoidal (-->) (::) (::) ((t <:.:> u) := (:*:) :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Product Methods mult :: forall (a :: k) (b :: k). (((t <:.:> u) := (::)) a :: ((t <:.:> u) := (::)) b) --> ((t <:.:> u) := (::)) (a :*: b) Source #
(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Bindable ((->) :: Type -> Type -> Type) u) => Semimonoidal (-->) (::) (::) ((t <:<.>:> t') := u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods mult :: forall (a :: k) (b :: k). (((t <:<.>:> t') := u) a :: ((t <:<.>:> t') := u) b) --> ((t <:<.>:> t') := u) (a :: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (::) (::) t, Semimonoidal (-->) (::) (::) u) => Semimonoidal (-->) (::) (::) (t <.:> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT 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 #
(Semimonoidal (<--) (::) (::) t, Semimonoidal (<--) (::) (::) u) => Semimonoidal (<--) (::) (::) ((t <:.:> u) := (:*:) :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Product Methods mult :: forall (a :: k) (b :: k). (((t <:.:> u) := (::)) a :: ((t <:.:> u) := (::)) b) <-- ((t <:.:> u) := (::)) (a :*: b) Source #
Semimonoidal (<--) (::) (::) t => Semimonoidal (<--) (::) (::) ((Identity <:.:> t) := (:*:) :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Methods mult :: forall (a :: k) (b :: k). (((Identity <:.:> t) := (::)) a :: ((Identity <:.:> t) := (::)) b) <-- ((Identity <:.:> t) := (::)) (a :*: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (::) (::) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (::) (::) u, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (<--) (::) (::) t') => Semimonoidal (<--) (::) (::) ((t <:<.>:> t') := u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods mult :: forall (a :: k) (b :: k). (((t <:<.>:> t') := u) a :: ((t <:<.>:> t') := u) b) <-- ((t <:<.>:> t') := u) (a :: b) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (::) (::) t, Semimonoidal (<--) (::) (::) u) => Semimonoidal (<--) (::) (::) (t <.:> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT 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 #
(Monoidal (-->) (-->) (::) (::) u, Bindable ((->) :: Type -> Type -> Type) u) => Catchable e (Conclusion e <.:> u :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Conclusion Methods catch :: forall (a :: k). (Conclusion e <.:> u) a -> (e -> (Conclusion e <.:> u) a) -> (Conclusion e <.:> u) a Source #
Covariant m m t => Covariant (Straight m) (Straight m) t Source #
Instance details Defined in Pandora.Pattern.Morphism.Straight Methods (<-\|-) :: Straight m a b -> Straight m (t a) (t b) Source #
(Category m, Covariant m m t) => Covariant (Flip m) (Flip m) t Source #
Instance details Defined in Pandora.Pattern.Morphism.Flip Methods (<-\|-) :: Flip m a b -> Flip m (t a) (t b) Source #
Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) List :: Type -> Type Source # Methods morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) <:.> List) ~> Morphing ('Into ((Identity <:.:> ((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 ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) (Construction Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) <:.> Construction Maybe) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) (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) (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 #
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 ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ~> Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Primary Associated Types type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into Wye) <:.> ((Maybe <:.:> Maybe) := (::))) ~> Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Morphable ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Construction Maybe)) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ~> Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Morphable ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ~> Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Morphable ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ~> Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Morphable ('Into List) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ~> Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Morphable ('Into List) (Construction Maybe <:.> Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Into List) (Construction Maybe <:.> Maybe) :: Type -> Type Source # Methods morphing :: (Tagged ('Into List) <:.> (Construction Maybe <:.> Maybe)) ~> Morphing ('Into List) (Construction Maybe <:.> Maybe) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Right) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Associated Types type Morphing ('Rotate 'Left) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Associated Types type Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Up) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Associated Types type Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))) ~> Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TU Methods (/\|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). TU Covariant Covariant t u a -> TU Covariant Covariant t v a 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 #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Right (Tape t) :: Type -> Type Source # type Substance 'Right (Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Right <:.> Tape t) #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t) Source # sub :: (Tape t #=@ Substance 'Right (Tape t)) := Available 'Right (Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Left (Tape t) :: Type -> Type Source # type Substance 'Left (Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Left <:.> Tape t) #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t) Source # sub :: (Tape t #=@ Substance 'Left (Tape t)) := Available 'Left (Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Root (Tape t) :: Type -> Type Source # type Substance 'Root (Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> Tape t) #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t) Source # sub :: (Tape t #=@ Substance 'Root (Tape t)) := Available 'Root (Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Associated Types type Available 'Right (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # type Substance 'Right (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # Methods substructure :: ((Tagged 'Right <:.> Tap ((t <:.:> t) := (::))) #=@ Substance 'Right (Tap ((t <:.:> t) := (::)))) := Available 'Right (Tap ((t <:.:> t) := (::))) Source # sub :: (Tap ((t <:.:> t) := (::)) #=@ Substance 'Right (Tap ((t <:.:> t) := (::)))) := Available 'Right (Tap ((t <:.:> t) := (::))) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Associated Types type Available 'Left (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # type Substance 'Left (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # Methods substructure :: ((Tagged 'Left <:.> Tap ((t <:.:> t) := (::))) #=@ Substance 'Left (Tap ((t <:.:> t) := (::)))) := Available 'Left (Tap ((t <:.:> t) := (::))) Source # sub :: (Tap ((t <:.:> t) := (::)) #=@ Substance 'Left (Tap ((t <:.:> t) := (::)))) := Available 'Left (Tap ((t <:.:> t) := (::))) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Associated Types type Available 'Root (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # type Substance 'Root (Tap ((t <:.:> t) := (::))) :: Type -> Type Source # Methods substructure :: ((Tagged 'Root <:.> Tap ((t <:.:> t) := (::))) #=@ Substance 'Root (Tap ((t <:.:> t) := (::)))) := Available 'Root (Tap ((t <:.:> t) := (::))) Source # sub :: (Tap ((t <:.:> t) := (::)) #=@ Substance 'Root (Tap ((t <:.:> t) := (::)))) := Available 'Root (Tap ((t <:.:> t) := (::))) 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 #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (::) (::) t) => Substructure ('Right :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Right (Tape t <:.> Tape t) :: Type -> Type Source # type Substance 'Right (Tape t <:.> Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Right <:.> (Tape t <:.> Tape t)) #=@ Substance 'Right (Tape t <:.> Tape t)) := Available 'Right (Tape t <:.> Tape t) Source # sub :: ((Tape t <:.> Tape t) #=@ Substance 'Right (Tape t <:.> Tape t)) := Available 'Right (Tape t <:.> Tape t) Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (::) (::) t) => Substructure ('Left :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Left (Tape t <:.> Tape t) :: Type -> Type Source # type Substance 'Left (Tape t <:.> Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Left <:.> (Tape t <:.> Tape t)) #=@ Substance 'Left (Tape t <:.> Tape t)) := Available 'Left (Tape t <:.> Tape t) Source # sub :: ((Tape t <:.> Tape t) #=@ Substance 'Left (Tape t <:.> Tape t)) := Available 'Left (Tape t <:.> Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Down (Tape t <:.> Tape t) :: Type -> Type Source # type Substance 'Down (Tape t <:.> Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Down <:.> (Tape t <:.> Tape t)) #=@ Substance 'Down (Tape t <:.> Tape t)) := Available 'Down (Tape t <:.> Tape t) Source # sub :: ((Tape t <:.> Tape t) #=@ Substance 'Down (Tape t <:.> Tape t)) := Available 'Down (Tape t <:.> Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper Associated Types type Available 'Up (Tape t <:.> Tape t) :: Type -> Type Source # type Substance 'Up (Tape t <:.> Tape t) :: Type -> Type Source # Methods substructure :: ((Tagged 'Up <:.> (Tape t <:.> Tape t)) #=@ Substance 'Up (Tape t <:.> Tape t)) := Available 'Up (Tape t <:.> Tape t) Source # sub :: ((Tape t <:.> Tape t) #=@ Substance 'Up (Tape t <:.> Tape t)) := Available 'Up (Tape t <:.> Tape t) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Available 'Right ((t <:.:> t) := (::)) :: Type -> Type Source # type Substance 'Right ((t <:.:> t) := (::)) :: Type -> Type Source # Methods substructure :: ((Tagged 'Right <:.> ((t <:.:> t) := (::))) #=@ Substance 'Right ((t <:.:> t) := (::))) := Available 'Right ((t <:.:> t) := (::)) Source # sub :: (((t <:.:> t) := (::)) #=@ Substance 'Right ((t <:.:> t) := (::))) := Available 'Right ((t <:.:> t) := (::)) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Available 'Left ((t <:.:> t) := (::)) :: Type -> Type Source # type Substance 'Left ((t <:.:> t) := (::)) :: Type -> Type Source # Methods substructure :: ((Tagged 'Left <:.> ((t <:.:> t) := (::))) #=@ Substance 'Left ((t <:.:> t) := (::))) := Available 'Left ((t <:.:> t) := (::)) Source # sub :: (((t <:.:> t) := (::)) #=@ Substance 'Left ((t <:.:> t) := (::))) := Available 'Left ((t <:.:> t) := (::)) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Wye Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Wye Methods (<-\|-) :: (a -> b) -> Wye a -> Wye b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Identity Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Identity Methods (<-\|-) :: (a -> b) -> Identity a -> Identity b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Edges Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Edges Methods (<-\|-) :: (a -> b) -> Edges a -> Edges b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Maybe Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Maybe Methods (<-\|-) :: (a -> b) -> Maybe a -> Maybe b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Biforked Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Binary Methods (<-\|-) :: (a -> b) -> Biforked a -> Biforked b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((-->) b) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Exponential Methods (<-\|-) :: (a -> b0) -> (b --> a) -> (b --> b0) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (<-\|-) :: (a -> b) -> Proxy a -> Proxy b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:+:) s) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Sum Methods (<-\|-) :: (a -> b) -> (s :+: a) -> (s :+: b) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Yoneda t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Yoneda Methods (<-\|-) :: (a -> b) -> Yoneda t a -> Yoneda t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Outline t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Outline Methods (<-\|-) :: (a -> b) -> Outline t a -> Outline t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:*:) s) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Product Methods (<-\|-) :: (a -> b) -> (s :: a) -> (s :: b) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods (<-\|-) :: (a -> b) -> Jet t a -> Jet t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (<-\|-) :: (a -> b) -> Jack t a -> Jack t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Wedge e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Wedge Methods (<-\|-) :: (a -> b) -> Wedge e a -> Wedge e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Validation e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Validation Methods (<-\|-) :: (a -> b) -> Validation e a -> Validation e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (These e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.These Methods (<-\|-) :: (a -> b) -> These e a -> These e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Instruction t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Instruction Methods (<-\|-) :: (a -> b) -> Instruction t a -> Instruction t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Construction Methods (<-\|-) :: (a -> b) -> Construction t a -> Construction t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Conclusion Methods (<-\|-) :: (a -> b) -> Conclusion e a -> Conclusion e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> Construction t) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Comprehension t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Comprehension Methods (<-\|-) :: (a -> b) -> Comprehension t a -> Comprehension t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Store s) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Store Methods (<-\|-) :: (a -> b) -> Store s a -> Store s b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Methods (<-\|-) :: (a -> b) -> Tap t a -> Tap t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (State s) Source #
Instance details Defined in Pandora.Paradigm.Inventory.State Methods (<-\|-) :: (a -> b) -> State s a -> State s b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Imprint e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Imprint Methods (<-\|-) :: (a -> b) -> Imprint e a -> Imprint e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Equipment Methods (<-\|-) :: (a -> b) -> Equipment e a -> Equipment e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Environment e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Environment Methods (<-\|-) :: (a -> b) -> Environment e a -> Environment e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Accumulator e) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Accumulator Methods (<-\|-) :: (a -> b) -> Accumulator e a -> Accumulator e b Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tap ((t <:.:> t) := (::)) a -> u (Tap ((t <:.:> t) := (::)) b) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Constant Methods (<-\|-) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:+:) a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Sum Methods (<-\|-) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Product Methods (<-\|-) :: (a0 -> b) -> Flip (::) a a0 -> Flip (::) a b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Validation a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Validation Methods (<-\|-) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<-\|-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Conclusion e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Conclusion Methods (<-\|-) :: (a -> b) -> Flip Conclusion e a -> Flip Conclusion e b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Constant Methods (<-\|-) :: (a0 -> b) -> Constant a a0 -> Constant a b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Day t u) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Day Methods (<-\|-) :: (a -> b) -> Day t u a -> Day t u b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<-\|-) :: (a -> b) -> Tagged tag a -> Tagged tag b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :> u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic Methods (<-\|-) :: (a -> b) -> (t :> u) a -> (t :> u) b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Backwards Methods (<-\|-) :: (a -> b) -> Backwards t a -> Backwards t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Reverse Methods (<-\|-) :: (a -> b) -> Reverse t a -> Reverse t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u) Source #
Instance details Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic Methods (<-\|-) :: (a -> b) -> (t :< u) a -> (t :< u) b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Prefixed t k) Source #
Instance details Defined in Pandora.Paradigm.Structure.Modification.Prefixed Methods (<-\|-) :: (a -> b) -> Prefixed t k a -> Prefixed t k b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) a :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Algebraic.Exponential Methods (<-\|-) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Continuation r t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Continuation Methods (<-\|-) :: (a -> b) -> Continuation r t a -> Continuation r t b Source #
(Divariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) p, Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t >:.:> u) := p) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Methods (<-\|-) :: (a -> b) -> ((t >:.:> u) := p) a -> ((t >:.:> u) := p) b Source #
(forall i. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p i), Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) p, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:.:> u) := p) Source #
Instance details Defined in Pandora.Paradigm.Schemes.T_U Methods (<-\|-) :: (a -> b) -> ((t <:.:> u) := p) a -> ((t <:.:> u) := p) b Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) a -> u (((Identity <:.:> ((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 (->)) (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) (t <.:> v), 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) (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 #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Kan ('Right :: Type -> Wye Type) t u b) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Kan Methods (<-\|-) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0 Source #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:<.>:> u) t'), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((v <:<.>:> w) v'), Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t w, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' v', Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t v, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u v, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) v' t') => Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t <:<.>:> u) t') ((v <:<.>:> w) v') Source #
Instance details Defined in Pandora.Paradigm.Schemes Methods (-\|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b Source # (\|-) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b Source #
Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream Methods (<<=) :: (((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) a -> b) -> ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) a -> ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) b Source #
Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List Methods (<<=) :: (((Identity <:.:> ((List <:.:> List) := (::))) := (::)) a -> b) -> ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) a -> ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) b Source #
(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) ((t' <:<.>:> t) := u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods (<<=) :: (((t' <:<.>:> t) := u) a -> b) -> ((t' <:<.>:> t) := u) a -> ((t' <:<.>:> t) := u) b Source #
(Semigroup e, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (((->) e :: Type -> Type) <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Inventory.Imprint Methods (<<=) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) 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 #
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Bindable ((->) :: Type -> Type -> Type) u) => Bindable ((->) :: Type -> Type -> Type) ((t <:<.>:> t') := u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods (=<<) :: (a -> ((t <:<.>:> t') := u) b) -> ((t <:<.>:> t') := u) a -> ((t <:<.>:> t') := u) b Source #
(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Bindable ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (::) (::) u, Monoidal (-->) (-->) (::) (::) u, Bindable ((->) :: Type -> Type -> Type) u) => Bindable ((->) :: Type -> Type -> Type) (t <.:> u) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT Methods (=<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> 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 #
(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Liftable ((->) :: Type -> Type -> Type) (t <:<.>:> t') Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods lift :: Covariant (->) (->) u => u a -> (t <:<.>:> t') u a Source #
(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t', Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t') => Lowerable ((->) :: Type -> Type -> Type) (t <:<.>:> t') Source #
Instance details Defined in Pandora.Paradigm.Schemes.TUT Methods lower :: Covariant (->) (->) u => (t <:<.>:> t') u a -> u a Source #
Monoidal (-->) (-->) (::) (::) t => Liftable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT Methods lift :: Covariant (->) (->) u => u a -> UT Covariant Covariant t u a Source #
Monoidal (-->) (-->) (::) (::) 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 (<--) (-->) (::) (::) t => Lowerable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t) Source #
Instance details Defined in Pandora.Paradigm.Schemes.UT Methods lower :: Covariant (->) (->) u => UT Covariant Covariant t u a -> u a Source #
Monoidal (<--) (-->) (::) (::) 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 #
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 Breadcrumbs List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Breadcrumbs List = (List <:.:> List) := (:*:)
type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) List Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) List = Maybe <:.> ((Identity <:.:> ((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 ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) (Construction Maybe) = (Identity <:.:> ((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) (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 ('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 ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))
type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (::))) := (::))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) = (Identity <:.:> ((List <:.:> List) := (::))) := (::)
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Primary type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) = Wye
type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) = Construction Maybe
type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) = Comprehension Maybe
type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) = List
type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) = List
type Morphing ('Into List) (Construction Maybe <:.> Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Into List) (Construction Maybe <:.> Maybe) = List
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) = (Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.Stream type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)) = (Identity <:.:> ((Stream <:.:> Stream) := (::))) := (::)
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (::))) := (::))
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) Source #
Instance details Defined in Pandora.Paradigm.Structure.Some.List type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (::))) := (::)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (::))) := (::))
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> 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)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> 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))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> 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))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (::)) <:.:> (Bifurcation <:.> Bicursor)) := (::))
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 ('Right :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Right :: a -> Wye a) (Tape t) = Identity
type Available ('Left :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Left :: a -> Wye a) (Tape t) = Identity
type Available ('Root :: a -> Segment a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Root :: a -> Segment a) (Tape t) = Identity
type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Available ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity
type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Available ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = Identity
type Available ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Available ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) = Identity
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 ('Right :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Right :: a -> Wye a) (Tape t) = t
type Substance ('Left :: a -> Wye a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Left :: a -> Wye a) (Tape t) = t
type Substance ('Root :: a -> Segment a) (Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Root :: a -> Segment a) (Tape t) = Identity
type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Substance ('Right :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t
type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Substance ('Left :: a -> Wye a) (Tap ((t <:.:> t) := (:*:))) = t
type Substance ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Tap type Substance ('Root :: a -> Segment a) (Tap ((t <:.:> t) := (:*:))) = 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 Available ('Right :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Right :: a -> Wye a) (Tape t <:.> Tape t) = Identity
type Available ('Left :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Left :: a -> Wye a) (Tape t <:.> Tape t) = Identity
type Available ('Down :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Down :: a -> Vertical a) (Tape t <:.> Tape t) = Identity
type Available ('Up :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Available ('Up :: a -> Vertical a) (Tape t <:.> Tape t) = Identity
type Available ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure type Available ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) = Identity
type Available ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure type Available ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) = Identity
type Substance ('Right :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Right :: a -> Wye a) (Tape t <:.> Tape t) = Tape t <:.> t
type Substance ('Left :: a -> Wye a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Left :: a -> Wye a) (Tape t <:.> Tape t) = Tape t <:.> t
type Substance ('Down :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Down :: a -> Vertical a) (Tape t <:.> Tape t) = t <:.> Tape t
type Substance ('Up :: a -> Vertical a) (Tape t <:.> Tape t) Source #
Instance details Defined in Pandora.Paradigm.Structure.Ability.Zipper type Substance ('Up :: a -> Vertical a) (Tape t <:.> Tape t) = t <:.> Tape t
type Substance ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure type Substance ('Right :: a -> Wye a) ((t <:.:> t) := (:*:)) = t
type Substance ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) Source #
Instance details Defined in Pandora.Paradigm.Structure type Substance ('Left :: a -> Wye a) ((t <:.:> t) := (:*:)) = t

(<-|-|-) :: forall source target t u a b. (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b)) infixl 3 Source #

(<-|-|-|-) :: forall source target t u v a b. (Covariant source (Betwixt source (Betwixt source target)) v, Covariant (Betwixt source (Betwixt source target)) (Betwixt (Betwixt source target) target) u, Covariant (Betwixt (Betwixt source target) target) target t) => source a b -> target (t (u (v a))) (t (u (v b))) infixl 4 Source #

(<$>) :: Covariant source target t => source a b -> target (t a) (t b) infixl 4 Source #

(<$$>) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b)) infixl 3 Source #

(<$$$>) :: forall source target t u v a b. (Covariant source (Betwixt source (Betwixt source target)) v, Covariant (Betwixt source (Betwixt source target)) (Betwixt (Betwixt source target) target) u, Covariant (Betwixt (Betwixt source target) target) target t) => source a b -> target (t (u (v a))) (t (u (v b))) infixl 4 Source #