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

Associated Types

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

Methods

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

sub :: Tap t @>>> Substance 'Tail (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)