Portability | portable |
---|---|

Stability | experimental |

Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |

Safe Haskell | Safe-Infered |

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 _|_`

.

# Documentation

The type of strict optional values.