CodeQL library for Python
codeql/python-all 2.1.1 (changelog, source)
Search

Class Option::Option

An option type. This is either a singleton None or a Some wrapping the given type.

Import path

import codeql.util.Option

Direct supertypes

Predicates

asSome

Gets the wrapped element, if any.

isNone

Holds if this option is the singleton None.

toString

Gets a textual representation of this element.