Pandora.Paradigm.Structure.Ability.Substructure

Documentation

class Substructure f t where

Minimal complete definition

substructure

Associated Types

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

Methods

substructure :: (Tagged f <:.> t) :~. Substructural f t

sub :: t :~. Substructural f t

subview :: t ~> Substructural f t

substitute :: (Substructural f t a -> Substructural f t a) -> t a -> t a

subplace :: Substructural f t a -> t a -> t a

Instances

Substructure ('Tail :: a -> Segment a) Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural 'Tail Stack :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Stack) :~. Substructural 'Tail Stack

sub :: Stack :~. Substructural 'Tail Stack

subview :: Stack ~> Substructural 'Tail Stack

substitute :: (Substructural 'Tail Stack a0 -> Substructural 'Tail Stack a0) -> Stack a0 -> Stack a0

subplace :: Substructural 'Tail Stack a0 -> Stack a0 -> Stack a0

Substructure ('Just :: a -> Maybe a) Rose

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just Rose :: Type -> Type

Methods

substructure :: (Tagged 'Just <:.> Rose) :~. Substructural 'Just Rose

sub :: Rose :~. Substructural 'Just Rose

subview :: Rose ~> Substructural 'Just Rose

substitute :: (Substructural 'Just Rose a0 -> Substructural 'Just Rose a0) -> Rose a0 -> Rose a0

subplace :: Substructural 'Just Rose a0 -> Rose a0 -> Rose a0

Substructure ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right Binary :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Binary) :~. Substructural 'Right Binary

sub :: Binary :~. Substructural 'Right Binary

subview :: Binary ~> Substructural 'Right Binary

substitute :: (Substructural 'Right Binary a0 -> Substructural 'Right Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Right Binary a0 -> Binary a0 -> Binary a0

Substructure ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left Binary :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Binary) :~. Substructural 'Left Binary

sub :: Binary :~. Substructural 'Left Binary

subview :: Binary ~> Substructural 'Left Binary

substitute :: (Substructural 'Left Binary a0 -> Substructural 'Left Binary a0) -> Binary a0 -> Binary a0

subplace :: Substructural 'Left Binary a0 -> Binary a0 -> Binary a0

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) :~. Substructural 'Tail (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Tail (Construction Maybe)

subview :: Construction Maybe ~> Substructural 'Tail (Construction Maybe)

substitute :: (Substructural 'Tail (Construction Maybe) a0 -> Substructural 'Tail (Construction Maybe) a0) -> Construction Maybe a0 -> Construction Maybe a0

subplace :: Substructural 'Tail (Construction Maybe) a0 -> Construction Maybe a0 -> Construction Maybe a0

Substructure ('Just :: a -> Maybe a) (Construction Stack)

Defined in Pandora.Paradigm.Structure.Rose

Associated Types

type Substructural 'Just (Construction Stack) :: Type -> Type

Methods

substructure :: (Tagged 'Just <:.> Construction Stack) :~. Substructural 'Just (Construction Stack)

sub :: Construction Stack :~. Substructural 'Just (Construction Stack)

subview :: Construction Stack ~> Substructural 'Just (Construction Stack)

substitute :: (Substructural 'Just (Construction Stack) a0 -> Substructural 'Just (Construction Stack) a0) -> Construction Stack a0 -> Construction Stack a0

subplace :: Substructural 'Just (Construction Stack) a0 -> Construction Stack a0 -> Construction Stack a0

Substructure ('Right :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Right (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Construction Wye) :~. Substructural 'Right (Construction Wye)

sub :: Construction Wye :~. Substructural 'Right (Construction Wye)

subview :: Construction Wye ~> Substructural 'Right (Construction Wye)

substitute :: (Substructural 'Right (Construction Wye) a0 -> Substructural 'Right (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Right (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0

Substructure ('Left :: a -> Wye a) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Binary

Associated Types

type Substructural 'Left (Construction Wye) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Construction Wye) :~. Substructural 'Left (Construction Wye)

sub :: Construction Wye :~. Substructural 'Left (Construction Wye)

subview :: Construction Wye ~> Substructural 'Left (Construction Wye)

substitute :: (Substructural 'Left (Construction Wye) a0 -> Substructural 'Left (Construction Wye) a0) -> Construction Wye a0 -> Construction Wye a0

subplace :: Substructural 'Left (Construction Wye) a0 -> Construction Wye a0 -> Construction Wye a0

Covariant t => Substructure ('Tail :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Tail (Tap t) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t)

sub :: Tap t :~. Substructural 'Tail (Tap t)

subview :: Tap t ~> Substructural 'Tail (Tap t)

substitute :: (Substructural 'Tail (Tap t) a0 -> Substructural 'Tail (Tap t) a0) -> Tap t a0 -> Tap t a0

subplace :: Substructural 'Tail (Tap t) a0 -> Tap t a0 -> Tap t a0

Substructure ('Right :: a -> Wye a) (Product s)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right (Product s) :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Product s) :~. Substructural 'Right (Product s)

sub :: Product s :~. Substructural 'Right (Product s)

subview :: Product s ~> Substructural 'Right (Product s)

substitute :: (Substructural 'Right (Product s) a0 -> Substructural 'Right (Product s) a0) -> Product s a0 -> Product s a0

subplace :: Substructural 'Right (Product s) a0 -> Product s a0 -> Product s a0

data Command a

Constructors

Delete a

data Segment a

Constructors

All a

First a

Tail a

Instances

Substructure ('Tail :: a -> Segment a) Stack

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural 'Tail Stack :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Stack) :~. Substructural 'Tail Stack

sub :: Stack :~. Substructural 'Tail Stack

subview :: Stack ~> Substructural 'Tail Stack

substitute :: (Substructural 'Tail Stack a0 -> Substructural 'Tail Stack a0) -> Stack a0 -> Stack a0

subplace :: Substructural 'Tail Stack a0 -> Stack a0 -> Stack a0

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

Associated Types

type Substructural 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Construction Maybe) :~. Substructural 'Tail (Construction Maybe)

sub :: Construction Maybe :~. Substructural 'Tail (Construction Maybe)

subview :: Construction Maybe ~> Substructural 'Tail (Construction Maybe)

substitute :: (Substructural 'Tail (Construction Maybe) a0 -> Substructural 'Tail (Construction Maybe) a0) -> Construction Maybe a0 -> Construction Maybe a0

subplace :: Substructural 'Tail (Construction Maybe) a0 -> Construction Maybe a0 -> Construction Maybe a0

Covariant t => Substructure ('Tail :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Tail (Tap t) :: Type -> Type

Methods

substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t)

sub :: Tap t :~. Substructural 'Tail (Tap t)

subview :: Tap t ~> Substructural 'Tail (Tap t)

substitute :: (Substructural 'Tail (Tap t) a0 -> Substructural 'Tail (Tap t) a0) -> Tap t a0 -> Tap t a0

subplace :: Substructural 'Tail (Tap t) a0 -> Tap t a0 -> Tap t a0

type Substructural ('Tail :: a -> Segment a) Stack

Defined in Pandora.Paradigm.Structure.Stack

type Substructural ('Tail :: a -> Segment a) Stack = Stack

type Substructural ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Stack

type Substructural ('Tail :: a -> Segment a) (Construction Maybe) = Stack

type Substructural ('Tail :: a -> Segment a) (Tap t)

Defined in Pandora.Paradigm.Structure

type Substructural ('Tail :: a -> Segment a) (Tap t) = t