Pandora.Paradigm.Structure
Contents
module Pandora.Paradigm.Structure.Some
module Pandora.Paradigm.Structure.Modification
module Pandora.Paradigm.Structure.Interface
module Pandora.Paradigm.Structure.Ability
Methods
reduce :: (s -> r -> r) -> r -> (s :*: a) -> r Source #
resolve :: (s -> r) -> r -> (s :*: a) -> r Source #
access :: (s :*: a) :-. b Source #
access :: (s :*: a) :-. a Source #
access :: (s :*: a) :-. s Source #
null :: forall (a :: k). (Predicate :. Maybe) := a Source #
Associated Types
type Focusing 'Left (Product s) a Source #
focusing :: Tagged 'Left (Product s a) :-. Focusing 'Left (Product s) a Source #
type Focusing 'Right (Product s) a Source #
focusing :: Tagged 'Right (Product s a) :-. Focusing 'Right (Product s) a Source #
type Morphing ('Into (o ds)) Binary :: Type -> Type Source #
morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary Source #
type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Preorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Inorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source #
type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) :: Type -> Type Source #
morphing :: (Tagged ('Into ('Postorder (Construction Maybe))) <:.> Construction Wye) ~> Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source #
type Substructural 'Tail (Tap t) :: Type -> Type Source #
substructure :: (Tagged 'Tail <:.> Tap t) :~. Substructural 'Tail (Tap t) Source #
sub :: Tap t :~. Substructural 'Tail (Tap t) Source #
subview :: Tap t ~> Substructural 'Tail (Tap t) Source #
substitute :: (Substructural 'Tail (Tap t) a0 -> Substructural 'Tail (Tap t) a0) -> Tap t a0 -> Tap t a0 Source #
subplace :: Substructural 'Tail (Tap t) a0 -> Tap t a0 -> Tap t a0 Source #
type Substructural 'Right (Product s) :: Type -> Type Source #
substructure :: (Tagged 'Right <:.> Product s) :~. Substructural 'Right (Product s) Source #
sub :: Product s :~. Substructural 'Right (Product s) Source #
subview :: Product s ~> Substructural 'Right (Product s) Source #
substitute :: (Substructural 'Right (Product s) a0 -> Substructural 'Right (Product s) a0) -> Product s a0 -> Product s a0 Source #
subplace :: Substructural 'Right (Product s) a0 -> Product s a0 -> Product s a0 Source #