Maybe -transformers -containers

data Maybe a
base Prelude, base Data.Maybe
The Maybe type encapsulates an optional value. A value of type Maybe a either contains a value of type a (represented as Just a), or it is empty (represented as Nothing). Using Maybe is a good way to deal with errors or exceptional cases without resorting to drastic measures such as error. The Maybe type is also a monad. It is a simple kind of error monad, error monad can be built using the Data.Either.Either type.
module Data.Maybe
base Data.Maybe
The Maybe type, and associated operations.
package MaybeT
Support for computations with failures. Version 0.1.2
package MaybeT-monads-tf
Support for computations with failures. This is a fork of the MaybeT package by Eric Kidd, but compatible with the type-family based monad classes of the monads-tf package. This package is deprecated: the MaybeT transformer exists in the transformers package nowadays, and the only advantage this package provides over that one is the presence of a MonadFix instance, but it's incorrect anyway. Version
package MaybeT-transformers
Support for computations with failures. This package is a fork from the MaybeT package by Eric Kidd, changed to depend on transformers instead of mtl. It also adds a few more utility functions. Version 0.2
maybe :: b -> (a -> b) -> Maybe a -> b
base Prelude, base Data.Maybe
The maybe function takes a default value, a function, and a Maybe value. If the Maybe value is Nothing, the function returns the default value. Otherwise, it applies the function to the value inside the Just and returns the result.
maybeNew :: (a -> IO (Ptr a)) -> (Maybe a -> IO (Ptr a))
base Foreign.Marshal.Utils
Allocate storage and marshal a storable value wrapped into a Maybe * the nullPtr is used to represent Nothing
maybePeek :: (Ptr a -> IO b) -> Ptr a -> IO (Maybe b)
base Foreign.Marshal.Utils
Convert a peek combinator into a one returning Nothing if applied to a nullPtr
maybeToList :: Maybe a -> [a]
base Data.Maybe
The maybeToList function returns an empty list when given Nothing or a singleton list when not given Nothing.
maybeWith :: (a -> (Ptr b -> IO c) -> IO c) -> (Maybe a -> (Ptr b -> IO c) -> IO c)
base Foreign.Marshal.Utils
Converts a withXXX combinator into one marshalling a value wrapped into a Maybe, using nullPtr to represent Nothing.
package maybench
Maybench is a tool for comparing the performance between two versions of the same program, on a series of benchmarks that you design. Maybench aims to be easy to use, almost as easy as running "time your-program arg1..arg2". Ideally, it should be a simple matter for outsiders to write timing tests for your programming project and contribute them as part of your performance testing suite. The Darcs repository is available at Version
maybeRead :: Read a => String -> Maybe a
cgi Network.CGI.Protocol
catMaybes :: [Maybe a] -> [a]
base Data.Maybe
The catMaybes function takes a list of Maybes and returns a list of all the Just values.
fromMaybe :: a -> Maybe a -> a
base Data.Maybe
The fromMaybe function takes a default value and and Maybe value. If the Maybe is Nothing, it returns the default values; otherwise, it returns the value contained in the Maybe.
listToMaybe :: [a] -> Maybe a
base Data.Maybe
The listToMaybe function returns Nothing on an empty list or Just a of the list.
mapMaybe :: (a -> Maybe b) -> [a] -> [b]
base Data.Maybe
The mapMaybe function is a version of map which can throw out elements. In particular, the functional argument returns something of type Maybe b. If this is Nothing, no element is added on to the result list. If it just Just b, then b is included in the result list.
optionMaybe :: Stream s m t => ParsecT s u m a -> ParsecT s u m (Maybe a)
parsec Text.Parsec.Combinator, parsec Text.ParserCombinators.Parsec.Combinator
optionMaybe p tries to apply parser p. If p fails without consuming input, it return Nothing, otherwise it returns Just the value returned by p.
pprMaybeExp :: Precedence -> Maybe Exp -> Doc
template-haskell Language.Haskell.TH.Ppr
suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)
QuickCheck Test.QuickCheck.Gen, QuickCheck Test.QuickCheck
Tries to generate a value that satisfies a predicate.
threadMaybe :: (i -> r -> a) -> Split t i r -> SplitM t j i -> SplitM t j a
fgl Data.Graph.Inductive.Internal.Thread

Show more results