Pandora.Paradigm.Structure.Binary

Documentation

type Binary = Maybe <:.> Construction Wye

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

binary :: forall t a. (Traversable t, Chain a) => t a -> Binary a

data Biforked a

Constructors

Top

Leftward a

Rightward a

Instances

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

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

data Vertical a

Constructors

Up a

Down a

Instances

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

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

Orphan instances

(forall a. Chain a) => Insertable Binary

Methods

insert :: a -> Binary a -> Binary a

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

(forall a. Chain a) => Insertable (Construction Wye)

Methods

insert :: a -> Construction Wye a -> Construction Wye a

Nullable Binary

Methods

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

(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary

Associated Types

type Focusing 'Root Binary a

Methods

focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a

Focusable ('Root :: Type -> Location Type) (Construction Wye)

Associated Types

type Focusing 'Root (Construction Wye) a

Methods

focusing :: Tagged 'Root (Construction Wye a) :-. Focusing 'Root (Construction Wye) a

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

Associated Types

type Substructural 'Right Binary :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Binary) :~. Substructural 'Right Binary

sub :: Binary :~. Substructural 'Right Binary

subview :: Binary ~> Substructural 'Right Binary

substitute :: (Substructural 'Right Binary a0 -> Substructural 'Right Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Right Binary a0 -> Binary a0 -> Binary a0

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

Associated Types

type Substructural 'Left Binary :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Binary) :~. Substructural 'Left Binary

sub :: Binary :~. Substructural 'Left Binary

subview :: Binary ~> Substructural 'Left Binary

substitute :: (Substructural 'Left Binary a0 -> Substructural 'Left Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Left Binary a0 -> Binary a0 -> Binary a0

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

Associated Types

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

Methods

substructure :: (Tagged 'Right <:.> Construction Wye) :~. Substructural 'Right (Construction Wye)

sub :: Construction Wye :~. Substructural 'Right (Construction Wye)

subview :: Construction Wye ~> Substructural 'Right (Construction Wye)

substitute :: (Substructural 'Right (Construction Wye) a0 -> Substructural 'Right (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Right (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0

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

Associated Types

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

Methods

substructure :: (Tagged 'Left <:.> Construction Wye) :~. Substructural 'Left (Construction Wye)

sub :: Construction Wye :~. Substructural 'Left (Construction Wye)

subview :: Construction Wye ~> Substructural 'Left (Construction Wye)

substitute :: (Substructural 'Left (Construction Wye) a0 -> Substructural 'Left (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Left (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0