Pandora.Paradigm.Structure.Binary

Documentation

type Binary = Maybe <:.> Construction Wye

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

can_be_empty :: Maybe (Construction Wye a) :-. Binary a

Orphan instances

(forall a. Chain a) => Insertable Binary

Methods

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

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

Methods

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

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

Associated Types

type Substructural 'Left Binary a

Methods

substructure :: Tagged 'Left (Binary a) :-. Substructural 'Left Binary a

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

Associated Types

type Substructural 'Right Binary a

Methods

substructure :: Tagged 'Right (Binary a) :-. Substructural 'Right 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

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

Associated Types

type Substructural 'Left (Construction Wye) a

Methods

substructure :: Tagged 'Left (Construction Wye a) :-. Substructural 'Left (Construction Wye) a

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

Associated Types

type Substructural 'Right (Construction Wye) a

Methods

substructure :: Tagged 'Right (Construction Wye a) :-. Substructural 'Right (Construction Wye) 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