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
perhaps :: Lens Maybe source target Source #
perhaps :: Lens Maybe (Maybe source) target Source #
perhaps :: Lens Maybe (Maybe a) a Source #
access :: Lens Exactly (Exactly a) a Source #
reduce :: (s -> r -> r) -> r -> (s :*: a) -> r Source #
resolve :: (s -> r) -> r -> (s :*: a) -> r Source #
perhaps :: Lens Maybe (o :+: a) o Source #
perhaps :: Lens Maybe (o :+: a) a Source #
access :: Lens Exactly (s :*: a) b Source #
access :: Lens Exactly (s :*: a) a Source #
access :: Lens Exactly (s :*: a) s Source #
Associated Types
type Morphing ('Into (o ds)) Binary :: Type -> Type Source #
morphing :: (Tagged ('Into (o ds)) <::> Binary) ~> Morphing ('Into (o ds)) Binary Source #
type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type Source #
morphing :: (Tagged ('Into (Construction Maybe)) <::> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r) Source #
type Morphing ('Into List) (Vector r) :: Type -> Type Source #
morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r) 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 Available 'Right ((:*:) s) :: Type -> Type Source #
type Substance 'Right ((:*:) s) :: Type -> Type Source #
substructure :: ((Tagged 'Right <:.> (:*:) s) #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s) Source #
sub :: ((:*:) s #=@ Substance 'Right ((:*:) s)) := Available 'Right ((:*:) s) Source #
type Available 'Tail (Tap t) :: Type -> Type Source #
type Substance 'Tail (Tap t) :: Type -> Type Source #
substructure :: ((Tagged 'Tail <:.> Tap t) #=@ Substance 'Tail (Tap t)) := Available 'Tail (Tap t) Source #
sub :: (Tap t #=@ Substance 'Tail (Tap t)) := Available 'Tail (Tap t) Source #
type Available 'Left (Flip (:*:) a2) :: Type -> Type Source #
type Substance 'Left (Flip (:*:) a2) :: Type -> Type Source #
substructure :: ((Tagged 'Left <:.> Flip (:*:) a2) #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2) Source #
sub :: (Flip (:*:) a2 #=@ Substance 'Left (Flip (:*:) a2)) := Available 'Left (Flip (:*:) a2) Source #
type Available 'Right ((t <:.:> t) := (:*:)) :: Type -> Type Source #
type Substance 'Right ((t <:.:> t) := (:*:)) :: Type -> Type Source #
substructure :: ((Tagged 'Right <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:)) Source #
sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Right ((t <:.:> t) := (:*:))) := Available 'Right ((t <:.:> t) := (:*:)) Source #
type Available 'Left ((t <:.:> t) := (:*:)) :: Type -> Type Source #
type Substance 'Left ((t <:.:> t) := (:*:)) :: Type -> Type Source #
substructure :: ((Tagged 'Left <:.> ((t <:.:> t) := (:*:))) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:)) Source #
sub :: (((t <:.:> t) := (:*:)) #=@ Substance 'Left ((t <:.:> t) := (:*:))) := Available 'Left ((t <:.:> t) := (:*:)) Source #