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

Module Option

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

Import path

import codeql.util.Option

Predicates

some

Gets the given element wrapped as an Option.

Classes

None

The singleton None element.

Option

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

Some

A wrapper for the given type.

Parameters