Pandora.Paradigm.Structure

Documentation

module Pandora.Paradigm.Structure.Some

module Pandora.Paradigm.Structure.Modification

module Pandora.Paradigm.Structure.Interface

module Pandora.Paradigm.Structure.Ability

Orphan instances

Monotonic s a => Monotonic s (s :*: a)

Methods

reduce :: (s -> r -> r) -> r -> (s :*: a) -> r

resolve :: (s -> r) -> r -> (s :*: a) -> r

Accessible b a => Accessible b (s :*: a)

Methods

access :: (s :*: a) :-. b

Accessible a (s :*: a)

Methods

access :: (s :*: a) :-. a

Accessible s (s :*: a)

Methods

access :: (s :*: a) :-. s

Nullable Maybe

Methods

null :: forall (a :: k). (Predicate :. Maybe) := a

Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary

Associated Types

type Morphing ('Into (o ds)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary

Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Associated Types

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Associated Types

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Associated Types

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye)

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

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 => Substructure ('Tail :: a -> Segment a) (Tap t)

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 ('Left :: a1 -> Wye a1) (Flip Product a2)

Associated Types

type Substructural 'Left (Flip Product a2) :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Flip Product a2) :~. Substructural 'Left (Flip Product a2)

sub :: Flip Product a2 :~. Substructural 'Left (Flip Product a2)