Pandora.Paradigm.Schemes.T_U

Documentation

newtype T_U ct cu t p u a

Constructors

T_U (p (t a) (u a))

Instances

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

Defined in Pandora.Paradigm.Structure.Stream

Methods

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

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

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

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

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

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

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

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

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

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

Methods

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

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

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

Methods

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

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack))

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing ('Down 'Right) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Down 'Right) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing ('Down 'Right) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing ('Down 'Left) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Down 'Left) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing ('Down 'Left) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

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

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing 'Up (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged 'Up <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing 'Up (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

(Bivariant p, Covariant t, Covariant u) => Covariant (T_U Covariant Covariant t p u)

Defined in Pandora.Paradigm.Schemes.T_U

Methods

(<$>) :: (a -> b) -> T_U Covariant Covariant t p u a -> T_U Covariant Covariant t p u b

comap :: (a -> b) -> T_U Covariant Covariant t p u a -> T_U Covariant Covariant t p u b

(<$) :: a -> T_U Covariant Covariant t p u b -> T_U Covariant Covariant t p u a

($>) :: T_U Covariant Covariant t p u a -> b -> T_U Covariant Covariant t p u b

void :: T_U Covariant Covariant t p u a -> T_U Covariant Covariant t p u ()

loeb :: T_U Covariant Covariant t p u (a <:= T_U Covariant Covariant t p u) -> T_U Covariant Covariant t p u a

(<&>) :: T_U Covariant Covariant t p u a -> (a -> b) -> T_U Covariant Covariant t p u b

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

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

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

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

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

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

Interpreted (T_U ct cu t p u)

Defined in Pandora.Paradigm.Schemes.T_U

Associated Types

type Primary (T_U ct cu t p u) a

Methods

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

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

(||=) :: (Primary (T_U ct cu t p u) a -> Primary (T_U ct cu t p u) b) -> T_U ct cu t p u a -> T_U ct cu t p u b

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) = Tap ((:*:) <:.:> Stream)

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) = Tap ((:*:) <:.:> Stream)

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) = Maybe <:.> Zipper (Construction Maybe)

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) = Maybe <:.> Zipper (Construction Maybe)

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) = Maybe <:.> Zipper Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) = Maybe <:.> Zipper Stack

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

Defined in Pandora.Paradigm.Structure.Binary

type Morphing ('Down ('Right :: a -> Wye a) :: Vertical (a -> Wye a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))

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

Defined in Pandora.Paradigm.Structure.Binary

type Morphing ('Down ('Left :: a -> Wye a) :: Vertical (a -> Wye a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))

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

Defined in Pandora.Paradigm.Structure.Binary

type Morphing ('Up :: a -> Vertical a) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) = Maybe <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))

type Primary (T_U ct cu t p u) a

Defined in Pandora.Paradigm.Schemes.T_U

type Primary (T_U ct cu t p u) a = p (t a) (u a)

type (<:.:>) p t = T_U Covariant Covariant t p t

type (>:.:>) p t = T_U Contravariant Covariant t p t

type (<:.:<) p t = T_U Covariant Contravariant t p t

type (>:.:<) p t = T_U Contravariant Contravariant t p t