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

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 => (Tap (Delta <:.> Stream) a -> b) -> ((u :. Tap (Delta <:.> Stream)) := a) -> (u :. Tap (Delta <:.> Stream)) := b

(<<=$) :: Covariant u => ((u :. Tap (Delta <:.> Stream)) := a) -> (Tap (Delta <:.> Stream) a -> b) -> (u :. Tap (Delta <:.> Stream)) := 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

Substructure ('Left :: Type -> Wye Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left Binary a

Methods

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

Substructure ('Right :: Type -> Wye Type) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right Binary a

Methods

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

Substructure ('Just :: Type -> Maybe Type) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just Rose a

Methods

substructure :: Tagged 'Just (Rose a) :-. Substructural 'Just Rose 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

Substructure ('Left :: Type -> Wye Type) t => Substructure ('Left :: Type -> Wye Type) (Tap (t <:.> u))

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Left (Tap (t <:.> u) a) :-. Substructural 'Left (Tap (t <:.> u)) a

Substructure ('Right :: Type -> Wye Type) t => Substructure ('Right :: Type -> Wye Type) (Tap (t <:.> u))

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Tap (t <:.> u)) a

Methods

substructure :: Tagged 'Right (Tap (t <:.> u) a) :-. Substructural 'Right (Tap (t <:.> u)) a

Substructure ('Just :: Type -> Maybe Type) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just (Construction Stack) a

Methods

substructure :: Tagged 'Just (Construction Stack a) :-. Substructural 'Just (Construction 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

Rotatable ('Down ('Right :: a -> Wye a) :: Direction (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) :: Direction (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

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

Rotatable ('Up :: a -> Direction 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

Covariant u => Covariant (((->) e :: Type -> Type) <:.> u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

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

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

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

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

void :: ((:*:) e <:.> u) a -> ((:*:) e <:.> u) ()

loeb :: ((:*:) e <:.> u) (a <-| ((:*:) e <:.> u)) -> ((:*:) e <:.> u) a

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

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

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

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

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

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

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

Bindable u => Bindable (((->) e :: Type -> Type) <:.> u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

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

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

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

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

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

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

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

Applicative u => Applicative (((->) e :: Type -> Type) <:.> u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

empty :: (t <:.> Construction 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 => (((:*:) e <:.> u) a -> b) -> ((u0 :. ((:*:) e <:.> u)) := a) -> (u0 :. ((:*:) e <:.> u)) := b

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

(Covariant u, Pointable u) => Pointable (((->) e :: Type -> Type) <:.> u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Equipment

Methods

extract :: a <-| ((:*:) e <:.> u)

Monotonic ((Maybe <:.> Construction Maybe) := a) 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

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

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

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 Substructural ('Left :: Type -> Wye Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Left :: Type -> Wye Type) Binary a = Binary a

type Substructural ('Right :: Type -> Wye Type) Binary a

Defined in Pandora.Paradigm.Structure.Binary

type Substructural ('Right :: Type -> Wye Type) Binary a = Binary a

type Substructural ('Just :: Type -> Maybe Type) Rose a

Defined in Pandora.Paradigm.Structure.Rose

type Substructural ('Just :: Type -> Maybe Type) Rose a = (Stack :. Construction Stack) := a

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 Substructural ('Left :: Type -> Wye Type) (Tap (t <:.> u)) a

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: Type -> Wye Type) (Tap (t <:.> u)) a = Substructural ('Left :: Type -> Wye Type) t (u a)

type Substructural ('Right :: Type -> Wye Type) (Tap (t <:.> u)) a

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: Type -> Wye Type) (Tap (t <:.> u)) a = Substructural ('Right :: Type -> Wye Type) t (u a)

type Substructural ('Just :: Type -> Maybe Type) (Construction Stack) a

Defined in Pandora.Paradigm.Structure.Rose

type Substructural ('Just :: Type -> Maybe Type) (Construction Stack) a = (Stack :. Construction Stack) := 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 Rotational ('Down ('Right :: a1 -> Wye a1) :: Direction (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) :: Direction (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) :: Direction (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) :: Direction (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 ('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 Rotational ('Up :: a1 -> Direction a1) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2

Defined in Pandora.Paradigm.Structure.Binary

type Rotational ('Up :: a1 -> Direction 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 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