not package:Cabal-syntax

Boolean "not"

notChar c parses any single character other than c. Returns the parsed character.

notFollowedBy p only succeeds when parser p fails. This parser does not consume any input. This parser can be used to implement the 'longest match' rule. For example, when recognizing keywords (for example let), we want to make sure that a keyword is not followed by a legal identifier character, in which case the keyword is actually an identifier (for example lets). We can program this behaviour as follows:

keywordLet  = try $ string "let" <* notFollowedBy alphaNum

notElem is the negation of elem.

Examples

Basic usage:

>>> 3 `notElem` []
True

>>> 3 `notElem` [1,2]
True

>>> 3 `notElem` [1,2,3,4,5]
False

For infinite structures, notElem terminates if the value exists at a finite distance from the left side of the structure:

>>> 3 `notElem` [1..]
False

>>> 3 `notElem` ([4..] ++ [3])
* Hangs forever *

The version range /= v.

withinRange v' (notThisVersion v) = v' /= v

The isNothing function returns True iff its argument is Nothing.

Examples

Basic usage:

>>> isNothing (Just 3)
False

>>> isNothing (Just ())
False

>>> isNothing Nothing
True

Only the outer constructor is taken into consideration:

>>> isNothing (Just Nothing)
False

GCC-exception-2.0-note, GCC Runtime Library exception 2.0 - note variant, SPDX License List 3.23, SPDX License List 3.25

Latex2e-translated-notice, Latex2e with translated notice permission, SPDX License List 3.23, SPDX License List 3.25

Linux-syscall-note, Linux Syscall Note

Boolean negation of a Condition value.

Enable explicit role annotations, like in (type role Foo representational representational).