Insertable Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
(forall a. Chain a) => Insertable Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
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 # |
Interpreted Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monadic Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Insertable (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Semigroup a => Semigroup (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Semigroup (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Semigroup a => Monoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monoid (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
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 (Stack a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Chain a => Chain (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monotonic (Maybe a) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Substructure ('Left :: Type -> Wye Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Substructure ('Right :: Type -> Wye Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Substructure ('Just :: Type -> Maybe Type) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
Focusable ('Root :: Type -> Location Type) Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Focusable ('Head :: Type -> Location Type) Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Substructure ('Just :: Type -> Maybe Type) (Construction Stack) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
Focusable ('Root :: Type -> Location Type) (Construction Stack) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
Focusable ('Head :: Type -> Location Type) (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Down ('Right :: a -> Wye a) :: Direction (a -> Wye a)) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Rotatable ('Down ('Left :: a -> Wye a) :: Direction (a -> Wye a)) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Monotonic (Construction Maybe a) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Up :: a -> Direction a) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
Covariant u => Covariant (Maybe <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
(Pointable u, Bindable u) => Bindable (Maybe <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Applicative u => Applicative (Maybe <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Pointable u => Pointable (Maybe <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monad u => Monad (Maybe <.:> u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monotonic (t a) a => Monotonic ((Maybe :. t) := a) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Maybe |
Monotonic ((Maybe <:.> Construction Maybe) := a) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Nonempty Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Nonempty Rose Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
type Nonempty Binary Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Zipper Stack Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
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 Zipper (Construction Maybe) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Substructural ('Left :: Type -> Wye Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Substructural ('Right :: Type -> Wye Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Substructural ('Just :: Type -> Maybe Type) Rose a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
type Focusing ('Root :: Type -> Location Type) Rose a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
type Focusing ('Root :: Type -> Location Type) Binary a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Focusing ('Head :: Type -> Location Type) Stack a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Substructural ('Just :: Type -> Maybe Type) (Construction Stack) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
type Focusing ('Root :: Type -> Location Type) (Construction Stack) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Rose |
type Focusing ('Head :: Type -> Location Type) (Construction Maybe) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Down ('Right :: a1 -> Wye a1) :: Direction (a1 -> Wye a1)) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Rotational ('Down ('Left :: a1 -> Wye a1) :: Direction (a1 -> Wye a1)) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |
type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Up :: a1 -> Direction a1) (Construction Wye <:.:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Binary |