Pandora.Paradigm.Structure.Splay

Documentation

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.Splay

Associated Types

type Rotational ('Right 'Zig) (Construction Wye) a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left 'Zig) (Construction Wye) a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Right ('Zig 'Zag)) (Construction Wye) a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left ('Zig 'Zag)) (Construction Wye) a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Right ('Zig 'Zig)) (Construction Wye) a

Methods

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

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Rotational ('Left ('Zig 'Zig)) (Construction Wye) a

Methods

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

type Rotational ('Right ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig :: a1 -> Splay a1) :: Wye (a1 -> Splay a1)) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Right ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig ('Zag :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Right ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Right ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

type Rotational ('Left ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2

Defined in Pandora.Paradigm.Structure.Splay

type Rotational ('Left ('Zig ('Zig :: a1 -> Splay a1)) :: Wye (Splay (a1 -> Splay a1))) (Construction Wye) a2 = Maybe (Construction Wye a2)

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