Pandora.Paradigm.Structure.Binary

Documentation

type Binary = Maybe <:.> Construction Wye

insert :: Chain a => a -> Binary a -> Binary a

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

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

data Splay a

Constructors

Zig a

Zag a

Instances

Rotatable (Right (Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Right Zig) (Construction Wye a0) -> Maybe (Construction Wye a0)

Rotatable (Left (Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Left Zig) (Construction Wye a0) -> Maybe (Construction Wye a0)

Rotatable (Right (Zig (Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Right (Zig Zag)) (Construction Wye a0) -> Maybe (Construction Wye a0)

Rotatable (Left (Zig (Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Left (Zig Zag)) (Construction Wye a0) -> Maybe (Construction Wye a0)

Rotatable (Right (Zig (Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Right (Zig Zig)) (Construction Wye a0) -> Maybe (Construction Wye a0)

Rotatable (Left (Zig (Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Methods

rotation :: Tagged (Left (Zig Zig)) (Construction Wye a0) -> Maybe (Construction Wye a0)

maybe_subtree :: Maybe a -> Maybe a -> Wye a

Orphan instances

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 -> 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 -> Type) (Construction Wye)

Associated Types

type Focusing Root (Construction Wye) a :: Type

Methods

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