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 (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 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 |