Pandora.Paradigm.Structure.Some.Binary

Documentation

type Binary = Maybe <::> Construction Wye

data Biforked a

Constructors

Top

Leftward a

Rightward a

Instances

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Biforked

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

(<-|-) :: (a -> b) -> Biforked a -> Biforked b

(<-|--) :: (a -> b) -> Biforked a -> Biforked b

(<-|---) :: (a -> b) -> Biforked a -> Biforked b

(<-|----) :: (a -> b) -> Biforked a -> Biforked b

(<-|-----) :: (a -> b) -> Biforked a -> Biforked b

(<-|------) :: (a -> b) -> Biforked a -> Biforked b

(<-|-------) :: (a -> b) -> Biforked a -> Biforked b

(<-|--------) :: (a -> b) -> Biforked a -> Biforked b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Biforked) => (a -> b) -> Biforked (u a) -> Biforked (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Biforked) => (a -> b) -> Biforked (u (v a)) -> Biforked (u (v b))

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Biforked

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

(<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Biforked a -> u (Biforked b)

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) = Maybe <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

type Bifurcation = Biforked <::> Construction Biforked

type Bicursor = (Exactly <:.:> Binary) := (:*:)

_focused_part_to_nonempty_binary_tree :: ((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) ~> Construction Wye

_nonempty_binary_tree_to_focused_part :: Construction Wye ~> ((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:))

leaf :: a :=> Nonempty Binary

Orphan instances

Zippable (Construction Wye)

Associated Types

type Breadcrumbs (Construction Wye) :: Type -> Type

Morphable ('Into Binary) (Construction Wye)

Associated Types

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

Methods

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

Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed (Construction Wye) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key)

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <::> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k)

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Associated Types

type Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <::> ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Exactly <:.:> (Wye <::> Construction Wye)) := (:*:)) <:.:> (Bifurcation <::> Bicursor)) := (:*:))

Morphable ('Insert :: a -> Morph a) Binary

Associated Types

type Morphing 'Insert Binary :: Type -> Type

Methods

morphing :: (Tagged 'Insert <::> Binary) ~> Morphing 'Insert Binary

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

Associated Types

type Available 'Right Binary :: Type -> Type

type Substance 'Right Binary :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Binary) #=@ Substance 'Right Binary) := Available 'Right Binary

sub :: (Binary #=@ Substance 'Right Binary) := Available 'Right Binary

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

Associated Types

type Available 'Left Binary :: Type -> Type

type Substance 'Left Binary :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Binary) #=@ Substance 'Left Binary) := Available 'Left Binary

sub :: (Binary #=@ Substance 'Left Binary) := Available 'Left Binary

Morphable ('Insert :: a -> Morph a) (Construction Wye)

Associated Types

type Morphing 'Insert (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged 'Insert <::> Construction Wye) ~> Morphing 'Insert (Construction Wye)

Substructure ('Right :: a -> Wye a) (Construction Wye)

Associated Types

type Available 'Right (Construction Wye) :: Type -> Type

type Substance 'Right (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> Construction Wye) #=@ Substance 'Right (Construction Wye)) := Available 'Right (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Right (Construction Wye)) := Available 'Right (Construction Wye)

Substructure ('Left :: a -> Wye a) (Construction Wye)

Associated Types

type Available 'Left (Construction Wye) :: Type -> Type

type Substance 'Left (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Construction Wye) #=@ Substance 'Left (Construction Wye)) := Available 'Left (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Left (Construction Wye)) := Available 'Left (Construction Wye)

Substructure ('Root :: a -> Segment a) (Construction Wye)

Associated Types

type Available 'Root (Construction Wye) :: Type -> Type

type Substance 'Root (Construction Wye) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction Wye) #=@ Substance 'Root (Construction Wye)) := Available 'Root (Construction Wye)

sub :: (Construction Wye #=@ Substance 'Root (Construction Wye)) := Available 'Root (Construction Wye)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Construction Wye)

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<--------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)

(<<---------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Construction Wye a -> u (Construction Wye b)