View on GitHub
ValueFlags
public struct ValueFlags : Hashable, OptionSet, SendableProperties about the representation of a type or term.
-
Declaration
Swift
public typealias RawValue = UInt8 -
Declaration
Swift
public let rawValue: UInt8 -
Declaration
Swift
public init(rawValue: UInt8) -
Returns the union of
lwithr.Declaration
Swift
public static func | (l: `Self`, r: `Self`) -> ValueFlags -
The type contains one or more error types.
Declaration
Swift
public static let hasError: ValueFlags -
The type contains open type variables.
Declaration
Swift
public static let hasVariable: ValueFlags -
The type contains skolemized variables.
Declaration
Swift
public static let hasSkolem: ValueFlags -
The type is not canonical.
Declaration
Swift
public static let hasNonCanonical: ValueFlags