Maybe a -> Bool
The isJust function returns True iff its argument is of the form Just _.
The fromJust function extracts the element out of a Just and throws an error if its argument is Nothing.
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.
Determines whether all elements of the structure satisfy the predicate.
Determines whether any element of the structure satisfies the predicate.
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.
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.
Show more results