[Go to site: main page, start]
CodeQL library for Go
codeql/go-all 7.1.2 (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.