CodeQL library for Python
codeql/python-all 4.0.14-dev (changelog, source)
Index
Search

Module Option

Provides a module for constructing optional versions of types.

Import path

import codeql.util.Option

Modules

LocatableOption

Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a getLocation predicate. T must have a getLocation predicate with a result type of Location.

Option

Constructs an Option type that is a disjoint union of the given type and an additional singleton element.

OptionWithLocationInfo

Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a hasLocationInfo predicate. T must have a hasLocationInfo predicate.