Pandora.Pattern.Functor.Covariant

Documentation

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

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

Minimal complete definition

(<-|-)

Methods

(<-|-) :: source a b -> target (t a) (t b) infixl 6

(<-|--) :: source a b -> target (t a) (t b) infixl 5

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

(<-|----) :: source a b -> target (t a) (t b) infixl 3

(<-|-----) :: source a b -> target (t a) (t b) infixl 2

(<-|------) :: source a b -> target (t a) (t b) infixl 1

(<-|-------) :: source a b -> target (t a) (t b)

(<-|--------) :: 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)) infixl 4

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

(<-|-|---) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b)) infixl 2

(<-|-|----) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b)) infixl 1

(<-|-|-----) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b))

(<-|-|------) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant source (Betwixt source target) u, Covariant (Betwixt source target) target t) => source a b -> target (t (u a)) (t (u 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 2

Instances

Zippable List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs List :: Type -> Type

Methods

fasten :: List e -> Maybe > Zipper List e

unfasten :: Zipper List e -> Nonempty List e

Zippable Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Breadcrumbs Rose :: Type -> Type

Methods

fasten :: Rose e -> Maybe > Zipper Rose e

unfasten :: Zipper Rose e -> Nonempty Rose e

Zippable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Breadcrumbs Binary :: Type -> Type

Methods

fasten :: Binary e -> Maybe > Zipper Binary e

unfasten :: Zipper Binary e -> Nonempty Binary e

Stack List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Topping List :: Type -> Type

Methods

top :: ((Lens < Topping List) < List e) < e

pop :: (State < List e) < Topping List e

push :: e -> (State < List e) < e

(Monoidal (-->) (-->) (:*:) (:+:) t, Monoidal (-->) (-->) (:*:) (:+:) u) => Monoidal (-->) (-->) (:*:) (:+:) (t <:*:> u)

Defined in Pandora.Paradigm.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> (t <:*:> u) a

Semimonoidal (<--) (:*:) (:*:) t => Monoidal (<--) (-->) (:*:) (:*:) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (Exactly <:*:> t) a

(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)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (-->) (:*:) (:+:) t, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> (t <::> t') a

(Bindable ((->) :: Type -> Type -> Type) u, Monoidal (-->) (-->) (:*:) (:*:) u, Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t) => Monoidal (-->) (-->) (:*:) (:*:) ((t <:<.>:> t') >>>>>>>> u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> ((t <:<.>:> t') >>>>>>>> u) a

(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)

Defined in Pandora.Paradigm.Schemes.UT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t <.:> u) a

(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)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (-->) (:*:) (:*:) t', Monoidal (-->) (-->) (:*:) (:*:) t, Monoidal (-->) (-->) (:*:) (:*:) t') => Monoidal (-->) (-->) (:*:) (:*:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> (t <::> t') a

(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)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- ((t <:<.>:> t') >>>>>>>> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <.:> u)

Defined in Pandora.Paradigm.Schemes.UT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <.:> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) u) => Monoidal (<--) (-->) (:*:) (:*:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <:.> u) a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (<--) (-->) (:*:) (:*:) t, Monoidal (<--) (-->) (:*:) (:*:) t') => Monoidal (<--) (-->) (:*:) (:*:) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- (t <::> t') a

(Covariant m m t, Interpreted m (Turnover t)) => Covariant m m (Turnover t)

Defined in Pandora.Paradigm.Structure.Modification.Turnover

Methods

(<-|-) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|--) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|---) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|----) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|-----) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|------) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|-------) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|--------) :: m a b -> m (Turnover t a) (Turnover t b)

(<-|-|-) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|--) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|---) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (Turnover t)) => m a b -> m (Turnover t (u a)) (Turnover t (u b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u, Covariant (Betwixt (Betwixt m m) m) m (Turnover t)) => m a b -> m (Turnover t (u (v a))) (Turnover t (u (v b)))

(Semigroupoid m, Covariant m m u, Covariant m m t, Covariant m (Betwixt m m) t, Covariant (Betwixt m m) m u, Interpreted m (t <.:> u)) => Covariant m m (t <.:> u)

Defined in Pandora.Paradigm.Schemes.UT

Methods

(<-|-) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|--) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|---) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|----) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|-----) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|------) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|-------) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|--------) :: m a b -> m ((t <.:> u) a) ((t <.:> u) b)

(<-|-|-) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|--) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|---) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 a)) ((t <.:> u) (u0 b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u0, Covariant (Betwixt (Betwixt m m) m) m (t <.:> u)) => m a b -> m ((t <.:> u) (u0 (v a))) ((t <.:> u) (u0 (v b)))

(Semigroupoid m, Covariant m m t, 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)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

(<-|-) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|--) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|---) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|----) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|-----) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|------) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|-------) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|--------) :: m a b -> m (((t <:<.>:> t') >>>>>>>> u) a) (((t <:<.>:> t') >>>>>>>> u) b)

(<-|-|-) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|--) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|---) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 a)) (((t <:<.>:> t') >>>>>>>> u) (u0 b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u0, Covariant (Betwixt (Betwixt m m) m) m ((t <:<.>:> t') >>>>>>>> u)) => m a b -> m (((t <:<.>:> t') >>>>>>>> u) (u0 (v a))) (((t <:<.>:> t') >>>>>>>> u) (u0 (v b)))

(Semigroupoid m, Covariant m m t, Covariant (Betwixt m m) m t, Covariant m (Betwixt m m) u, Interpreted m (t <:.> u)) => Covariant m m (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(<-|-) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|--) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|---) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|----) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|-----) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|-------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|--------) :: m a b -> m ((t <:.> u) a) ((t <:.> u) b)

(<-|-|-) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|--) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|---) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u0, Covariant (Betwixt m m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 a)) ((t <:.> u) (u0 b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u0, Covariant (Betwixt (Betwixt m m) m) m (t <:.> u)) => m a b -> m ((t <:.> u) (u0 (v a))) ((t <:.> u) (u0 (v b)))

(Semigroupoid m, Covariant m m t, Covariant (Betwixt m m) m t, Covariant m (Betwixt m m) t', Interpreted m (t <::> t')) => Covariant m m (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

(<-|-) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|--) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|---) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|----) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|-----) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|------) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|-------) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|--------) :: m a b -> m ((t <::> t') a) ((t <::> t') b)

(<-|-|-) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|--) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|---) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|-----) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|-------) :: (Covariant m (Betwixt m m) u, Covariant (Betwixt m m) m (t <::> t')) => m a b -> m ((t <::> t') (u a)) ((t <::> t') (u b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m m)) v, Covariant (Betwixt m (Betwixt m m)) (Betwixt (Betwixt m m) m) u, Covariant (Betwixt (Betwixt m m) m) m (t <::> t')) => m a b -> m ((t <::> t') (u (v a))) ((t <::> t') (u (v b)))

Covariant m m t => Covariant m (Straight m) t

Defined in Pandora.Pattern.Morphism.Straight

Methods

(<-|-) :: m a b -> Straight m (t a) (t b)

(<-|--) :: m a b -> Straight m (t a) (t b)

(<-|---) :: m a b -> Straight m (t a) (t b)

(<-|----) :: m a b -> Straight m (t a) (t b)

(<-|-----) :: m a b -> Straight m (t a) (t b)

(<-|------) :: m a b -> Straight m (t a) (t b)

(<-|-------) :: m a b -> Straight m (t a) (t b)

(<-|--------) :: m a b -> Straight m (t a) (t b)

(<-|-|-) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|--) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|---) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|----) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-----) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|------) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant m (Betwixt m (Straight m)) u, Covariant (Betwixt m (Straight m)) (Straight m) t) => m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-|-) :: (Covariant m (Betwixt m (Betwixt m (Straight m))) v, Covariant (Betwixt m (Betwixt m (Straight m))) (Betwixt (Betwixt m (Straight m)) (Straight m)) u, Covariant (Betwixt (Betwixt m (Straight m)) (Straight m)) (Straight m) t) => m a b -> Straight m (t (u (v a))) (t (u (v b)))

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Substructured i t Maybe) => Substructure (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance (i 'Branch) (Maybe <::> Construction t) :: Type -> Type

Methods

substructure :: (Tagged (i 'Branch) <:.> (Maybe <::> Construction t)) @>>> Substance (i 'Branch) (Maybe <::> Construction t)

sub :: (Maybe <::> Construction t) @>>> Substance (i 'Branch) (Maybe <::> Construction t)

Semigroup (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: List a -> List a -> List a

Monoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

zero :: List a

Setoid a => Setoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(==) :: List a -> List a -> Boolean

(!=) :: List a -> List a -> Boolean

(?=) :: List a -> List a -> r -> r -> r

Covariant m m t => Covariant (Straight m) m t

Defined in Pandora.Pattern.Morphism.Straight

Methods

(<-|-) :: Straight m a b -> m (t a) (t b)

(<-|--) :: Straight m a b -> m (t a) (t b)

(<-|---) :: Straight m a b -> m (t a) (t b)

(<-|----) :: Straight m a b -> m (t a) (t b)

(<-|-----) :: Straight m a b -> m (t a) (t b)

(<-|------) :: Straight m a b -> m (t a) (t b)

(<-|-------) :: Straight m a b -> m (t a) (t b)

(<-|--------) :: Straight m a b -> m (t a) (t b)

(<-|-|-) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|--) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|---) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|----) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|-----) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|------) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant (Straight m) (Betwixt (Straight m) m) u, Covariant (Betwixt (Straight m) m) m t) => Straight m a b -> m (t (u a)) (t (u b))

(<-|-|-|-) :: (Covariant (Straight m) (Betwixt (Straight m) (Betwixt (Straight m) m)) v, Covariant (Betwixt (Straight m) (Betwixt (Straight m) m)) (Betwixt (Betwixt (Straight m) m) m) u, Covariant (Betwixt (Betwixt (Straight m) m) m) m t) => Straight m a b -> m (t (u (v a))) (t (u (v b)))

Semimonoidal (-->) (:*:) (:*:) t => Semimonoidal (-->) (:*:) (:*:) (Tap ((t <:.:> t) >>>>>> (:*:)) :: Type -> Type)

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)

(Semimonoidal (-->) (:*:) (:+:) t, Semimonoidal (-->) (:*:) (:+:) u) => Semimonoidal (-->) (:*:) (:+:) (t <:*:> u :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((t <:*:> u) a :*: (t <:*:> u) b) --> (t <:*:> u) (a :+: b)

(Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <:*:> u :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((t <:*:> u) a :*: (t <:*:> u) b) --> (t <:*:> u) (a :*: b)

(Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:*:> u :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic

Methods

mult :: forall (a :: k) (b :: k). ((t <:*:> u) a :*: (t <:*:> u) b) <-- (t <:*:> u) (a :*: b)

Semimonoidal (<--) (:*:) (:*:) t => Semimonoidal (<--) (:*:) (:*:) (Exactly <:*:> t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Interface.Zipper

Methods

mult :: forall (a :: k) (b :: k). ((Exactly <:*:> t) a :*: (Exactly <:*:> t) b) <-- (Exactly <:*:> t) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:+:) u) => Semimonoidal (-->) (:*:) (:+:) ((((->) s :: Type -> Type) <:<.>:> (:*:) s) >>>>>>>> u :: Type -> Type)

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)

(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)

Defined in Pandora.Paradigm.Schemes.UT

Methods

mult :: forall (a :: k) (b :: k). ((t <.:> u) a :*: (t <.:> u) b) --> (t <.:> u) (a :+: b)

(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)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) --> (t <:.> u) (a :+: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Semimonoidal (-->) (:*:) (:+:) t) => Semimonoidal (-->) (:*:) (:+:) (t <::> t' :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

mult :: forall (a :: k) (b :: k). ((t <::> t') a :*: (t <::> t') b) --> (t <::> t') (a :+: b)

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Bindable ((->) :: Type -> Type -> Type) u) => Semimonoidal (-->) (:*:) (:*:) ((t <:<.>:> t') >>>>>>>> u :: Type -> Type)

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)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <.:> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.UT

Methods

mult :: forall (a :: k) (b :: k). ((t <.:> u) a :*: (t <.:> u) b) --> (t <.:> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => Semimonoidal (-->) (:*:) (:*:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) --> (t <:.> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) t') => Semimonoidal (-->) (:*:) (:*:) (t <::> t' :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

mult :: forall (a :: k) (b :: k). ((t <::> t') a :*: (t <::> t') b) --> (t <::> t') (a :*: b)

(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)

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)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <.:> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.UT

Methods

mult :: forall (a :: k) (b :: k). ((t <.:> u) a :*: (t <.:> u) b) <-- (t <.:> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) u) => Semimonoidal (<--) (:*:) (:*:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

mult :: forall (a :: k) (b :: k). ((t <:.> u) a :*: (t <:.> u) b) <-- (t <:.> u) (a :*: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (<--) (:*:) (:*:) t, Semimonoidal (<--) (:*:) (:*:) t') => Semimonoidal (<--) (:*:) (:*:) (t <::> t' :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

mult :: forall (a :: k) (b :: k). ((t <::> t') a :*: (t <::> t') b) <-- (t <::> t') (a :*: b)

(Monoidal (-->) (-->) (:*:) (:*:) u, Bindable ((->) :: Type -> Type -> Type) u) => Catchable e (Conclusion e <.:> u :: Type -> Type)

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

Covariant m m t => Covariant (Straight m) (Straight m) t

Defined in Pandora.Pattern.Morphism.Straight

Methods

(<-|-) :: Straight m a b -> Straight m (t a) (t b)

(<-|--) :: Straight m a b -> Straight m (t a) (t b)

(<-|---) :: Straight m a b -> Straight m (t a) (t b)

(<-|----) :: Straight m a b -> Straight m (t a) (t b)

(<-|-----) :: Straight m a b -> Straight m (t a) (t b)

(<-|------) :: Straight m a b -> Straight m (t a) (t b)

(<-|-------) :: Straight m a b -> Straight m (t a) (t b)

(<-|--------) :: Straight m a b -> Straight m (t a) (t b)

(<-|-|-) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|--) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|---) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|----) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-----) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|------) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant (Straight m) (Betwixt (Straight m) (Straight m)) u, Covariant (Betwixt (Straight m) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u a)) (t (u b))

(<-|-|-|-) :: (Covariant (Straight m) (Betwixt (Straight m) (Betwixt (Straight m) (Straight m))) v, Covariant (Betwixt (Straight m) (Betwixt (Straight m) (Straight m))) (Betwixt (Betwixt (Straight m) (Straight m)) (Straight m)) u, Covariant (Betwixt (Betwixt (Straight m) (Straight m)) (Straight m)) (Straight m) t) => Straight m a b -> Straight m (t (u (v a))) (t (u (v b)))

(Category m, Covariant m m t) => Covariant (Flip m) (Flip m) t

Defined in Pandora.Pattern.Morphism.Flip

Methods

(<-|-) :: Flip m a b -> Flip m (t a) (t b)

(<-|--) :: Flip m a b -> Flip m (t a) (t b)

(<-|---) :: Flip m a b -> Flip m (t a) (t b)

(<-|----) :: Flip m a b -> Flip m (t a) (t b)

(<-|-----) :: Flip m a b -> Flip m (t a) (t b)

(<-|------) :: Flip m a b -> Flip m (t a) (t b)

(<-|-------) :: Flip m a b -> Flip m (t a) (t b)

(<-|--------) :: Flip m a b -> Flip m (t a) (t b)

(<-|-|-) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|--) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|---) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|----) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-----) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|------) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-------) :: (Covariant (Flip m) (Betwixt (Flip m) (Flip m)) u, Covariant (Betwixt (Flip m) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u a)) (t (u b))

(<-|-|-|-) :: (Covariant (Flip m) (Betwixt (Flip m) (Betwixt (Flip m) (Flip m))) v, Covariant (Betwixt (Flip m) (Betwixt (Flip m) (Flip m))) (Betwixt (Betwixt (Flip m) (Flip m)) (Flip m)) u, Covariant (Betwixt (Betwixt (Flip m) (Flip m)) (Flip m)) (Flip m) t) => Flip m a b -> Flip m (t (u (v a))) (t (u (v b)))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Arguments (Tape t a) = (args :: Type)

Methods

imply :: Arguments (Tape t a)

Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'All) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'All) <::> List) ~> Morphing ('Delete 'All) List

Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'First) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'First) <::> List) ~> Morphing ('Delete 'First) List

Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Find 'Element) List :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <::> List) ~> Morphing ('Find 'Element) List

Morphable ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into List) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r)

Morphable ('Into List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe)

Morphable ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Tape List) ~> Morphing ('Into List) (Tape List)

Morphable ('Into Binary) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe))

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> Tape Stream) ~> Morphing ('Rotate 'Right) (Tape Stream)

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> Tape Stream) ~> Morphing ('Rotate 'Left) (Tape Stream)

Slidable ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

slide :: ((State < Construction (Maybe <:*:> Maybe) e) :> Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe))) >>> ()

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key)

Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k)

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k)

Morphable ('Into Wye) (Maybe <:*:> Maybe)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into Wye) (Maybe <:*:> Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into Wye) <::> (Maybe <:*:> Maybe)) ~> Morphing ('Into Wye) (Maybe <:*:> Maybe)

Substructure ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Right 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Right 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Left 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Left 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Forest) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Forest) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged ('Focused 'Tree) <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance ('Focused 'Tree) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Slidable ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Slidable ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Morphable ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> (Tape > Construction Maybe)) ~> Morphing ('Into List) (Tape > Construction Maybe)

Morphable ('Into List) (Construction Maybe <::> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Construction Maybe <::> Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> (Construction Maybe <::> Maybe)) ~> Morphing ('Into List) (Construction Maybe <::> Maybe)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction Maybe) < key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) ((Prefixed < Construction Maybe) < key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> ((Prefixed < Construction Maybe) < key)) ~> Morphing ('Lookup 'Key) ((Prefixed < Construction Maybe) < key)

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tape > Construction Maybe)

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Tape > Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tape > Construction Maybe)

Morphable ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Right) (Turnover < Tape List)

Morphable ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) (Turnover < Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> (Turnover < Tape List)) ~> Morphing ('Rotate 'Left) (Turnover < Tape List)

Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)) ~> Morphing ('Lookup 'Key) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance ('All 'Right) (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged ('All 'Right) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Right) (Tape t <::> Tape t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance ('All 'Left) (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged ('All 'Left) <:.> (Tape t <::> Tape t)) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance ('All 'Left) (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Hoistable ((->) :: Type -> Type -> Type) (TT Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

(/|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). TT Covariant Covariant t u a -> TT Covariant Covariant t v a

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) List :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> List) ~> Morphing ('Into > Tape List) List

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Right 'Zig) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Right 'Zig) <::> Binary) ~> Morphing ('Rotate > 'Right 'Zig) Binary

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Left 'Zig) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Left 'Zig) <::> Binary) ~> Morphing ('Rotate > 'Left 'Zig) Binary

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zag)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zag)) <::> Binary) ~> Morphing ('Rotate > ('Right > 'Zig 'Zag)) Binary

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zag)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zag)) <::> Binary) ~> Morphing ('Rotate > ('Left > 'Zig 'Zag)) Binary

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zig)) <::> Binary) ~> Morphing ('Rotate > ('Right > 'Zig 'Zig)) Binary

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zig)) <::> Binary) ~> Morphing ('Rotate > ('Left > 'Zig 'Zig)) Binary

Slidable (('Right :: (a -> Splay a) -> Horizontal (a -> Splay a)) > ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Sliding ('Right > 'Zig) Binary :: Type -> Type

Methods

slide :: ((State < Binary e) :> Sliding ('Right > 'Zig) Binary) >>> ()

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Comprehension Maybe) (Tape List) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Comprehension Maybe) <::> Tape List) ~> Morphing ('Into > Comprehension Maybe) (Tape List)

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Tape List) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Tape List) <::> Construction Maybe) ~> Morphing ('Into > Tape List) (Construction Maybe)

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Right 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Right 'Zig) (Construction (Maybe <:*:> Maybe))

Morphable (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > 'Left 'Zig) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > 'Left 'Zig) (Construction (Maybe <:*:> Maybe))

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe))

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zag)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zag)) (Construction (Maybe <:*:> Maybe))

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Right > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Right > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe))

Morphable (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate > ('Left > 'Zig 'Zig)) <::> Construction (Maybe <:*:> Maybe)) ~> Morphing ('Rotate > ('Left > 'Zig 'Zig)) (Construction (Maybe <:*:> Maybe))

Morphable (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into > Construction Maybe) (Tape > Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into > Construction Maybe) <::> (Tape > Construction Maybe)) ~> Morphing ('Into > Construction Maybe) (Tape > Construction Maybe)

Extendable ((->) :: Type -> Type -> Type) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

Methods

(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

(<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b

Morphable ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Pop List :: Type -> Type

Methods

morphing :: (Tagged 'Pop <::> List) ~> Morphing 'Pop List

Morphable ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Push List :: Type -> Type

Methods

morphing :: (Tagged 'Push <::> List) ~> Morphing 'Push List

Substructure ('Rest :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Rest List :: Type -> Type

Methods

substructure :: (Tagged 'Rest <:.> List) @>>> Substance 'Rest List

sub :: List @>>> Substance 'Rest List

Substructure ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substance 'Root List :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> List) @>>> Substance 'Root List

sub :: List @>>> Substance 'Root List

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Stack structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure)) => Slidable ('Left :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Left (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Left (Tape structure)) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure), Stack structure) => Slidable ('Right :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Right (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Right (Tape structure)) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Substructure ('Right :: a -> Horizontal a) (t <:*:> u)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Right (t <:*:> u) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> (t <:*:> u)) @>>> Substance 'Right (t <:*:> u)

sub :: (t <:*:> u) @>>> Substance 'Right (t <:*:> u)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u) => Substructure ('Left :: a -> Horizontal a) (t <:*:> u)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Left (t <:*:> u) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> (t <:*:> u)) @>>> Substance 'Left (t <:*:> u)

sub :: (t <:*:> u) @>>> Substance 'Left (t <:*:> u)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Rest (Exactly <:*:> t) :: Type -> Type

Methods

substructure :: (Tagged 'Rest <:.> (Exactly <:*:> t)) @>>> Substance 'Rest (Exactly <:*:> t)

sub :: (Exactly <:*:> t) @>>> Substance 'Rest (Exactly <:*:> t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substance 'Root (Exactly <:*:> t) :: Type -> Type

Methods

substructure :: (Tagged 'Root <:.> (Exactly <:*:> t)) @>>> Substance 'Root (Exactly <:*:> t)

sub :: (Exactly <:*:> t) @>>> Substance 'Root (Exactly <:*:> t)

Substructure ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Siblings <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Siblings (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Children <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Children (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

sub :: (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) @>>> Substance 'Ancestors (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Substructure ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged 'Ancestors <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Ancestors (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Substructure ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

substructure :: (Tagged 'Children <:.> (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

sub :: (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) @>>> Substance 'Children (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Slidable ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance 'Down (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged 'Down <:.> (Tape t <::> Tape t)) @>>> Substance 'Down (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance 'Down (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Substance 'Up (Tape t <::> Tape t) :: Type -> Type

Methods

substructure :: (Tagged 'Up <:.> (Tape t <::> Tape t)) @>>> Substance 'Up (Tape t <::> Tape t)

sub :: (Tape t <::> Tape t) @>>> Substance 'Up (Tape t <::> Tape t)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Horizontal

Defined in Pandora.Paradigm.Primary.Auxiliary

Methods

(<-|-) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|--) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|---) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|----) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|-----) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|------) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|-------) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|--------) :: (a -> b) -> Horizontal a -> Horizontal b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u a) -> Horizontal (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Horizontal) => (a -> b) -> Horizontal (u (v a)) -> Horizontal (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Vertical

Defined in Pandora.Paradigm.Primary.Auxiliary

Methods

(<-|-) :: (a -> b) -> Vertical a -> Vertical b

(<-|--) :: (a -> b) -> Vertical a -> Vertical b

(<-|---) :: (a -> b) -> Vertical a -> Vertical b

(<-|----) :: (a -> b) -> Vertical a -> Vertical b

(<-|-----) :: (a -> b) -> Vertical a -> Vertical b

(<-|------) :: (a -> b) -> Vertical a -> Vertical b

(<-|-------) :: (a -> b) -> Vertical a -> Vertical b

(<-|--------) :: (a -> b) -> Vertical a -> Vertical b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Vertical) => (a -> b) -> Vertical (u a) -> Vertical (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Vertical) => (a -> b) -> Vertical (u (v a)) -> Vertical (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Wye

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(<-|-) :: (a -> b) -> Wye a -> Wye b

(<-|--) :: (a -> b) -> Wye a -> Wye b

(<-|---) :: (a -> b) -> Wye a -> Wye b

(<-|----) :: (a -> b) -> Wye a -> Wye b

(<-|-----) :: (a -> b) -> Wye a -> Wye b

(<-|------) :: (a -> b) -> Wye a -> Wye b

(<-|-------) :: (a -> b) -> Wye a -> Wye b

(<-|--------) :: (a -> b) -> Wye a -> Wye b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Wye) => (a -> b) -> Wye (u a) -> Wye (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Wye) => (a -> b) -> Wye (u (v a)) -> Wye (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Exactly

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

(<-|-) :: (a -> b) -> Exactly a -> Exactly b

(<-|--) :: (a -> b) -> Exactly a -> Exactly b

(<-|---) :: (a -> b) -> Exactly a -> Exactly b

(<-|----) :: (a -> b) -> Exactly a -> Exactly b

(<-|-----) :: (a -> b) -> Exactly a -> Exactly b

(<-|------) :: (a -> b) -> Exactly a -> Exactly b

(<-|-------) :: (a -> b) -> Exactly a -> Exactly b

(<-|--------) :: (a -> b) -> Exactly a -> Exactly b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Exactly) => (a -> b) -> Exactly (u a) -> Exactly (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Exactly) => (a -> b) -> Exactly (u (v a)) -> Exactly (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Edges

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

(<-|-) :: (a -> b) -> Edges a -> Edges b

(<-|--) :: (a -> b) -> Edges a -> Edges b

(<-|---) :: (a -> b) -> Edges a -> Edges b

(<-|----) :: (a -> b) -> Edges a -> Edges b

(<-|-----) :: (a -> b) -> Edges a -> Edges b

(<-|------) :: (a -> b) -> Edges a -> Edges b

(<-|-------) :: (a -> b) -> Edges a -> Edges b

(<-|--------) :: (a -> b) -> Edges a -> Edges b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Edges) => (a -> b) -> Edges (u (v a)) -> Edges (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(<-|-) :: (a -> b) -> Maybe a -> Maybe b

(<-|--) :: (a -> b) -> Maybe a -> Maybe b

(<-|---) :: (a -> b) -> Maybe a -> Maybe b

(<-|----) :: (a -> b) -> Maybe a -> Maybe b

(<-|-----) :: (a -> b) -> Maybe a -> Maybe b

(<-|------) :: (a -> b) -> Maybe a -> Maybe b

(<-|-------) :: (a -> b) -> Maybe a -> Maybe b

(<-|--------) :: (a -> b) -> Maybe a -> Maybe b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Maybe) => (a -> b) -> Maybe (u a) -> Maybe (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Maybe) => (a -> b) -> Maybe (u (v a)) -> Maybe (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((-->) b)

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

(<-|-) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|--) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|---) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|----) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|-----) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|------) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|-------) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|--------) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u (v a)) -> (b --> u (v b0))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(<-|-) :: (a -> b) -> Proxy a -> Proxy b

(<-|--) :: (a -> b) -> Proxy a -> Proxy b

(<-|---) :: (a -> b) -> Proxy a -> Proxy b

(<-|----) :: (a -> b) -> Proxy a -> Proxy b

(<-|-----) :: (a -> b) -> Proxy a -> Proxy b

(<-|------) :: (a -> b) -> Proxy a -> Proxy b

(<-|-------) :: (a -> b) -> Proxy a -> Proxy b

(<-|--------) :: (a -> b) -> Proxy a -> Proxy b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Proxy) => (a -> b) -> Proxy (u (v a)) -> Proxy (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

(<-|-) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|--) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|---) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|----) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-----) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|--------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u (v a)) -> Yoneda t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

(<-|-) :: (a -> b) -> Outline t a -> Outline t b

(<-|--) :: (a -> b) -> Outline t a -> Outline t b

(<-|---) :: (a -> b) -> Outline t a -> Outline t b

(<-|----) :: (a -> b) -> Outline t a -> Outline t b

(<-|-----) :: (a -> b) -> Outline t a -> Outline t b

(<-|------) :: (a -> b) -> Outline t a -> Outline t b

(<-|-------) :: (a -> b) -> Outline t a -> Outline t b

(<-|--------) :: (a -> b) -> Outline t a -> Outline t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u a) -> Outline t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Outline t)) => (a -> b) -> Outline t (u (v a)) -> Outline t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:+:) o)

Defined in Pandora.Paradigm.Algebraic.Sum

Methods

(<-|-) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|--) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|---) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|----) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|-----) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|------) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|-------) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|--------) :: (a -> b) -> (o :+: a) -> (o :+: b)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u a) -> (o :+: u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((:+:) o)) => (a -> b) -> (o :+: u (v a)) -> (o :+: u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:*:) s)

Defined in Pandora.Paradigm.Algebraic.Product

Methods

(<-|-) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|--) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|---) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|----) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|-----) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|------) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|-------) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|--------) :: (a -> b) -> (s :*: a) -> (s :*: b)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u a) -> (s :*: u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((:*:) s)) => (a -> b) -> (s :*: u (v a)) -> (s :*: u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jet t)

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

(<-|-) :: (a -> b) -> Jet t a -> Jet t b

(<-|--) :: (a -> b) -> Jet t a -> Jet t b

(<-|---) :: (a -> b) -> Jet t a -> Jet t b

(<-|----) :: (a -> b) -> Jet t a -> Jet t b

(<-|-----) :: (a -> b) -> Jet t a -> Jet t b

(<-|------) :: (a -> b) -> Jet t a -> Jet t b

(<-|-------) :: (a -> b) -> Jet t a -> Jet t b

(<-|--------) :: (a -> b) -> Jet t a -> Jet t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u (v a)) -> Jet t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

(<-|-) :: (a -> b) -> Jack t a -> Jack t b

(<-|--) :: (a -> b) -> Jack t a -> Jack t b

(<-|---) :: (a -> b) -> Jack t a -> Jack t b

(<-|----) :: (a -> b) -> Jack t a -> Jack t b

(<-|-----) :: (a -> b) -> Jack t a -> Jack t b

(<-|------) :: (a -> b) -> Jack t a -> Jack t b

(<-|-------) :: (a -> b) -> Jack t a -> Jack t b

(<-|--------) :: (a -> b) -> Jack t a -> Jack t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u (v a)) -> Jack t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Wedge e)

Defined in Pandora.Paradigm.Primary.Functor.Wedge

Methods

(<-|-) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|--) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|---) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|----) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|-----) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|------) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|-------) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|--------) :: (a -> b) -> Wedge e a -> Wedge e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u (v a)) -> Wedge e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Validation e)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<-|-) :: (a -> b) -> Validation e a -> Validation e b

(<-|--) :: (a -> b) -> Validation e a -> Validation e b

(<-|---) :: (a -> b) -> Validation e a -> Validation e b

(<-|----) :: (a -> b) -> Validation e a -> Validation e b

(<-|-----) :: (a -> b) -> Validation e a -> Validation e b

(<-|------) :: (a -> b) -> Validation e a -> Validation e b

(<-|-------) :: (a -> b) -> Validation e a -> Validation e b

(<-|--------) :: (a -> b) -> Validation e a -> Validation e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u a) -> Validation e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Validation e)) => (a -> b) -> Validation e (u (v a)) -> Validation e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (These e)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

(<-|-) :: (a -> b) -> These e a -> These e b

(<-|--) :: (a -> b) -> These e a -> These e b

(<-|---) :: (a -> b) -> These e a -> These e b

(<-|----) :: (a -> b) -> These e a -> These e b

(<-|-----) :: (a -> b) -> These e a -> These e b

(<-|------) :: (a -> b) -> These e a -> These e b

(<-|-------) :: (a -> b) -> These e a -> These e b

(<-|--------) :: (a -> b) -> These e a -> These e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (These e)) => (a -> b) -> These e (u a) -> These e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (These e)) => (a -> b) -> These e (u (v a)) -> These e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

(<-|-) :: (a -> b) -> Tap t a -> Tap t b

(<-|--) :: (a -> b) -> Tap t a -> Tap t b

(<-|---) :: (a -> b) -> Tap t a -> Tap t b

(<-|----) :: (a -> b) -> Tap t a -> Tap t b

(<-|-----) :: (a -> b) -> Tap t a -> Tap t b

(<-|------) :: (a -> b) -> Tap t a -> Tap t b

(<-|-------) :: (a -> b) -> Tap t a -> Tap t b

(<-|--------) :: (a -> b) -> Tap t a -> Tap t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u a) -> Tap t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Tap t)) => (a -> b) -> Tap t (u (v a)) -> Tap t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

(<-|-) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|--) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|---) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|----) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|-----) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|------) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|-------) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|--------) :: (a -> b) -> Instruction t a -> Instruction t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u a) -> Instruction t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Instruction t)) => (a -> b) -> Instruction t (u (v a)) -> Instruction t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

(<-|-) :: (a -> b) -> Construction t a -> Construction t b

(<-|--) :: (a -> b) -> Construction t a -> Construction t b

(<-|---) :: (a -> b) -> Construction t a -> Construction t b

(<-|----) :: (a -> b) -> Construction t a -> Construction t b

(<-|-----) :: (a -> b) -> Construction t a -> Construction t b

(<-|------) :: (a -> b) -> Construction t a -> Construction t b

(<-|-------) :: (a -> b) -> Construction t a -> Construction t b

(<-|--------) :: (a -> b) -> Construction t a -> Construction t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u a) -> Construction t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Construction t)) => (a -> b) -> Construction t (u (v a)) -> Construction t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<-|-) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|--) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|---) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|----) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|-----) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|------) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|-------) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|--------) :: (a -> b) -> Conclusion e a -> Conclusion e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u a) -> Conclusion e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Conclusion e)) => (a -> b) -> Conclusion e (u (v a)) -> Conclusion e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <::> Construction t) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(<-|-) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|--) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|---) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|----) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|-----) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|------) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|-------) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|--------) :: (a -> b) -> Comprehension t a -> Comprehension t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u a) -> Comprehension t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Comprehension t)) => (a -> b) -> Comprehension t (u (v a)) -> Comprehension t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

(<-|-) :: (a -> b) -> Store s a -> Store s b

(<-|--) :: (a -> b) -> Store s a -> Store s b

(<-|---) :: (a -> b) -> Store s a -> Store s b

(<-|----) :: (a -> b) -> Store s a -> Store s b

(<-|-----) :: (a -> b) -> Store s a -> Store s b

(<-|------) :: (a -> b) -> Store s a -> Store s b

(<-|-------) :: (a -> b) -> Store s a -> Store s b

(<-|--------) :: (a -> b) -> Store s a -> Store s b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Store s)) => (a -> b) -> Store s (u (v a)) -> Store s (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

(<-|-) :: (a -> b) -> State s a -> State s b

(<-|--) :: (a -> b) -> State s a -> State s b

(<-|---) :: (a -> b) -> State s a -> State s b

(<-|----) :: (a -> b) -> State s a -> State s b

(<-|-----) :: (a -> b) -> State s a -> State s b

(<-|------) :: (a -> b) -> State s a -> State s b

(<-|-------) :: (a -> b) -> State s a -> State s b

(<-|--------) :: (a -> b) -> State s a -> State s b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (State s)) => (a -> b) -> State s (u (v a)) -> State s (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Provision e)

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

(<-|-) :: (a -> b) -> Provision e a -> Provision e b

(<-|--) :: (a -> b) -> Provision e a -> Provision e b

(<-|---) :: (a -> b) -> Provision e a -> Provision e b

(<-|----) :: (a -> b) -> Provision e a -> Provision e b

(<-|-----) :: (a -> b) -> Provision e a -> Provision e b

(<-|------) :: (a -> b) -> Provision e a -> Provision e b

(<-|-------) :: (a -> b) -> Provision e a -> Provision e b

(<-|--------) :: (a -> b) -> Provision e a -> Provision e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u a) -> Provision e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Provision e)) => (a -> b) -> Provision e (u (v a)) -> Provision e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

(<-|-) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|--) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|---) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|----) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|-----) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|------) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|-------) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|--------) :: (a -> b) -> Imprint e a -> Imprint e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u (v a)) -> Imprint e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

(<-|-) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|--) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|---) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|----) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|-----) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|------) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|-------) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|--------) :: (a -> b) -> Equipment e a -> Equipment e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u a) -> Equipment e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Equipment e)) => (a -> b) -> Equipment e (u (v a)) -> Equipment e (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

(<-|-) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|--) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|---) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|----) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|-----) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|------) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|-------) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|--------) :: (a -> b) -> Accumulator e a -> Accumulator e b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u (v a)) -> Accumulator e (u (v b))

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Tape List a -> u (Tape List b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<-|-) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|--) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|---) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|--------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u (v a)) -> Flip Constant b (u (v b0))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:+:) a)

Defined in Pandora.Paradigm.Algebraic.Sum

Methods

(<-|-) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|--) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|---) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|----) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-----) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|--------) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u a0) -> Flip (:+:) a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip (:+:) a)) => (a0 -> b) -> Flip (:+:) a (u (v a0)) -> Flip (:+:) a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) a)

Defined in Pandora.Paradigm.Algebraic.Product

Methods

(<-|-) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|--) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|---) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|----) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-----) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|--------) :: (a0 -> b) -> Flip (:*:) a a0 -> Flip (:*:) a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u a0) -> Flip (:*:) a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip (:*:) a)) => (a0 -> b) -> Flip (:*:) a (u (v a0)) -> Flip (:*:) a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Validation a)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

(<-|-) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|--) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|---) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|----) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-----) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|--------) :: (a0 -> b) -> Flip Validation a a0 -> Flip Validation a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u a0) -> Flip Validation a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Validation a)) => (a0 -> b) -> Flip Validation a (u (v a0)) -> Flip Validation a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<-|-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|--) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|---) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-----) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|--------) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u (v a0)) -> Flip Tagged a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Conclusion a)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

(<-|-) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|--) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|---) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|----) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-----) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|--------) :: (a0 -> b) -> Flip Conclusion a a0 -> Flip Conclusion a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u a0) -> Flip Conclusion a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Conclusion a)) => (a0 -> b) -> Flip Conclusion a (u (v a0)) -> Flip Conclusion a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

(<-|-) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|--) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|---) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|----) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|-----) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|------) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|-------) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|--------) :: (a0 -> b) -> Constant a a0 -> Constant a b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u (v a0)) -> Constant a (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

(<-|-) :: (a -> b) -> Day t u a -> Day t u b

(<-|--) :: (a -> b) -> Day t u a -> Day t u b

(<-|---) :: (a -> b) -> Day t u a -> Day t u b

(<-|----) :: (a -> b) -> Day t u a -> Day t u b

(<-|-----) :: (a -> b) -> Day t u a -> Day t u b

(<-|------) :: (a -> b) -> Day t u a -> Day t u b

(<-|-------) :: (a -> b) -> Day t u a -> Day t u b

(<-|--------) :: (a -> b) -> Day t u a -> Day t u b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 (v a)) -> Day t u (u0 (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<-|-) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|--) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|---) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|----) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|-----) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|------) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|-------) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|--------) :: (a -> b) -> Tagged tag a -> Tagged tag b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u (v a)) -> Tagged tag (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Monad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :> u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

(<-|-) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|--) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|---) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|----) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-----) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|--------) :: (a -> b) -> (t :> u) a -> (t :> u) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 a) -> (t :> u) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (t :> u)) => (a -> b) -> (t :> u) (u0 (v a)) -> (t :> u) (u0 (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(<-|-) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|--) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|---) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|----) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|-----) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|------) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|-------) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|--------) :: (a -> b) -> Backwards t a -> Backwards t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u a) -> Backwards t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Backwards t)) => (a -> b) -> Backwards t (u (v a)) -> Backwards t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

(<-|-) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|--) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|---) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|----) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|-----) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|------) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|-------) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|--------) :: (a -> b) -> Reverse t a -> Reverse t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u (v a)) -> Reverse t (u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Schematic Comonad t u) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t :< u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Methods

(<-|-) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|--) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|---) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|----) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-----) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|--------) :: (a -> b) -> (t :< u) a -> (t :< u) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 a) -> (t :< u) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (t :< u)) => (a -> b) -> (t :< u) (u0 (v a)) -> (t :< u) (u0 (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) a :: Type -> Type)

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

(<-|-) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|--) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|---) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|----) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|-----) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|------) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|-------) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|--------) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u (v a0)) -> (a -> u (v b))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

(<-|-) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|--) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|---) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|----) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|-----) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|------) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|-------) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|--------) :: (a -> b) -> Continuation r t a -> Continuation r t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u a) -> Continuation r t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Continuation r t)) => (a -> b) -> Continuation r t (u (v a)) -> Continuation r t (u (v b))

(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)

Defined in Pandora.Paradigm.Algebraic

Methods

(<-/-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(<-/--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:*:> u) a -> u0 ((t <:*:> u) b)

(Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, forall a. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p (t a)), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, forall b. Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip p (u b))) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((t >:.:> u) >>>>>> p)

Defined in Pandora.Paradigm.Schemes.T_U

Methods

(<-|-) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|--) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|---) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|----) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|-----) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|------) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|-------) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|--------) :: (a -> b) -> ((t >:.:> u) >>>>>> p) a -> ((t >:.:> u) >>>>>> p) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 a) -> ((t >:.:> u) >>>>>> p) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((t >:.:> u) >>>>>> p)) => (a -> b) -> ((t >:.:> u) >>>>>> p) (u0 (v a)) -> ((t >:.:> u) >>>>>> p) (u0 (v b))

(forall i. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (p i), forall o. Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip p o), 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)

Defined in Pandora.Paradigm.Schemes.T_U

Methods

(<-|-) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|--) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|---) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|----) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|-----) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|------) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|-------) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|--------) :: (a -> b) -> ((t <:.:> u) >>>>>> p) a -> ((t <:.:> u) >>>>>> p) b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 a) -> ((t <:.:> u) >>>>>> p) (u0 b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((t <:.:> u) >>>>>> p)) => (a -> b) -> ((t <:.:> u) >>>>>> p) (u0 (v a)) -> ((t <:.:> u) >>>>>> p) (u0 (v b))

(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)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(<-/-) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/-------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/------) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/-----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/----) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/---) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(<-/--) :: (Covariant (->) (->) u0, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u0) => (a -> u0 b) -> (t <:.> u) a -> u0 ((t <:.> u) b)

(Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t') => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

(<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> (t <::> t') a -> u ((t <::> t') b)

(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)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(|-) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|--------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|-------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|------) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|-----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|----) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|---) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(|--) :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

(--------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(-------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(------|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(-----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(----|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(---|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(--|) :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

(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)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(|-) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|--------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|-------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|------) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|-----) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|----) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|---) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(|--) :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

(--------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(-------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(------|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(-----|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(----|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(---|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(--|) :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

(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)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(|-) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|--------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|-------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|------) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|-----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|----) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|---) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(|--) :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

(--------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(-------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(------|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(-----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(----|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(---|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(--|) :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

(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)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(|-) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|--------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|-------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|------) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|-----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|----) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|---) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(|--) :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

(--------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(-------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(------|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(-----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(----|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(---|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

(--|) :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Kan ('Right :: Type -> Horizontal Type) t u b)

Defined in Pandora.Paradigm.Primary.Transformer.Kan

Methods

(<-|-) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|--) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|---) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|----) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|-----) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|------) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|-------) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|--------) :: (a -> b0) -> Kan 'Right t u b a -> Kan 'Right t u b b0

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 a) -> Kan 'Right t u b (u0 b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Kan 'Right t u b)) => (a -> b0) -> Kan 'Right t u b (u0 (v a)) -> Kan 'Right t u b (u0 (v b0))

(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')

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(|-) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|--------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|-------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|------) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|-----) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|----) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|---) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(|--) :: (a -> (v <:<.>:> w) v' b) -> (t <:<.>:> u) t' a -> b

(--------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(-------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(------|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(-----|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(----|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(---|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(--|) :: ((t <:<.>:> u) t' a -> b) -> a -> (v <:<.>:> w) v' b

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) ((t' <:<.>:> t) >>>>>>>> u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

(<<=) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<==) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<===) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<====) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<=====) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<======) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<=======) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(<<========) :: (((t' <:<.>:> t) >>>>>>>> u) a -> b) -> ((t' <:<.>:> t) >>>>>>>> u) a -> ((t' <:<.>:> t) >>>>>>>> u) b

(Semigroup e, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (((->) e :: Type -> Type) <.:> u)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

(<<=) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<==) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<===) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<====) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<=====) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<======) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<=======) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

(<<========) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

Extendable ((->) :: Type -> Type -> Type) u => Extendable ((->) :: Type -> Type -> Type) ((:*:) e <:.> u)

Defined in Pandora.Paradigm.Inventory.Some.Equipment

Methods

(<<=) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<==) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<===) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<=====) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<=======) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(<<========) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

(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)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

(=<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(==<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(===<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(====<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(=====<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(======<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(=======<<) :: (a -> ((t <:<.>:> t') >>>>>>>> u) b) -> ((t <:<.>:> t') >>>>>>>> u) a -> ((t <:<.>:> t') >>>>>>>> u) b

(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)

Defined in Pandora.Paradigm.Schemes.UT

Methods

(=<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(==<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(===<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(====<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(=====<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(======<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(=======<<) :: (a -> (t <.:> u) b) -> (t <.:> u) a -> (t <.:> u) b

(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)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(=<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(==<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(===<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(=====<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(=======<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

(Bindable ((->) :: Type -> Type -> Type) t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t', Bindable ((->) :: Type -> Type -> Type) t') => Bindable ((->) :: Type -> Type -> Type) (t <::> t')

Defined in Pandora.Paradigm.Schemes.TT

Methods

(=<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(==<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(===<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(====<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(=====<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(======<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(=======<<) :: (a -> (t <::> t') b) -> (t <::> t') a -> (t <::> t') b

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t' t, Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t) => Liftable ((->) :: Type -> Type -> Type) (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

lift :: Covariant (->) (->) u => u a -> (t <:<.>:> t') u a

(Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t t', Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t') => Lowerable ((->) :: Type -> Type -> Type) (t <:<.>:> t')

Defined in Pandora.Paradigm.Schemes.TUT

Methods

lower :: Covariant (->) (->) u => (t <:<.>:> t') u a -> u a

Monoidal (-->) (-->) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lift :: Covariant (->) (->) u => u a -> UT Covariant Covariant t u a

Monoidal (-->) (-->) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lift :: Covariant (->) (->) u => u a -> TU Covariant Covariant t u a

Monoidal (-->) (-->) (:*:) (:*:) t => Liftable ((->) :: Type -> Type -> Type) (TT Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

lift :: Covariant (->) (->) u => u a -> TT Covariant Covariant t u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lower :: Covariant (->) (->) u => UT Covariant Covariant t u a -> u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lower :: Covariant (->) (->) u => TU Covariant Covariant t u a -> u a

Monoidal (<--) (-->) (:*:) (:*:) t => Lowerable ((->) :: Type -> Type -> Type) (TT Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TT

Methods

lower :: Covariant (->) (->) u => TT Covariant Covariant t u a -> u a

type Combinative List

Defined in Pandora.Paradigm.Structure.Some.List

type Combinative List = Comprehension Maybe

type Breadcrumbs List

Defined in Pandora.Paradigm.Structure.Some.List

type Breadcrumbs List = Reverse List <:*:> List

type Breadcrumbs Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

type Breadcrumbs Rose = Roses <:*:> (List <::> Tape Roses)

type Breadcrumbs Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Breadcrumbs Binary = ((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))

type Topping List

Defined in Pandora.Paradigm.Structure.Some.List

type Topping List = Maybe

type Substance (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance (i ('Branch :: a -> Segment a) :: k) (Maybe <::> Construction t) = Maybe <::> Construction t

type Arguments (Tape t a :: Type)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Arguments (Tape t a :: Type) = a -> t a -> t a -> Tape t a

type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

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

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

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 Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary = Maybe

type Morphing ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into List) (Vector r) = List

type Morphing ('Into List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe) = List

type Morphing ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape List) = List

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Into Binary) (Construction (Maybe <:*:> Maybe)) = Binary

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream) = Tape Stream

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream)

Defined in Pandora.Paradigm.Structure.Some.Stream

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape Stream) = Tape Stream

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Sliding ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe)) = Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

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)

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 ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

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 Wye) (Maybe <:*:> Maybe)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into Wye) (Maybe <:*:> Maybe) = Wye

type Substance ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Right ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Substance ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Left ('Tree :: a -> Segment a) :: Horizontal (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Substance ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Focused ('Forest :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Tape List <::> Nonempty Rose

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Construction List

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Focused ('Tree :: a -> Segment a) :: Location (a -> Segment a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Construction (Maybe <:*:> Maybe)

type Sliding ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

type Sliding ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

type Morphing ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape > Construction Maybe) = List

type Morphing ('Into List) (Construction Maybe <::> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe <::> Maybe) = List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction Maybe) < key)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction Maybe) < key) = ((->) key :: Type -> Type) <::> Maybe

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe) = Maybe <::> Tape (Construction Maybe)

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) (Tape > Construction Maybe) = Maybe <::> (Tape > Construction Maybe)

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Horizontal a) :: Morph (a -> Horizontal a)) ((Turnover :: (Type -> Type) -> Type -> Type) < Tape List) = (Turnover :: (Type -> Type) -> Type -> Type) < Tape List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) ((Prefixed < Construction (Maybe <:*:> Maybe)) < key) = ((->) key :: Type -> Type) <::> Maybe

type Substance ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) = Tape t <::> t

type Substance ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) = Tape t <::> Reverse t

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) List = Maybe <::> Tape List

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary = Binary

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) Binary = Binary

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary = Binary

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary = Binary

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary = Binary

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) Binary = Binary

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Comprehension Maybe) (Tape List) = Comprehension Maybe

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Tape List) (Construction Maybe) = Tape List

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Right ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) = Binary

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (a -> Splay a) -> Morph (Horizontal (a -> Splay a))) > 'Left ('Zig :: a -> Splay a) :: Morph (Horizontal (a -> Splay a))) (Construction (Maybe <:*:> Maybe)) = Binary

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zag :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Right :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing (('Rotate :: Horizontal (Splay (a -> Splay a)) -> Morph (Horizontal (Splay (a -> Splay a)))) > (('Left :: Splay (a -> Splay a) -> Horizontal (Splay (a -> Splay a))) > 'Zig ('Zig :: a -> Splay a)) :: Morph (Horizontal (Splay (a -> Splay a)))) (Construction (Maybe <:*:> Maybe)) = Maybe <::> Construction (Maybe <:*:> Maybe)

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing (('Into :: (Type -> Type) -> Morph (Type -> Type)) > Construction Maybe) (Tape > Construction Maybe) = Construction Maybe

type Morphing ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Pop :: a -> Morph a) List = List

type Morphing ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Push :: a -> Morph a) List = (Exactly <:.:> List) >>>>>> ((->) :: Type -> Type -> Type)

type Substance ('Rest :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Rest :: a -> Segment a) List = List

type Substance ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Root :: a -> Segment a) List = Maybe

type Sliding ('Left :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Sliding ('Left :: a -> Horizontal a) (Tape structure) = Topping structure

type Sliding ('Right :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Sliding ('Right :: a -> Horizontal a) (Tape structure) = Topping structure

type Substance ('Right :: a -> Horizontal a) (t <:*:> u)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Right :: a -> Horizontal a) (t <:*:> u) = u

type Substance ('Left :: a -> Horizontal a) (t <:*:> u)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Left :: a -> Horizontal a) (t <:*:> u) = t

type Substance ('Rest :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Rest :: a -> Segment a) (Exactly <:*:> t) = t

type Substance ('Root :: a -> Segment a) (Exactly <:*:> t)

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substance ('Root :: a -> Segment a) (Exactly <:*:> t) = Exactly

type Substance ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Siblings :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe <::> (Reverse Roses <:*:> Roses)

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Roses

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = List <::> Tape Roses

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Ancestors :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = List <::> (Horizontal <::> (Exactly <:*:> Binary))

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Children :: a -> Segment a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = (Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)

type Sliding ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) = Maybe

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Sliding ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) = Maybe

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('Down :: a -> Vertical a) (Tape t <::> Tape t) = Reverse t <::> Tape t

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t)

Defined in Pandora.Paradigm.Structure.Modification.Tape

type Substance ('Up :: a -> Vertical a) (Tape t <::> Tape t) = t <::> Tape t

(<$>) :: Covariant source target t => source a b -> target (t a) (t b)

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

(<$$$>) :: (Covariant source target t, 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)))