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

Accessible (Maybe target) source => Possible target source

Methods

perhaps :: Lens Maybe source target

Accessible target source => Possible target (Maybe source)

Methods

perhaps :: Lens Maybe (Maybe source) target

Possible a (Maybe a)

Methods

perhaps :: Lens Maybe (Maybe a) a

Accessible a (Exactly a)

Methods

access :: Lens Exactly (Exactly a) a

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

Methods

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

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

Possible o (o :+: a)

Methods

perhaps :: Lens Maybe (o :+: a) o

Possible a (o :+: a)

Methods

perhaps :: Lens Maybe (o :+: a) a

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

Methods

access :: Lens Exactly (s :*: a) b

Accessible a (s :*: a)

Methods

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

Accessible s (s :*: a)

Methods

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

Morphable ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe

Associated Types

type Morphing ('Into (Flip Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Flip Conclusion e)) <::> Maybe) ~> Morphing ('Into (Flip Conclusion e)) Maybe

Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe

Associated Types

type Morphing ('Into (Conclusion e)) Maybe :: Type -> Type

Methods

morphing :: (Tagged ('Into (Conclusion e)) <::> Maybe) ~> Morphing ('Into (Conclusion e)) Maybe

Morphable ('Into ('Left Maybe)) Wye

Associated Types

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

Methods

morphing :: (Tagged ('Into ('Left Maybe)) <::> Wye) ~> Morphing ('Into ('Left Maybe)) Wye

Morphable ('Into ('Right Maybe)) Wye

Associated Types

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

Methods

morphing :: (Tagged ('Into ('Right Maybe)) <::> Wye) ~> Morphing ('Into ('Right Maybe)) Wye

Morphable ('Into (Construction Maybe)) (Vector r)

Associated Types

type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <::> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r)

Morphable ('Into Maybe) (Conclusion e)

Associated Types

type Morphing ('Into Maybe) (Conclusion e) :: Type -> Type

Methods

morphing :: (Tagged ('Into Maybe) <::> Conclusion e) ~> Morphing ('Into Maybe) (Conclusion e)

Morphable ('Into List) (Vector r)

Associated Types

type Morphing ('Into List) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r)

Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2)

Associated Types

type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('There Maybe)) <::> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2)

Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2)

Associated Types

type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('This Maybe)) <::> These e2) ~> Morphing ('Into ('This Maybe)) (These e2)

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)

Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2)

Associated Types

type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('Here Maybe)) <::> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2)

Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Associated Types

type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('That Maybe)) <::> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2)

Morphable ('Into Wye) (Maybe <:*:> Maybe)

Associated Types

type Morphing ('Into Wye) (Maybe <:*:> Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into Wye) <::> (Maybe <:*:> Maybe)) ~> Morphing ('Into Wye) (Maybe <:*:> Maybe)

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

Associated Types

type Substance 'Right Wye :: Type -> Type

Methods

substructure :: (Tagged 'Right <:.> Wye) @>>> Substance 'Right Wye

sub :: Wye @>>> Substance 'Right Wye

Substructure ('Left :: a -> Wye a) Wye

Associated Types

type Substance 'Left Wye :: Type -> Type

Methods

substructure :: (Tagged 'Left <:.> Wye) @>>> Substance 'Left Wye

sub :: Wye @>>> Substance 'Left Wye

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

Associated Types

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

Methods

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

sub :: (:*:) s @>>> Substance 'Right ((:*:) s)

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

Associated Types

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

Methods

substructure :: (Tagged 'Rest <:.> Tap t) @>>> Substance 'Rest (Tap t)

sub :: Tap t @>>> Substance 'Rest (Tap t)

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

Associated Types

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

Methods

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

sub :: Flip (:*:) a2 @>>> Substance 'Left (Flip (:*:) a2)