Pandora.Paradigm.Primary.Functor.Maybe

Documentation

data Maybe a

Constructors

Nothing

Just a

Instances

Stack List

Defined in Pandora.Paradigm.Structure.Some.List

Zippable List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs List :: Type -> Type

Monoidal (-->) (-->) (:*:) (:+:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

unit :: Proxy (:*:) -> (Unit (:+:) --> a) --> Maybe a

Monoidal (-->) (-->) (:*:) (:*:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> Maybe a

Monotonic a (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

reduce :: (a -> r -> r) -> r -> Maybe a -> r

resolve :: (a -> r) -> r -> Maybe a -> r

Accessible target source => Possible target (Maybe source)

Defined in Pandora.Paradigm.Structure

Methods

perhaps :: Lens Maybe (Maybe source) target

Possible a (Maybe a)

Defined in Pandora.Paradigm.Structure

Methods

perhaps :: Lens Maybe (Maybe a) a

Monotonic a (t a) => Monotonic a ((Maybe :. t) := a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

reduce :: (a -> r -> r) -> r -> ((Maybe :. t) := a) -> r

resolve :: (a -> r) -> r -> ((Maybe :. t) := a) -> r

Semigroup a => Semigroup (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(+) :: Maybe a -> Maybe a -> Maybe a

Semigroup (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: List a -> List a -> List a

Semigroup a => Monoid (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

zero :: Maybe a

Monoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

zero :: List a

Supremum a => Supremum (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(\/) :: Maybe a -> Maybe a -> Maybe a

Infimum a => Infimum (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(/\) :: Maybe a -> Maybe a -> Maybe a

Lattice a => Lattice (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Setoid a => Setoid (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(==) :: Maybe a -> Maybe a -> Boolean

(!=) :: Maybe a -> Maybe a -> Boolean

Setoid a => Setoid (List a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(==) :: List a -> List a -> Boolean

(!=) :: List a -> List a -> Boolean

Chain a => Chain (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(<=>) :: Maybe a -> Maybe a -> Ordering

(<) :: Maybe a -> Maybe a -> Boolean

(<=) :: Maybe a -> Maybe a -> Boolean

(>) :: Maybe a -> Maybe a -> Boolean

(>=) :: Maybe a -> Maybe a -> Boolean

Semigroupoid (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c

Category (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens Maybe a a

($) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

Zippable (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs (Construction Maybe) :: Type -> Type

Zippable (Comprehension Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Breadcrumbs (Comprehension Maybe) :: Type -> Type

Nullable Maybe

Defined in Pandora.Paradigm.Structure

Methods

null :: forall (a :: k). (Predicate :. Maybe) := a

Nullable List

Defined in Pandora.Paradigm.Structure.Some.List

Methods

null :: forall (a :: k). (Predicate :. List) := a

Nullable Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Methods

null :: forall (a :: k). (Predicate :. Rose) := a

Nullable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a

Semimonoidal (-->) (:*:) (:+:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) --> Maybe (a :+: b)

Semimonoidal (-->) (:*:) (:*:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) --> Maybe (a :*: b)

Semimonoidal (<--) (:*:) (:*:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

mult :: forall (a :: k) (b :: k). (Maybe a :*: Maybe b) <-- Maybe (a :*: b)

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <:.> List) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

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

Defined in Pandora.Paradigm.Primary

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

Defined in Pandora.Paradigm.Primary

Associated Types

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

Methods

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

Morphable ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'All) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'All) <:.> List) ~> Morphing ('Delete 'All) List

Morphable ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Delete 'First) List :: Type -> Type

Methods

morphing :: (Tagged ('Delete 'First) <:.> List) ~> Morphing ('Delete 'First) List

Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Find 'Element) List :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <:.> List) ~> Morphing ('Find 'Element) List

Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (o ds)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Into (o ds)) <:.> Binary) ~> Morphing ('Into (o ds)) Binary

Morphable ('Into ('Left Maybe)) Wye

Defined in Pandora.Paradigm.Primary

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

Defined in Pandora.Paradigm.Primary

Associated Types

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

Methods

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

Morphable ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Right 'Zig)) Binary

Morphable ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left 'Zig)) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left 'Zig)) <:.> Binary) ~> Morphing ('Rotate ('Left 'Zig)) Binary

Morphable ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zag))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zag))) Binary

Morphable ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zag))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zag))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zag))) Binary

Morphable ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Right ('Zig 'Zig))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Right ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Right ('Zig 'Zig))) Binary

Morphable ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

Associated Types

type Morphing ('Rotate ('Left ('Zig 'Zig))) Binary :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Left ('Zig 'Zig))) <:.> Binary) ~> Morphing ('Rotate ('Left ('Zig 'Zig))) Binary

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <:.> Construction Maybe) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

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

Defined in Pandora.Paradigm.Primary.Linear.Vector

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)

Defined in Pandora.Paradigm.Primary

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) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

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

Methods

morphing :: (Tagged ('Into List) <:.> Construction Maybe) ~> Morphing ('Into List) (Construction Maybe)

Morphable ('Into List) (Vector r)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Associated Types

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

Methods

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

Morphable ('Into Binary) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Into Binary) (Construction Wye) :: Type -> Type

Methods

morphing :: (Tagged ('Into Binary) <:.> Construction Wye) ~> Morphing ('Into Binary) (Construction Wye)

Morphable ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Find 'Element) (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Find 'Element) <:.> Construction Maybe) ~> Morphing ('Find 'Element) (Construction Maybe)

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

Defined in Pandora.Paradigm.Primary

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)

Defined in Pandora.Paradigm.Primary

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)

Defined in Pandora.Paradigm.Structure

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)

Defined in Pandora.Paradigm.Structure

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)

Defined in Pandora.Paradigm.Structure

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)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key)

Setoid k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Rose k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Rose k) ~> Morphing ('Lookup 'Key) (Prefixed Rose k)

Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k)

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary k)

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

Defined in Pandora.Paradigm.Primary

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)

Defined in Pandora.Paradigm.Primary

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 ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Primary

Associated Types

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

Methods

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

Morphable ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Into List) (Construction Maybe <:.> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into List) (Construction Maybe <:.> Maybe) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <:.> (Construction Maybe <:.> Maybe)) ~> Morphing ('Into List) (Construction Maybe <:.> Maybe)

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Right) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ~> Morphing ('Rotate 'Left) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Up) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate 'Up) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Right)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Right)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate ('Down 'Left)) <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))) ~> Morphing ('Rotate ('Down 'Left)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

Defined in Pandora.Paradigm.Inventory.Optics

Associated Types

type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Maybe source target)

Semigroup (Construction Maybe a)

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(+) :: Construction Maybe a -> Construction Maybe a -> Construction Maybe a

Bindable ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b

Interpreted ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Associated Types

type Primary Maybe a

Methods

run :: Maybe a -> Primary Maybe a

unite :: Primary Maybe a -> Maybe a

(!) :: Maybe a -> Primary Maybe a

(||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary Maybe a -> Primary u b) -> Maybe a -> u b

(=||) :: (Semigroupoid (->), Interpreted (->) u) => (Maybe a -> u b) -> Primary Maybe a -> Primary u b

(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary Maybe a -> Primary u b) -> (j := Maybe a) -> (j := u b)

(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Maybe a -> u b) -> (j := Primary Maybe a) -> (j := Primary u b)

Monadic ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => Maybe a -> (Maybe :> u) a

Morphable ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Pop List :: Type -> Type

Methods

morphing :: (Tagged 'Pop <:.> List) ~> Morphing 'Pop List

Morphable ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Push List :: Type -> Type

Methods

morphing :: (Tagged 'Push <:.> List) ~> Morphing 'Push List

Morphable ('Insert :: a -> Morph a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing 'Insert Binary :: Type -> Type

Methods

morphing :: (Tagged 'Insert <:.> Binary) ~> Morphing 'Insert Binary

Substructure ('Tail :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Available 'Tail List :: Type -> Type

type Substance 'Tail List :: Type -> Type

Methods

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

sub :: (List #=@ Substance 'Tail List) := Available 'Tail List

Substructure ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Available 'Root List :: Type -> Type

type Substance 'Root List :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> List) #=@ Substance 'Root List) := Available 'Root List

sub :: (List #=@ Substance 'Root List) := Available 'Root List

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Right Binary :: Type -> Type

type Substance 'Right Binary :: Type -> Type

Methods

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

sub :: (Binary #=@ Substance 'Right Binary) := Available 'Right Binary

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

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Available 'Left Binary :: Type -> Type

type Substance 'Left Binary :: Type -> Type

Methods

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

sub :: (Binary #=@ Substance 'Left Binary) := Available 'Left Binary

Morphable ('Push :: a -> Morph a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing 'Push (Construction Maybe) :: Type -> Type

Methods

morphing :: (Tagged 'Push <:.> Construction Maybe) ~> Morphing 'Push (Construction Maybe)

Substructure ('Root :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Available 'Root (Construction Maybe) :: Type -> Type

type Substance 'Root (Construction Maybe) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction Maybe) #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe)

sub :: (Construction Maybe #=@ Substance 'Root (Construction Maybe)) := Available 'Root (Construction Maybe)

Substructure ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Available 'Tail (Construction Maybe) :: Type -> Type

type Substance 'Tail (Construction Maybe) :: Type -> Type

Methods

substructure :: ((Tagged 'Tail <:.> Construction Maybe) #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe)

sub :: (Construction Maybe #=@ Substance 'Tail (Construction Maybe)) := Available 'Tail (Construction Maybe)

Substructure ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Available 'Tail (Construction List) :: Type -> Type

type Substance 'Tail (Construction List) :: Type -> Type

Methods

substructure :: ((Tagged 'Tail <:.> Construction List) #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List)

sub :: (Construction List #=@ Substance 'Tail (Construction List)) := Available 'Tail (Construction List)

Substructure ('Root :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Available 'Root (Construction List) :: Type -> Type

type Substance 'Root (Construction List) :: Type -> Type

Methods

substructure :: ((Tagged 'Root <:.> Construction List) #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List)

sub :: (Construction List #=@ Substance 'Root (Construction List)) := Available 'Root (Construction List)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(<-|-) :: (a -> b) -> Maybe a -> Maybe b

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Maybe a -> u (Maybe b)

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> u (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b)

Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

Methods

(<<=) :: (((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> b) -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) a -> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) b

type Nonempty List

Defined in Pandora.Paradigm.Structure.Some.List

type Nonempty List = Construction Maybe

type Nonempty Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

type Nonempty Rose = Construction List

type Nonempty Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Nonempty Binary = Construction Wye

type Combinative List

Defined in Pandora.Paradigm.Structure.Some.List

type Combinative List = Comprehension Maybe

type Breadcrumbs List

Defined in Pandora.Paradigm.Structure.Some.List

type Breadcrumbs List = (List <:.:> List) := (:*:)

type Primary Maybe a

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Primary Maybe a = Maybe a

type Schematic Monad Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

type Schematic Monad Maybe = (<.:>) Maybe

type Breadcrumbs (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Breadcrumbs (Construction Maybe) = (Construction Maybe <:.:> Construction Maybe) := (:*:)

type Breadcrumbs (Comprehension Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Breadcrumbs (Comprehension Maybe) = (Comprehension Maybe <:.:> Comprehension Maybe) := (:*:)

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) List = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

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

Defined in Pandora.Paradigm.Primary

type Morphing ('Into (Flip Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Flip Conclusion e

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

Defined in Pandora.Paradigm.Primary

type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe = ((->) e :: Type -> Type) <:.> Conclusion e

type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Delete ('All :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)

type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Delete ('First :: a -> Occurrence a) :: Morph (a -> Occurrence a)) List = (Predicate <:.:> List) := ((->) :: Type -> Type -> Type)

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) List = (Predicate <:.:> Maybe) := ((->) :: Type -> Type -> Type)

type Morphing ('Into (o ds) :: Morph a) Binary

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (o ds) :: Morph a) Binary = Maybe <:.> Morphing ('Into (o ds)) (Construction Wye)

type Morphing ('Into ('Left Maybe)) Wye

Defined in Pandora.Paradigm.Primary

type Morphing ('Into ('Left Maybe)) Wye = Maybe

type Morphing ('Into ('Right Maybe)) Wye

Defined in Pandora.Paradigm.Primary

type Morphing ('Into ('Right Maybe)) Wye = Maybe

type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Right ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary

type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Left ('Zig :: a -> Splay a)) :: Morph (Wye (a -> Splay a))) Binary = Binary

type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Right ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Left ('Zig ('Zag :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Right ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary

Defined in Pandora.Paradigm.Structure.Some.Splay

type Morphing ('Rotate ('Left ('Zig ('Zig :: a -> Splay a))) :: Morph (Wye (Splay (a -> Splay a)))) Binary = Binary

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) (Construction Maybe) = (Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)

type Morphing ('Into (Construction Maybe)) (Vector r)

Defined in Pandora.Paradigm.Primary.Linear.Vector

type Morphing ('Into (Construction Maybe)) (Vector r) = Construction Maybe

type Morphing ('Into Maybe) (Conclusion e)

Defined in Pandora.Paradigm.Primary

type Morphing ('Into Maybe) (Conclusion e) = Maybe

type Morphing ('Into List) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe) = List

type Morphing ('Into List) (Vector r)

Defined in Pandora.Paradigm.Primary.Linear.Vector

type Morphing ('Into List) (Vector r) = List

type Morphing ('Into Binary) (Construction Wye)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Into Binary) (Construction Wye) = Binary

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Find ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Construction Maybe) = (Predicate <:.:> Maybe) := ((->) :: Type -> Type -> Type)

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

Defined in Pandora.Paradigm.Primary

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

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

Defined in Pandora.Paradigm.Primary

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

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) = Construction Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) = ((->) key :: Type -> Type) <:.> Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) = ((->) key :: Type -> Type) <:.> Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) = ((->) (Nonempty List k) :: Type -> Type) <:.> Maybe

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = (((:*:) k <:.> Identity) <:.:> Prefixed Binary k) := ((->) :: Type -> Type -> Type)

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = ((->) k :: Type -> Type) <:.> Maybe

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

Defined in Pandora.Paradigm.Primary

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

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

Defined in Pandora.Paradigm.Primary

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

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = (Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)

type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:))

Defined in Pandora.Paradigm.Primary

type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) = Wye

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Construction Maybe)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Construction Maybe

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Comprehension Maybe)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Comprehension Maybe

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = List

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = List

type Morphing ('Into List) (Construction Maybe <:.> Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into List) (Construction Maybe <:.> Maybe) = List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((Construction Maybe <:.:> Construction Maybe) := (:*:))) := (:*:))

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:)) = Maybe <:.> ((Identity <:.:> ((List <:.:> List) := (:*:))) := (:*:))

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) = Maybe <:.> ((((Identity <:.:> (Wye <:.> Construction Wye)) := (:*:)) <:.:> (Bifurcation <:.> Bicursor)) := (:*:))

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

Defined in Pandora.Paradigm.Inventory.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type) = (source -> Maybe target) -> (source -> Maybe target -> source) -> Lens Maybe source target

type Morphing ('Pop :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Pop :: a -> Morph a) List = List

type Morphing ('Push :: a -> Morph a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Push :: a -> Morph a) List = (Identity <:.:> List) := ((->) :: Type -> Type -> Type)

type Morphing ('Insert :: a -> Morph a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Insert :: a -> Morph a) Binary = (((Identity <:.:> Comparison) := (:*:)) <:.:> Binary) := ((->) :: Type -> Type -> Type)

type Available ('Tail :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Available ('Tail :: a -> Segment a) List = Identity

type Available ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Available ('Root :: a -> Segment a) List = Maybe

type Available ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Right :: a -> Wye a) Binary = Maybe

type Available ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Available ('Left :: a -> Wye a) Binary = Maybe

type Substance ('Tail :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Tail :: a -> Segment a) List = List

type Substance ('Root :: a -> Segment a) List

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Root :: a -> Segment a) List = Identity

type Substance ('Right :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Right :: a -> Wye a) Binary = Construction Wye

type Substance ('Left :: a -> Wye a) Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

type Substance ('Left :: a -> Wye a) Binary = Construction Wye

type Morphing ('Push :: a -> Morph a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Push :: a -> Morph a) (Construction Maybe) = (Identity <:.:> Construction Maybe) := ((->) :: Type -> Type -> Type)

type Available ('Root :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Available ('Root :: a -> Segment a) (Construction Maybe) = Identity

type Available ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Available ('Tail :: a -> Segment a) (Construction Maybe) = Identity

type Available ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Available ('Tail :: a -> Segment a) (Construction List) = Identity

type Available ('Root :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Available ('Root :: a -> Segment a) (Construction List) = Identity

type Substance ('Root :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Root :: a -> Segment a) (Construction Maybe) = Identity

type Substance ('Tail :: a -> Segment a) (Construction Maybe)

Defined in Pandora.Paradigm.Structure.Some.List

type Substance ('Tail :: a -> Segment a) (Construction Maybe) = List

type Substance ('Tail :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Tail :: a -> Segment a) (Construction List) = List <:.> Construction List

type Substance ('Root :: a -> Segment a) (Construction List)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Substance ('Root :: a -> Segment a) (Construction List) = Identity

type Optional t = Adaptable t (->) Maybe

nothing :: Optional t => t a