Covariant (t <:.> Construction t) => Covariant (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
(forall a. Semigroup ((t <:.> Construction t) := a), Bindable t) => Bindable (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
(forall a. Semigroup ((t <:.> Construction t) := a), Bindable t, Pointable t, Avoidable t) => Applicative (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Alternative t => Alternative (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
(Avoidable t, Alternative t) => Avoidable (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
(Avoidable t, Pointable t) => Pointable (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
(forall a. Semigroup ((t <:.> Construction t) := a), Pointable t, Avoidable t, Bindable t) => Monad (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Traversable (t <:.> Construction t) => Traversable (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension Methods (->>) :: (Pointable u, Applicative u) => Comprehension t a -> (a -> u b) -> (u :. Comprehension t) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Comprehension t a -> (u :. Comprehension t) := b Source # sequence :: (Pointable u, Applicative u) => ((Comprehension t :. u) := a) -> (u :. Comprehension t) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Comprehension t) := a) -> (a -> u b) -> (u :. (v :. Comprehension t)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Comprehension t)) := a) -> (a -> u b) -> (u :. (w :. (v :. Comprehension t))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Comprehension t))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Comprehension t)))) := b Source # |
Interpreted (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Nullable (t <:.> Construction t) => Nullable (Comprehension t :: Type -> Type) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Semigroup ((t <:.> Construction t) := a) => Semigroup (Comprehension t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Monoid ((t <:.> Construction t) := a) => Monoid (Comprehension t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Setoid ((t <:.> Construction t) := a) => Setoid (Comprehension t a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
Pointable t => Morphable ('Push :: a -> Morph a) (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
type Primary (Comprehension t) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |
type Morphing ('Push :: a -> Morph a) (Comprehension t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Modification.Comprehension |