|
Data.Strict.Maybe | Portability | portable | Stability | experimental | Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |
|
|
|
Description |
Strict Maybe.
Same as the standard Haskell Maybe, but Just _|_ = _|_
Note that strict Maybe is not a monad since
return _|_ >>= f = _|_
which is not necessarily the same as f _|_.
|
|
Synopsis |
|
|
|
Documentation |
|
|
The type of strict optional values.
| Constructors | | Instances | |
|
|
|
Yields True iff the argument is of the form Just _.
|
|
|
Yields True iff the argument is Nothing.
|
|
|
Extracts the element out of a Just and throws an error if the argument
is Nothing.
|
|
|
Given a default value and a Maybe, yield the default value if the
Maybe argument is Nothing and extract the value out of the Just
otherwise.
|
|
|
Given a default value, a function and a Maybe value, yields the default
value if the Maybe value is Nothing and applies the function to the
value stored in the Just otherwise.
|
|
Produced by Haddock version 2.6.1 |