Pandora.Paradigm.Structure.Ability.Rotatable

Documentation

class Rotatable (f :: k) t where

Methods

rotation :: Tagged f (t a) -> Maybe (t a)

Instances

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

Defined in Pandora.Paradigm.Structure.Splay

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

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

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

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

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

Methods

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

rotate :: forall f t a. Rotatable f t => t a -> Maybe (t a)