scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.cc/CaptureSet/CompareResult

CompareResult

dotty.tools.dotc.cc.CaptureSet$.CompareResult$
opaque object CompareResult

The result of subcapturing comparisons is an opaque type CompareResult.TYPE. This is either OK, indicating success, or another capture set, indicating failure. The failure capture set is the one that did not allow propagaton of elements into it.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

opaque type TYPE

Value members

Concrete methods

def fail(cs: CaptureSet): TYPE

Concrete fields

val OK: TYPE

Extensions

Extensions

extension (result: TYPE)(result: TYPE)
inline def andAlso(op: Context ?=> TYPE)(using Context): TYPE
def blocking: CaptureSet

If not isOK, the blocking capture set

If not isOK, the blocking capture set

Attributes

def isOK: Boolean

The result is OK

The result is OK

Attributes

def show(using Context): String
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL