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 :: Covariant t => t :~. Substructural f t

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

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

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

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

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)

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)

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)

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)

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)

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)

(Covariant t, Covariant (Substructural i t), Substructure i t, Substructure j (Substructural i t)) => Substructure (i |> j :: k2 -> Type) t

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substructural (i |> j) t :: Type -> Type

Methods

substructure :: (Tagged (i |> j) <:.> t) :~. Substructural (i |> j) t

sub :: t :~. Substructural (i |> j) t

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

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)

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)

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

data ((i :: * -> k) |> (j :: * -> k')) a

Instances

(Covariant t, Covariant (Substructural i t), Substructure i t, Substructure j (Substructural i t)) => Substructure (i |> j :: k2 -> Type) t

Defined in Pandora.Paradigm.Structure.Ability.Substructure

Associated Types

type Substructural (i |> j) t :: Type -> Type

Methods

substructure :: (Tagged (i |> j) <:.> t) :~. Substructural (i |> j) t

sub :: t :~. Substructural (i |> j) t

type Substructural (i |> j :: k2 -> Type) t

Defined in Pandora.Paradigm.Structure.Ability.Substructure

type Substructural (i |> j :: k2 -> Type) t = Substructural j (Substructural i t)

type Substructured i source target = (Substructure i source, Substructural i source ~ target)