pandora-0.1.0: A box of patterns and paradigms
Pandora.Paradigm.Basis.Maybe
data Maybe a Source #
Constructors
Defined in Pandora.Paradigm.Basis.Maybe
Methods
(<$>) :: (a -> b) -> Maybe a -> Maybe b Source #
comap :: (a -> b) -> Maybe a -> Maybe b Source #
(<$) :: a -> Maybe b -> Maybe a Source #
($>) :: Maybe a -> b -> Maybe b Source #
void :: Maybe a -> Maybe () Source #
(<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b Source #
apply :: Maybe (a -> b) -> Maybe a -> Maybe b Source #
(*>) :: Maybe a -> Maybe b -> Maybe b Source #
(<*) :: Maybe a -> Maybe b -> Maybe a Source #
forever :: Maybe a -> Maybe b Source #
(<+>) :: Maybe a -> Maybe a -> Maybe a Source #
alter :: Maybe a -> Maybe a -> Maybe a Source #
(>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b Source #
(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
bind :: (a -> Maybe b) -> Maybe a -> Maybe b Source #
join :: (Maybe :.: Maybe) a -> Maybe a Source #
(>=>) :: (a -> Maybe b) -> (b -> Maybe c) -> a -> Maybe c Source #
(<=<) :: (b -> Maybe c) -> (a -> Maybe b) -> a -> Maybe c Source #
exclusive :: Maybe a Source #
point :: a -> Maybe a Source #
(->>) :: (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 #
(<>) :: Maybe a -> Maybe a -> Maybe a Source #
unit :: Maybe a Source #
(\/) :: Maybe a -> Maybe a -> Maybe a Source #
(/\) :: Maybe a -> Maybe a -> Maybe a Source #
(==) :: Maybe a -> Maybe a -> Boolean Source #
(/=) :: Maybe a -> Maybe a -> Boolean Source #
(<=>) :: Maybe a -> Maybe a -> Ordering Source #
(<) :: Maybe a -> Maybe a -> Boolean Source #
(<=) :: Maybe a -> Maybe a -> Boolean Source #
(>) :: Maybe a -> Maybe a -> Boolean Source #
(>=) :: Maybe a -> Maybe a -> Boolean Source #
(>>=) :: (Maybe :!: t) a -> (a -> (Maybe :!: t) b) -> (Maybe :!: t) b Source #
(=<<) :: (a -> (Maybe :!: t) b) -> (Maybe :!: t) a -> (Maybe :!: t) b Source #
bind :: (a -> (Maybe :!: t) b) -> (Maybe :!: t) a -> (Maybe :!: t) b Source #
join :: ((Maybe :!: t) :.: (Maybe :!: t)) a -> (Maybe :!: t) a Source #
(>=>) :: (a -> (Maybe :!: t) b) -> (b -> (Maybe :!: t) c) -> a -> (Maybe :!: t) c Source #
(<=<) :: (b -> (Maybe :!: t) c) -> (a -> (Maybe :!: t) b) -> a -> (Maybe :!: t) c Source #
maybe :: b -> (a -> b) -> Maybe a -> b Source #