Pandora.Paradigm.Structure.Ability.Morphable

Documentation

class Morphable f t where

Associated Types

type Morphing (f :: k) (t :: * -> *) :: * -> *

Methods

morphing :: (Tagged f <:.> t) ~> Morphing f t

Instances

Morphable o (Construction Wye) => Morphable (o :: k) Binary

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing o Binary :: Type -> Type

Methods

morphing :: (Tagged o <:.> Binary) ~> Morphing o Binary

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)

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack))

Morphable ('Down ('Right :: a -> Wye a) :: Vertical (a -> Wye a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing ('Down 'Right) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Down 'Right) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing ('Down 'Right) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Morphable ('Down ('Left :: a -> Wye a) :: Vertical (a -> Wye a)) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing ('Down 'Left) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged ('Down 'Left) <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing ('Down 'Left) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Morphable Stack (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing Stack (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged Stack <:.> Construction Maybe) ~> Morphing Stack (Construction Maybe)

Morphable ('Postorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Postorder (Construction Wye) :: Type -> Type

Methods

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

Morphable ('Inorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Inorder (Construction Wye) :: Type -> Type

Methods

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

Morphable ('Preorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Preorder (Construction Wye) :: Type -> Type

Methods

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

Morphable ('Up :: a -> Vertical a) (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Morphing 'Up (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) :: Type -> Type

Methods

morphing :: (Tagged 'Up <:.> T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) ~> Morphing 'Up (T_U Covariant Covariant (Construction Wye) (:*:) ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye)))

morph :: forall f t. Morphable f t => t ~> Morphing f t

data Walk a

Constructors

Preorder a

Inorder a

Postorder a

Levelorder a

Instances

Morphable ('Postorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Postorder (Construction Wye) :: Type -> Type

Methods

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

Morphable ('Inorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Inorder (Construction Wye) :: Type -> Type

Methods

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

Morphable ('Preorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing 'Preorder (Construction Wye) :: Type -> Type

Methods

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

type Morphing ('Postorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Postorder :: a -> Walk a) (Construction Wye) = Construction Maybe

type Morphing ('Inorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Inorder :: a -> Walk a) (Construction Wye) = Construction Maybe

type Morphing ('Preorder :: a -> Walk a) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Preorder :: a -> Walk a) (Construction Wye) = Construction Maybe

data Morph a

Constructors

Rotate a

Instances

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stream)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Construction Maybe)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Construction Maybe))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stack))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((:*:) <:.:> Stack)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stack))

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) = Tap ((:*:) <:.:> Stream)

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream))

Defined in Pandora.Paradigm.Structure.Stream

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) = Tap ((:*:) <:.:> Stream)

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) = Maybe <:.> Zipper (Construction Maybe)

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Construction Maybe)) = Maybe <:.> Zipper (Construction Maybe)

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) = Maybe <:.> Zipper Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack))

Defined in Pandora.Paradigm.Structure.Stack

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stack)) = Maybe <:.> Zipper Stack