lux/data/maybe

Structs

Applicative<Maybe>

(lux/control/applicative;Applicative lux;Maybe)

(Eq<Maybe> Eq<a>)

(All [a] (-> (lux/control/eq;Eq a) (lux/control/eq;Eq (lux;Maybe a))))

Functor<Maybe>

(lux/control/functor;Functor lux;Maybe)

(MaybeT Monad<M>)

(All [a] (-> (lux/control/monad;Monad a) (lux/control/monad;Monad (All [b] (a (lux;Maybe b))))))

Monad<Maybe>

(lux/control/monad;Monad lux;Maybe)

Monoid<Maybe>

(All [a] (lux/control/monoid;Monoid (lux;Maybe a)))

Values

(lift-maybe Monad<M>)

(All [a b] (-> (lux/control/monad;Monad a) (a b) (a (lux;Maybe b))))