Copyright | (c) 2017 Daniel Mendler 2006-2007 Roman Leshchinskiy |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Daniel Mendler <mail@daniel-mendler.de> |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell2010 |

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.

Functor Maybe Source # | |

Foldable Maybe Source # | |

Traversable Maybe Source # | |

Generic1 Maybe Source # | |

Eq a => Eq (Maybe a) Source # | |

Data a => Data (Maybe a) Source # | |

Ord a => Ord (Maybe a) Source # | |

Read a => Read (Maybe a) Source # | |

Show a => Show (Maybe a) Source # | |

Generic (Maybe a) Source # | |

Semigroup a => Semigroup (Maybe a) Source # | |

Monoid a => Monoid (Maybe a) Source # | |

type Rep1 Maybe Source # | |

type Rep (Maybe a) Source # | |

listToMaybe :: [a] -> Maybe a Source #

Analogous to `listToMaybe`

in Data.Maybe.

maybeToList :: Maybe a -> [a] Source #

Analogous to `maybeToList`

in Data.Maybe.