Maybe: The Maybe Monad

In monad: Operators and Generics for Monads

The Maybe Monad

Description

The maybe package implements the Maybe monad. It represents the explicit possiblity of absence of a value. Methods for fmap(), bind() and join() are provided for the maybe S3 class as wrappers to functions in the package.

See Also

maybe::maybe_map() which implements fmap() for maybe.

maybe::and_then() which implements bind() for maybe.

Other monads: List

Examples

# The fmap operator corresponds to maybe::maybe_map().
maybe::just(1) %>>% `+`(1)
maybe::nothing() %>>% `+`(1)

# The bind operator corresponds to maybe::and_then().
maybe::just(1) %>-% \(x) maybe::just(x + 1)
maybe::just(1) %>-% \(x) maybe::nothing()
maybe::nothing() %>-% \(x) maybe::just(1)

monad documentation built on Oct. 28, 2024, 5:07 p.m.