Maybe a -> Bool

isJust :: Maybe a -> Bool
base Data.Maybe
The isJust function returns True iff its argument is of the form Just _.
isNothing :: Maybe a -> Bool
base Data.Maybe
The isNothing function returns True iff its argument is Nothing.
fromJust :: Maybe a -> a
base Data.Maybe
The fromJust function extracts the element out of a Just and throws an error if its argument is Nothing.
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.
all :: Foldable t => (a -> Bool) -> t a -> Bool
base Data.Foldable
Determines whether all elements of the structure satisfy the predicate.
any :: Foldable t => (a -> Bool) -> t a -> Bool
base Data.Foldable
Determines whether any element of the structure satisfies the predicate.
buf_isEmpty :: BufferOp a -> a -> Bool
HTTP Network.BufferType
buf_isLineTerm :: BufferOp a -> a -> Bool
HTTP Network.BufferType
First :: Maybe a -> First a
base Data.Monoid
Last :: Maybe a -> Last a
base Data.Monoid
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.
unsafeCoerce :: a -> b
base Unsafe.Coerce
id :: a -> a
base Prelude, base Data.Function
Identity function.
breakpoint :: a -> a
base GHC.Exts
inline :: a -> a
base GHC.Exts
The call '(inline f)' reduces to f, but inline has a BuiltInRule that tries to inline f (if it has an unfolding) unconditionally The NOINLINE pragma arranges that inline only gets inlined (and hence eliminated) late in compilation, after the rule has had a good chance to fire.
lazy :: a -> a
base GHC.Exts
The call '(lazy e)' means the same as e, but lazy has a magical strictness property: it is lazy in its first argument, even though its semantics is strict.
isDenormalized :: RealFloat a => a -> Bool
base Prelude
isIEEE :: RealFloat a => a -> Bool
base Prelude
isInfinite :: RealFloat a => a -> Bool
base Prelude
isNaN :: RealFloat a => a -> Bool
base Prelude

Show more results