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 :: Lens Identity (s :*: a) b

Accessible a (s :*: a)

Methods

access :: Lens Identity (s :*: a) a

Accessible s (s :*: a)

Methods

access :: Lens Identity (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) ((:*:) s)

Associated Types

type Available 'Right ((:*:) s) :: Type -> Type

type Substance 'Right ((:*:) s) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> (:*:) s) #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s)

sub :: ((:*:) s #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s)

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

Associated Types

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

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

Methods

substructure :: ((Tagged 'Tail <:.> Tap t) #=@ Substance 'Tail (Tap t)) := Available 'Tail (Tap t)

sub :: (Tap t #=@ Substance 'Tail (Tap t)) := Available 'Tail (Tap t)

Substructure ('Left :: a1 -> Wye a1) (Flip (:*:) a2)

Associated Types

type Available 'Left (Flip (:*:) a2) :: Type -> Type

type Substance 'Left (Flip (:*:) a2) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> Flip (:*:) a2) #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2)

sub :: (Flip (:*:) a2 #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Right :: a -> Wye a) ((t <:.:> t) := (:*:))

Associated Types

type Available 'Right ((t <:.:> t) := (:*:)) :: Type -> Type

type Substance 'Right ((t <:.:> t) := (:*:)) :: Type -> Type

Methods

substructure :: ((Tagged 'Right <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:))

sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:))

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Left :: a -> Wye a) ((t <:.:> t) := (:*:))

Associated Types

type Available 'Left ((t <:.:> t) := (:*:)) :: Type -> Type

type Substance 'Left ((t <:.:> t) := (:*:)) :: Type -> Type

Methods

substructure :: ((Tagged 'Left <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:))

sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:))