Composition (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Covariant (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Bindable (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Applicative (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Alternative (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Pointable (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Monad (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Transformer (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Traversable (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion Methods (->>) :: (Pointable u, Applicative u) => Conclusion e a -> (a -> u b) -> (u :.: Conclusion e) b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Conclusion e a -> (u :.: Conclusion e) b Source # sequence :: (Pointable u, Applicative u) => (Conclusion e :.: u) a -> (u :.: Conclusion e) a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => (v :.: Conclusion e) a -> (a -> u b) -> (u :.: (v :.: Conclusion e)) b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => (w :.: (v :.: Conclusion e)) a -> (a -> u b) -> (u :.: (w :.: (v :.: Conclusion e))) b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: Conclusion e))) a -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Conclusion e)))) b Source # |
(Semigroup e, Semigroup a) => Semigroup (Conclusion e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
(Setoid e, Setoid a) => Setoid (Conclusion e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
(Chain e, Chain a) => Chain (Conclusion e a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Covariant u => Covariant (UT (Conclusion e) () (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
(Pointable u, Bindable u) => Bindable (UT (Conclusion e) () (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Applicative u => Applicative (UT (Conclusion e) () (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Pointable u => Pointable (UT (Conclusion e) () (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Monad u => Monad (UT (Conclusion e) () (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
type Outline (Conclusion e) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
type Layout (Conclusion e) u a Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |