
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 

data Maybe a 
The type of strict optional values.
 Constructors   Instances  


isJust :: Maybe a > Bool 
Yields True iff the argument is of the form Just _.


isNothing :: Maybe a > Bool 
Yields True iff the argument is Nothing.


fromJust :: Maybe a > a 
Extracts the element out of a Just and throws an error if the argument
is Nothing.


fromMaybe :: a > Maybe a > a 
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.


maybe :: b > (a > b) > Maybe a > b 
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 0.8 