Covariant Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Bindable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Applicative Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Alternative Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Avoidable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Pointable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Monad Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Traversable Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.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 # |
Composition Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Transformer Maybe Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Semigroup a => Semigroup (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Semigroup a => Monoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Supremum a => Supremum (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Infimum a => Infimum (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Lattice a => Lattice (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Setoid a => Setoid (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Chain a => Chain (Maybe a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Covariant u => Covariant (UT Maybe () Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
(Pointable u, Bindable u) => Bindable (UT Maybe () Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Applicative u => Applicative (UT Maybe () Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Pointable u => Pointable (UT Maybe () Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
Monad u => Monad (UT Maybe () Maybe u) Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
type Primary Maybe a Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |
type Schema Maybe u Source # | |
Instance detailsDefined in Pandora.Paradigm.Basis.Maybe |