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 :: Type

Methods

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

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

Associated Types

type Substructural Right Binary a :: Type

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 :: Type

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 :: Type

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 :: Type

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 :: Type

Methods

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