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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Tail List :: Type -> Type

Methods

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

sub :: List :~. Substructural 'Tail List

subview :: List ~> Substructural 'Tail List

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

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

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

Defined in Pandora.Paradigm.Structure.Some.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.Some.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.Some.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.Some.List

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

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

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

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

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

Defined in Pandora.Paradigm.Structure.Some.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.Some.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 Segment a

Constructors

Tail a

Instances

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

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Substructural 'Tail List :: Type -> Type

Methods

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

sub :: List :~. Substructural 'Tail List

subview :: List ~> Substructural 'Tail List

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

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure.Some.List

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

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

Defined in Pandora.Paradigm.Structure

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