Pandora.Paradigm.Schemes.TU

Documentation

newtype TU ct cu t u a

Constructors

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

Instances

Insertable Stack

Defined in Pandora.Paradigm.Structure.Stack

Methods

insert :: a -> Stack a -> Stack a

(forall a. Chain a) => Insertable Binary

Defined in Pandora.Paradigm.Structure.Binary

Methods

insert :: a -> Binary a -> Binary a

Measurable 'Length Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Measural 'Length Stack a

Methods

measurement :: Tagged 'Length (Stack a) -> Measural 'Length Stack a

Measurable 'Heighth Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Measural 'Heighth Binary a

Methods

measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a

Monotonic a ((Maybe <:.> Construction Maybe) := a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

reduce :: (a -> r -> r) -> r -> ((Maybe <:.> Construction Maybe) := a) -> r

resolve :: (a -> r) -> r -> ((Maybe <:.> Construction Maybe) := a) -> r

Extendable (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Methods

(=>>) :: Tap (Delta <:.> Stream) a -> (Tap (Delta <:.> Stream) a -> b) -> Tap (Delta <:.> Stream) b

(<<=) :: (Tap (Delta <:.> Stream) a -> b) -> Tap (Delta <:.> Stream) a -> Tap (Delta <:.> Stream) b

extend :: (Tap (Delta <:.> Stream) a -> b) -> Tap (Delta <:.> Stream) a -> Tap (Delta <:.> Stream) b

duplicate :: Tap (Delta <:.> Stream) a -> (Tap (Delta <:.> Stream) :. Tap (Delta <:.> Stream)) := a

(=<=) :: (Tap (Delta <:.> Stream) b -> c) -> (Tap (Delta <:.> Stream) a -> b) -> Tap (Delta <:.> Stream) a -> c

(=>=) :: (Tap (Delta <:.> Stream) a -> b) -> (Tap (Delta <:.> Stream) b -> c) -> Tap (Delta <:.> Stream) a -> c

($=>>) :: Covariant u => ((u :. Tap (Delta <:.> Stream)) := a) -> (Tap (Delta <:.> Stream) a -> b) -> (u :. Tap (Delta <:.> Stream)) := b

(<<=$) :: Covariant u => ((u :. Tap (Delta <:.> Stream)) := a) -> (Tap (Delta <:.> Stream) a -> b) -> (u :. Tap (Delta <:.> Stream)) := b

Extendable (Tap (Delta <:.> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Methods

(=>>) :: Tap (Delta <:.> Stack) a -> (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) b

(<<=) :: (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> Tap (Delta <:.> Stack) b

extend :: (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> Tap (Delta <:.> Stack) b

duplicate :: Tap (Delta <:.> Stack) a -> (Tap (Delta <:.> Stack) :. Tap (Delta <:.> Stack)) := a

(=<=) :: (Tap (Delta <:.> Stack) b -> c) -> (Tap (Delta <:.> Stack) a -> b) -> Tap (Delta <:.> Stack) a -> c

(=>=) :: (Tap (Delta <:.> Stack) a -> b) -> (Tap (Delta <:.> Stack) b -> c) -> Tap (Delta <:.> Stack) a -> c

($=>>) :: Covariant u => ((u :. Tap (Delta <:.> Stack)) := a) -> (Tap (Delta <:.> Stack) a -> b) -> (u :. Tap (Delta <:.> Stack)) := b

(<<=$) :: Covariant u => ((u :. Tap (Delta <:.> Stack)) := a) -> (Tap (Delta <:.> Stack) a -> b) -> (u :. Tap (Delta <:.> Stack)) := b

Semigroup (Stack a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

(+) :: Stack a -> Stack a -> Stack a

Monoid (Stack a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

zero :: Stack a

Setoid a => Setoid (Stack a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

(/=) :: Stack a -> Stack a -> Boolean

Nullable Stack

Defined in Pandora.Paradigm.Structure.Stack

Methods

null :: forall (a :: k). (Predicate :. Stack) := a

Nullable Rose

Defined in Pandora.Paradigm.Structure.Rose

Methods

null :: forall (a :: k). (Predicate :. Rose) := a

Nullable Binary

Defined in Pandora.Paradigm.Structure.Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a

Focusable ('Root :: Type -> Location Type) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing 'Root Rose a

Methods

focusing :: Tagged 'Root (Rose a) :-. Focusing 'Root Rose a

(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Focusing 'Root Binary a

Methods

focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a

Focusable ('Head :: Type -> Location Type) Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Focusing 'Head Stack a

Methods

focusing :: Tagged 'Head (Stack a) :-. Focusing 'Head Stack a

Focusable ('Root :: Type -> Location Type) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Focusing 'Root (Construction Stack) a

Methods

focusing :: Tagged 'Root (Construction Stack a) :-. Focusing 'Root (Construction Stack) a

Setoid a2 => Substructure ('Delete ('First :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) Stack a2

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural ('Delete 'First) Stack a2

Methods

substructure :: Tagged ('Delete 'First) (Stack a2) :-. Substructural ('Delete 'First) Stack a2

Rotatable ('Down ('Right :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational ('Down 'Right) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged ('Down 'Right) ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Right) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

Rotatable ('Down ('Left :: a -> Wye a) :: Vertical (a -> Wye a)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational ('Down 'Left) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged ('Down 'Left) ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Left) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

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

Defined in Pandora.Paradigm.Schemes.TU

Methods

hoist :: forall (u :: Type -> Type) (v :: Type -> Type). Covariant u => (u ~> v) -> TU Covariant Covariant t u ~> TU Covariant Covariant t v

Substructure ('Tail :: a1 -> Segment a1) Stack a2

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural 'Tail Stack a2

Methods

substructure :: Tagged 'Tail (Stack a2) :-. Substructural 'Tail Stack a2

Substructure ('Just :: a1 -> Maybe a1) Rose a2

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just Rose a2

Methods

substructure :: Tagged 'Just (Rose a2) :-. Substructural 'Just Rose a2

Substructure ('Right :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right Binary a2

Methods

substructure :: Tagged 'Right (Binary a2) :-. Substructural 'Right Binary a2

Substructure ('Left :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left Binary a2

Methods

substructure :: Tagged 'Left (Binary a2) :-. Substructural 'Left Binary a2

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stream) a0) -> Rotational 'Right (Tap (Delta <:.> Stream)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stream) a0) -> Rotational 'Left (Tap (Delta <:.> Stream)) a0

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Right (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Construction Maybe) a0) -> Rotational 'Left (Tap (Delta <:.> Construction Maybe)) a0

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stack) a0) -> Rotational 'Right (Tap (Delta <:.> Stack)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stack)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stack) a0) -> Rotational 'Left (Tap (Delta <:.> Stack)) a0

Substructure ('Just :: a1 -> Maybe a1) (Construction Stack) a2

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just (Construction Stack) a2

Methods

substructure :: Tagged 'Just (Construction Stack a2) :-. Substructural 'Just (Construction Stack) a2

Rotatable ('Up :: a -> Vertical a) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Rotational 'Up (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a

Methods

rotation :: Tagged 'Up ((Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational 'Up (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0

Substructure ('Right :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Delta <:.> t) a2

Methods

substructure :: Tagged 'Right ((Delta <:.> t) a2) :-. Substructural 'Right (Delta <:.> t) a2

Substructure ('Left :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Delta <:.> t) a2

Methods

substructure :: Tagged 'Left ((Delta <:.> t) a2) :-. Substructural 'Left (Delta <:.> t) a2

(Covariant t, Covariant u) => Covariant (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(<$>) :: (a -> b) -> (t <:.> u) a -> (t <:.> u) b

comap :: (a -> b) -> (t <:.> u) a -> (t <:.> u) b

(<$) :: a -> (t <:.> u) b -> (t <:.> u) a

($>) :: (t <:.> u) a -> b -> (t <:.> u) b

void :: (t <:.> u) a -> (t <:.> u) ()

loeb :: (t <:.> u) (a <-| (t <:.> u)) -> (t <:.> u) a

(<&>) :: (t <:.> u) a -> (a -> b) -> (t <:.> u) b

(<$$>) :: Covariant u0 => (a -> b) -> (((t <:.> u) :. u0) := a) -> ((t <:.> u) :. u0) := b

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

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((t <:.> u) :. (u0 :. (v :. w))) := a) -> ((t <:.> u) :. (u0 :. (v :. w))) := b

(<&&>) :: Covariant u0 => (((t <:.> u) :. u0) := a) -> (a -> b) -> ((t <:.> u) :. u0) := b

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

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((t <:.> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((t <:.> u) :. (u0 :. (v :. w))) := b

(Bindable t, Distributive t, Bindable u) => Bindable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(>>=) :: (t <:.> u) a -> (a -> (t <:.> u) b) -> (t <:.> u) b

(=<<) :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

bind :: (a -> (t <:.> u) b) -> (t <:.> u) a -> (t <:.> u) b

join :: (((t <:.> u) :. (t <:.> u)) := a) -> (t <:.> u) a

(>=>) :: (a -> (t <:.> u) b) -> (b -> (t <:.> u) c) -> a -> (t <:.> u) c

(<=<) :: (b -> (t <:.> u) c) -> (a -> (t <:.> u) b) -> a -> (t <:.> u) c

($>>=) :: Covariant u0 => ((u0 :. (t <:.> u)) := a) -> (a -> (t <:.> u) b) -> (u0 :. (t <:.> u)) := b

(Applicative t, Applicative u) => Applicative (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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

apply :: (t <:.> u) (a -> b) -> (t <:.> u) a -> (t <:.> u) b

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

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

forever :: (t <:.> u) a -> (t <:.> u) b

(<**>) :: Applicative u0 => (((t <:.> u) :. u0) := (a -> b)) -> (((t <:.> u) :. u0) := a) -> ((t <:.> u) :. u0) := b

(<***>) :: (Applicative u0, Applicative v) => (((t <:.> u) :. (u0 :. v)) := (a -> b)) -> (((t <:.> u) :. (u0 :. v)) := a) -> ((t <:.> u) :. (u0 :. v)) := b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => (((t <:.> u) :. (u0 :. (v :. w))) := (a -> b)) -> (((t <:.> u) :. (u0 :. (v :. w))) := a) -> ((t <:.> u) :. (u0 :. (v :. w))) := b

(Covariant u, Alternative t) => Alternative (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(<+>) :: (t <:.> u) a -> (t <:.> u) a -> (t <:.> u) a

alter :: (t <:.> u) a -> (t <:.> u) a -> (t <:.> u) a

(Covariant u, Avoidable t) => Avoidable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

empty :: (t <:.> u) a

Extendable u => Extendable ((:*:) e <:.> u)

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

(=>>) :: ((:*:) e <:.> u) a -> (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) b

(<<=) :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

extend :: (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> ((:*:) e <:.> u) b

duplicate :: ((:*:) e <:.> u) a -> (((:*:) e <:.> u) :. ((:*:) e <:.> u)) := a

(=<=) :: (((:*:) e <:.> u) b -> c) -> (((:*:) e <:.> u) a -> b) -> ((:*:) e <:.> u) a -> c

(=>=) :: (((:*:) e <:.> u) a -> b) -> (((:*:) e <:.> u) b -> c) -> ((:*:) e <:.> u) a -> c

($=>>) :: Covariant u0 => ((u0 :. ((:*:) e <:.> u)) := a) -> (((:*:) e <:.> u) a -> b) -> (u0 :. ((:*:) e <:.> u)) := b

(<<=$) :: Covariant u0 => ((u0 :. ((:*:) e <:.> u)) := a) -> (((:*:) e <:.> u) a -> b) -> (u0 :. ((:*:) e <:.> u)) := b

(Extractable t, Extractable u) => Extractable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

extract :: a <-| (t <:.> u)

(Pointable t, Pointable u) => Pointable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

point :: a |-> (t <:.> u)

(Traversable t, Traversable u) => Traversable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

(->>) :: (Pointable u0, Applicative u0) => (t <:.> u) a -> (a -> u0 b) -> (u0 :. (t <:.> u)) := b

traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> (t <:.> u) a -> (u0 :. (t <:.> u)) := b

sequence :: (Pointable u0, Applicative u0) => (((t <:.> u) :. u0) := a) -> (u0 :. (t <:.> u)) := a

(->>>) :: (Pointable u0, Applicative u0, Traversable v) => ((v :. (t <:.> u)) := a) -> (a -> u0 b) -> (u0 :. (v :. (t <:.> u))) := b

(->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => ((w :. (v :. (t <:.> u))) := a) -> (a -> u0 b) -> (u0 :. (w :. (v :. (t <:.> u)))) := b

(->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. (t <:.> u)))) := a) -> (a -> u0 b) -> (u0 :. (j :. (w :. (v :. (t <:.> u))))) := b

(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u)

Defined in Pandora.Paradigm.Schemes

Methods

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

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

phi :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

psi :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

eta :: a -> ((w <:.> u) :. (t <.:> v)) := a

epsilon :: (((t <.:> v) :. (w <:.> u)) := a) -> a

(-|$) :: Covariant v0 => v0 a -> ((t <.:> v) a -> b) -> v0 ((w <:.> u) b)

($|-) :: Covariant v0 => v0 ((t <.:> v) a) -> (a -> (w <:.> u) b) -> v0 b

($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (t <.:> v))) := a) -> (a -> (w <:.> u) b) -> (v0 :. w0) := b

($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (t <.:> v)))) := a) -> (a -> (w <:.> u) b) -> (v0 :. (w0 :. x)) := b

($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (t <.:> v))))) := a) -> (a -> (w <:.> u) b) -> (v0 :. (w0 :. (x :. y))) := b

(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u)

Defined in Pandora.Paradigm.Schemes

Methods

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

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

phi :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

psi :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

eta :: a -> ((w <.:> u) :. (v <:.> t)) := a

epsilon :: (((v <:.> t) :. (w <.:> u)) := a) -> a

(-|$) :: Covariant v0 => v0 a -> ((v <:.> t) a -> b) -> v0 ((w <.:> u) b)

($|-) :: Covariant v0 => v0 ((v <:.> t) a) -> (a -> (w <.:> u) b) -> v0 b

($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (v <:.> t))) := a) -> (a -> (w <.:> u) b) -> (v0 :. w0) := b

($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (v <:.> t)))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. x)) := b

($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (v <:.> t))))) := a) -> (a -> (w <.:> u) b) -> (v0 :. (w0 :. (x :. y))) := b

(Covariant (v <:.> t), Covariant (u <:.> w), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (u <:.> w)

Defined in Pandora.Paradigm.Schemes

Methods

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

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

phi :: ((v <:.> t) a -> b) -> a -> (u <:.> w) b

psi :: (a -> (u <:.> w) b) -> (v <:.> t) a -> b

eta :: a -> ((u <:.> w) :. (v <:.> t)) := a

epsilon :: (((v <:.> t) :. (u <:.> w)) := a) -> a

(-|$) :: Covariant v0 => v0 a -> ((v <:.> t) a -> b) -> v0 ((u <:.> w) b)

($|-) :: Covariant v0 => v0 ((v <:.> t) a) -> (a -> (u <:.> w) b) -> v0 b

($$|-) :: (Covariant v0, Covariant w0) => ((v0 :. (w0 :. (v <:.> t))) := a) -> (a -> (u <:.> w) b) -> (v0 :. w0) := b

($$$|-) :: (Covariant v0, Covariant w0, Covariant x) => ((v0 :. (w0 :. (x :. (v <:.> t)))) := a) -> (a -> (u <:.> w) b) -> (v0 :. (w0 :. x)) := b

($$$$|-) :: (Covariant v0, Covariant w0, Covariant x, Covariant y) => ((v0 :. (w0 :. (x :. (y :. (v <:.> t))))) := a) -> (a -> (u <:.> w) b) -> (v0 :. (w0 :. (x :. y))) := b

Pointable t => Liftable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lift :: forall (u :: Type -> Type). Covariant u => u ~> TU Covariant Covariant t u

Extractable t => Lowerable (TU Covariant Covariant t :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

lower :: forall (u :: Type -> Type). Covariant u => TU Covariant Covariant t u ~> u

Interpreted (TU ct cu t u)

Defined in Pandora.Paradigm.Schemes.TU

Associated Types

type Primary (TU ct cu t u) a

Methods

run :: TU ct cu t u a -> Primary (TU ct cu t u) a

unite :: Primary (TU ct cu t u) a -> TU ct cu t u a

type Nonempty Stack

Defined in Pandora.Paradigm.Structure.Stack

type Nonempty Stack = Construction Maybe

type Nonempty Rose

Defined in Pandora.Paradigm.Structure.Rose

type Nonempty Rose = Construction Stack

type Nonempty Binary

Defined in Pandora.Paradigm.Structure.Binary

type Nonempty Binary = Construction Wye

type Zipper Stack

Defined in Pandora.Paradigm.Structure.Stack

type Zipper Stack = Tap (Delta <:.> Stack)

type Measural 'Length Stack a

Defined in Pandora.Paradigm.Structure.Stack

type Measural 'Length Stack a = Numerator

type Measural 'Heighth Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Measural 'Heighth Binary a = Numerator

type Focusing ('Root :: Type -> Location Type) Rose a

Defined in Pandora.Paradigm.Structure.Rose

type Focusing ('Root :: Type -> Location Type) Rose a = Maybe a

type Focusing ('Root :: Type -> Location Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Focusing ('Root :: Type -> Location Type) Binary a = Maybe a

type Focusing ('Head :: Type -> Location Type) Stack a

Defined in Pandora.Paradigm.Structure.Stack

type Focusing ('Head :: Type -> Location Type) Stack a = Maybe a

type Focusing ('Root :: Type -> Location Type) (Construction Stack) a

Defined in Pandora.Paradigm.Structure.Rose

type Focusing ('Root :: Type -> Location Type) (Construction Stack) a = a

type Substructural ('Delete ('First :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) Stack a2

Defined in Pandora.Paradigm.Structure.Stack

type Substructural ('Delete ('First :: a1 -> Segment a1) :: Command (a1 -> Segment a1)) Stack a2 = a2 |-> Stack

type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Down ('Right :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Down ('Left :: a1 -> Wye a1) :: Vertical (a1 -> Wye a1)) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Substructural ('Tail :: a1 -> Segment a1) Stack a2

Defined in Pandora.Paradigm.Structure.Stack

type Substructural ('Tail :: a1 -> Segment a1) Stack a2 = Stack a2

type Substructural ('Just :: a1 -> Maybe a1) Rose a2

Defined in Pandora.Paradigm.Structure.Rose

type Substructural ('Just :: a1 -> Maybe a1) Rose a2 = (Stack :. Construction Stack) := a2

type Substructural ('Right :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Right :: a1 -> Wye a1) Binary a2 = Binary a2

type Substructural ('Left :: a1 -> Wye a1) Binary a2

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Left :: a1 -> Wye a1) Binary a2 = Binary a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 = (Maybe :. Zipper (Construction Maybe)) := a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 = (Maybe :. Zipper (Construction Maybe)) := a2

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 = (Maybe :. Zipper Stack) := a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2

Defined in Pandora.Paradigm.Structure.Stack

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 = (Maybe :. Zipper Stack) := a2

type Substructural ('Just :: a1 -> Maybe a1) (Construction Stack) a2

Defined in Pandora.Paradigm.Structure.Rose

type Substructural ('Just :: a1 -> Maybe a1) (Construction Stack) a2 = (Stack :. Construction Stack) := a2

type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Up :: a1 -> Vertical a1) (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 = (Maybe :. (Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))) := a2

type Substructural ('Right :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: a1 -> Wye a1) (Delta <:.> t) a2 = t a2

type Substructural ('Left :: a1 -> Wye a1) (Delta <:.> t) a2

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: a1 -> Wye a1) (Delta <:.> t) a2 = t a2

type Primary (TU ct cu t u) a

Defined in Pandora.Paradigm.Schemes.TU

type Primary (TU ct cu t u) a = (t :. u) := a

type (<:.>) = TU Covariant Covariant

type (>:.>) = TU Contravariant Covariant

type (<:.<) = TU Covariant Contravariant

type (>:.<) = TU Contravariant Contravariant