Pandora.Paradigm.Structure.Binary
Contents
type Binary = Maybe <:.> Construction Wye Source #
rebalance :: Chain a => ((Wye :. Construction Wye) := a) -> Nonempty Binary a Source #
can_be_empty :: Maybe (Construction Wye a) :-. Binary a Source #
data Biforked a Source #
Constructors
Defined in Pandora.Paradigm.Structure.Binary
Associated Types
type Rotational ('Down 'Right) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source #
Methods
rotation :: Tagged ('Down 'Right) ((Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Right) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
type Rotational ('Down 'Left) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source #
rotation :: Tagged ('Down 'Left) ((Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational ('Down 'Left) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
type Rotational 'Up (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a Source #
rotation :: Tagged 'Up ((Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0) -> Rotational 'Up (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a0 Source #
data Direction a Source #
insert :: a -> Binary a -> Binary a Source #
insert :: a -> Construction Wye a -> Construction Wye a Source #
type Substructural 'Left Binary a Source #
substructure :: Tagged 'Left (Binary a) :-. Substructural 'Left Binary a Source #
type Substructural 'Right Binary a Source #
substructure :: Tagged 'Right (Binary a) :-. Substructural 'Right Binary a Source #
type Focusing 'Root Binary a Source #
focusing :: Tagged 'Root (Binary a) :-. Focusing 'Root Binary a Source #
type Substructural 'Left (Construction Wye) a Source #
substructure :: Tagged 'Left (Construction Wye a) :-. Substructural 'Left (Construction Wye) a Source #
type Substructural 'Right (Construction Wye) a Source #
substructure :: Tagged 'Right (Construction Wye a) :-. Substructural 'Right (Construction Wye) a Source #
type Focusing 'Root (Construction Wye) a Source #
focusing :: Tagged 'Root (Construction Wye a) :-. Focusing 'Root (Construction Wye) a Source #