Pandora.Paradigm.Structure.Some.Binary

Documentation

type Binary = Maybe <:.> Construction Wye

rebalance :: Chain a => ((Wye :. Construction Wye) := a) -> Nonempty Binary a

data Biforked a

Constructors

Top

Leftward a

Rightward a

Instances

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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

Defined in Pandora.Paradigm.Structure.Some.Binary

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

type Bifurcation = Biforked <:.> Construction Biforked

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

leaf :: a :=> Nonempty Binary

Orphan instances

Measurable 'Heighth Binary

Associated Types

type Measural 'Heighth Binary a

Methods

measurement :: Tagged 'Heighth (Binary a) -> Measural 'Heighth Binary a

Measurable 'Heighth (Construction Wye)

Associated Types

type Measural 'Heighth (Construction Wye) a

Methods

measurement :: Tagged 'Heighth (Construction Wye a) -> Measural 'Heighth (Construction Wye) a

Nullable Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a

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 ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Associated Types

type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k)

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)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((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)