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))) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Stack structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping 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)) >>> ()

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure), Stack 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)) >>> ()