Pandora.Paradigm.Structure.Splay

Documentation

data Splay a

Constructors

Zig a

Zag a

Instances

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Right 'Zig) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Right 'Zig) <:.> Construction Wye) ~> Morphing ('Right 'Zig) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Left 'Zig) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Left 'Zig) <:.> Construction Wye) ~> Morphing ('Left 'Zig) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Right ('Zig 'Zag)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Right ('Zig 'Zag)) <:.> Construction Wye) ~> Morphing ('Right ('Zig 'Zag)) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Left ('Zig 'Zag)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Left ('Zig 'Zag)) <:.> Construction Wye) ~> Morphing ('Left ('Zig 'Zag)) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Right ('Zig 'Zig)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Right ('Zig 'Zig)) <:.> Construction Wye) ~> Morphing ('Right ('Zig 'Zig)) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

Associated Types

type Morphing ('Left ('Zig 'Zig)) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Left ('Zig 'Zig)) <:.> Construction Wye) ~> Morphing ('Left ('Zig 'Zig)) (Construction Wye)

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Right ('Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye) = Binary

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Left ('Zig :: a -> Splay a) :: Wye (a -> Splay a)) (Construction Wye) = Binary

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Right ('Zig ('Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) = Binary

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Left ('Zig ('Zag :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) = Binary

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Right ('Zig ('Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) = Binary

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

Defined in Pandora.Paradigm.Structure.Splay

type Morphing ('Left ('Zig ('Zig :: a -> Splay a)) :: Wye (Splay (a -> Splay a))) (Construction Wye) = Binary