Pandora.Paradigm.Primary.Transformer.Reverse

Documentation

newtype Reverse t a

Constructors

Reverse (t a)

Instances

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal (-->) (-->) (:*:) (:+:) t) => Monoidal (-->) (-->) (:*:) (:+:) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Reverse t a

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

mult :: forall (a :: k) (b :: k). (Reverse t a :*: Reverse t b) <-- Reverse t (a :*: 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)

Hoistable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

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

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

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

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

Liftable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

lift :: Covariant (->) (->) u => u a -> Reverse u a

Lowerable ((->) :: Type -> Type -> Type) (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

lower :: Covariant (->) (->) u => Reverse u a -> u a

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

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

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

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)

Interpreted ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Associated Types

type Primary (Reverse t) a

Methods

run :: ((->) < Reverse t a) < Primary (Reverse t) a

unite :: ((->) < Primary (Reverse t) a) < Reverse t a

(<~~~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(<~) :: ((->) < Reverse t a) < Primary (Reverse t) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Reverse t) a) < Primary u b) -> ((->) < Reverse t a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Reverse t a) < u b) -> ((->) < Primary (Reverse t) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Reverse t) a) < Primary u b) -> (j > Reverse t a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Reverse t a) < u b) -> (j > Primary (Reverse t) a) -> (j > Primary u 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) 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))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

(-<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(--<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(---<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(----<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(-----<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(------<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

(-------<<) :: Covariant (->) (->) u => (a -> Reverse t b) -> u a -> Reverse t (u b)

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

(>-|-) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|--) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|---) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|----) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|-----) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|------) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|-------) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|--------) :: (a -> b) -> Reverse t b -> Reverse t a

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Reverse t)) => (a -> b) -> Reverse t (u a) -> Reverse t (u b)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

(<-/-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

(<-/--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Reverse t a -> u (Reverse t b)

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 ('Into List) (Tape List)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape List) = List

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 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 Morphing ('Into List) (Tape > Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Tape > Construction Maybe) = List

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 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 (('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 (('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 Primary (Reverse t) a

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

type Primary (Reverse t) a = t a

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