Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Bindable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Applicative Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Alternative Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Avoidable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Pointable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monad Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Traversable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe Methods (->>) :: (Pointable u, Applicative u) => Maybe a -> (a -> u b) -> (u :. Maybe) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Maybe a -> (u :. Maybe) := b Source # sequence :: (Pointable u, Applicative u) => ((Maybe :. u) := a) -> (u :. Maybe) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Maybe) := a) -> (a -> u b) -> (u :. (v :. Maybe)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Maybe)) := a) -> (a -> u b) -> (u :. (w :. (v :. Maybe))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Maybe))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Maybe)))) := b Source # |
Deletable List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Interpreted Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monadic Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Stack List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Measurable 'Length List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Measurable 'Heighth Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Measurable 'Length (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Monotonic a (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monotonic a (Construction Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Monotonic a (t a) => Monotonic a ((Maybe :. t) := a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monotonic a ((Maybe <:.> Construction Maybe) := a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Extendable (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Semigroup a => Semigroup (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Semigroup (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Semigroup a => Monoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monoid (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Supremum a => Supremum (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Infimum a => Infimum (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Lattice a => Lattice (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Setoid a => Setoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Setoid a => Setoid (List a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Chain a => Chain (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Nullable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Nullable List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Nullable Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Nullable Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Focusable ('Root :: Type -> Location Type) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Focusable ('Head :: Type -> Location Type) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Focusable ('Root :: Type -> Location Type) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Focusable ('Head :: Type -> Location Type) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into (o ds)) (Construction Wye) => Morphable ('Into (o ds) :: Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Morphable ('Into ('Left Maybe)) Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into ('Right Maybe)) Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into Maybe) (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into List) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into Binary) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Morphable ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Morphable ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
Morphable ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Semigroup (Construction Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Pop :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Morphable ('Push :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
(forall a1. Chain a1) => Morphable ('Insert :: a -> Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Substructure ('Tail :: a -> Segment a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Substructure ('Just :: a -> Maybe a) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
Substructure ('Right :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Substructure ('Left :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
Morphable ('Push :: a -> Morph a) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Substructure ('Tail :: a -> Segment a) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
Substructure ('Just :: a -> Maybe a) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Nonempty List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Nonempty Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Nonempty Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Zipper List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Primary Maybe a Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
type Schematic Monad Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
type Measural 'Length List a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Measural 'Heighth Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Measural 'Length (Construction Maybe) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Zipper (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Focusing ('Root :: Type -> Location Type) Rose a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Focusing ('Root :: Type -> Location Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Focusing ('Head :: Type -> Location Type) List a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Focusing ('Root :: Type -> Location Type) (Construction List) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Focusing ('Head :: Type -> Location Type) (Construction Maybe) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into (Conclusion e) :: Morph (Type -> Type)) Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into (o ds) :: Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Into ('Left Maybe)) Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into ('Right Maybe)) Wye Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into Maybe) (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into List) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into Binary) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((List <:.:> List) := (:*:))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into ('Preorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Into ('Inorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Into ('Postorder (Construction Maybe))) (Construction Wye) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Into Wye) ((Maybe <:.:> Maybe) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary |
type Morphing ('Rotate ('Up :: a -> Vertical a) :: Morph (a -> Vertical a)) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Right :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Rotate ('Down ('Left :: a -> Wye a)) :: Morph (Vertical (a -> Wye a))) ((Construction Wye <:.:> (Bifurcation <:.> Bicursor)) := (:*:)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Pop :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Push :: a -> Morph a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Morphing ('Insert :: a -> Morph a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Tail :: a -> Segment a) List Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Substructural ('Just :: a -> Maybe a) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |
type Substructural ('Right :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Substructural ('Left :: a -> Wye a) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Binary |
type Morphing ('Push :: a -> Morph a) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Substructural ('Tail :: a -> Segment a) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.List |
type Substructural ('Just :: a -> Maybe a) (Construction List) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Some.Rose |