Pandora.Paradigm.Structure.Ability.Slidable

Documentation

class Slidable d (s :: * -> *) where

Associated Types

type Sliding d s :: * -> *

Methods

slide :: ((State < s e) :> Sliding d s) >>> ()

Instances

Slidable ('Right ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) (Construction (Maybe <:*:> Maybe))

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe)) :: Type -> Type

Methods

slide :: ((State < Construction (Maybe <:*:> Maybe) e) :> Sliding ('Right 'Zig) (Construction (Maybe <:*:> Maybe))) >>> ()

Slidable ('Down ('Right :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Right) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Slidable ('Down ('Left :: a -> Horizontal a) :: Vertical (a -> Horizontal a)) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding ('Down 'Left) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()

Slidable (('Right :: (a -> Splay a) -> Horizontal (a -> Splay a)) > ('Zig :: a -> Splay a) :: Horizontal (a -> Splay a)) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Sliding ('Right > 'Zig) Binary :: Type -> Type

Methods

slide :: ((State < Binary e) :> Sliding ('Right > 'Zig) Binary) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Stack structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure)) => Slidable ('Left :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Left (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Left (Tape structure)) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure), Stack structure) => Slidable ('Right :: a -> Horizontal a) (Tape structure)

Defined in Pandora.Paradigm.Structure.Modification.Tape

Associated Types

type Sliding 'Right (Tape structure) :: Type -> Type

Methods

slide :: ((State < Tape structure e) :> Sliding 'Right (Tape structure)) >>> ()

Slidable ('Down :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Down (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Right :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Right (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Left :: a -> Horizontal a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Left (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses))) e) :> Sliding 'Up (Exactly <:*:> (Roses <:*:> (List <::> Tape Roses)))) >>> ()

Slidable ('Up :: a -> Vertical a) (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) :: Type -> Type

Methods

slide :: ((State < (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary))))) e) :> Sliding 'Up (Exactly <:*:> (((Maybe <:*:> Maybe) <::> Construction (Maybe <:*:> Maybe)) <:*:> (List <::> (Horizontal <::> (Exactly <:*:> Binary)))))) >>> ()