Pandora.Paradigm.Primary.Functor.Wye

Documentation

data Wye a

Constructors

End

Left_ a

Right_ a

Both a a

Instances

Monotonic a (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

reduce :: (a -> r -> r) -> r -> Wye a -> r

resolve :: (a -> r) -> r -> Wye a -> r

Semigroup a => Semigroup (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

(+) :: Wye a -> Wye a -> Wye a

Semigroup a => Monoid (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

zero :: Wye a

Morphable ('Into ('Left_ Maybe)) Wye

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

Morphable ('Into ('Right_ Maybe)) Wye

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

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

Methods

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

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_ :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Right_ Wye :: Type -> Type

Methods

substructure :: (Tagged 'Right_ <:.> Wye) @>>> Substance 'Right_ Wye

sub :: Wye @>>> Substance 'Right_ Wye

Substructure ('Left_ :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Left_ Wye :: Type -> Type

Methods

substructure :: (Tagged 'Left_ <:.> Wye) @>>> Substance 'Left_ Wye

sub :: Wye @>>> Substance 'Left_ Wye

Substructure ('Right_ :: a -> Wye a) ((:*:) s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Right_ ((:*:) s) :: Type -> Type

Methods

substructure :: (Tagged 'Right_ <:.> (:*:) s) @>>> Substance 'Right_ ((:*:) s)

sub :: (:*:) s @>>> Substance 'Right_ ((:*:) s)

Substructure ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substance 'Left_ (Flip (:*:) a2) :: Type -> Type

Methods

substructure :: (Tagged 'Left_ <:.> Flip (:*:) a2) @>>> Substance 'Left_ (Flip (:*:) a2)

sub :: Flip (:*:) a2 @>>> Substance 'Left_ (Flip (:*:) a2)

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

type Morphing ('Into ('Left_ Maybe)) Wye

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Left_ Maybe)) Wye = Maybe

type Morphing ('Into ('Right_ Maybe)) Wye

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Right_ Maybe)) Wye = Maybe

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) = Construction Maybe

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

Defined in Pandora.Paradigm.Structure

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

type Substance ('Right_ :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Structure

type Substance ('Right_ :: a -> Wye a) Wye = Maybe

type Substance ('Left_ :: a -> Wye a) Wye

Defined in Pandora.Paradigm.Structure

type Substance ('Left_ :: a -> Wye a) Wye = Maybe

type Substance ('Right_ :: a -> Wye a) ((:*:) s)

Defined in Pandora.Paradigm.Structure

type Substance ('Right_ :: a -> Wye a) ((:*:) s) = Exactly

type Substance ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2)

Defined in Pandora.Paradigm.Structure

type Substance ('Left_ :: a1 -> Wye a1) (Flip (:*:) a2) = Exactly

wye :: r -> (a -> r) -> (a -> r) -> (a -> a -> r) -> Wye a -> r

swop :: Wye ~> Wye