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 |
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 # |
Composition (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Transformer (Conclusion e) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
(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 Co Co (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
(Pointable u, Bindable u) => Bindable (UT Co Co (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Applicative u => Applicative (UT Co Co (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Pointable u => Pointable (UT Co Co (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
Monad u => Monad (UT Co Co (Conclusion e) u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
type Primary (Conclusion e) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |
type Schema (Conclusion e) u Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Conclusion |