Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Structure.Splay

Documentation

data Splay a Source #

Constructors

Zig a
Zag a

Instances

Rotatable (Right (Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Right Zig) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #
Rotatable (Left (Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Left Zig) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #
Rotatable (Right (Zig (Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Right (Zig Zag)) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #
Rotatable (Left (Zig (Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Left (Zig Zag)) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #
Rotatable (Right (Zig (Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Right (Zig Zig)) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #
Rotatable (Left (Zig (Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Splay Methods rotation :: Tagged (Left (Zig Zig)) (Construction Wye a0) -> Maybe (Construction Wye a0) Source #

maybe_subtree :: Maybe a -> Maybe a -> Wye a Source #