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

CompareResult

dotty.tools.dotc.cc.CaptureSet.CompareResult
enum CompareResult extends Showable

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait Showable
class Object
trait Matchable
class Any
Show all
Known subtypes
class Fail
class LevelError

Members list

Type members

Enum entries

final case class Fail(trace: List[CaptureSet]) extends CompareResult, CompareFailure
final case class LevelError(cs: CaptureSet, elem: CaptureRef) extends CompareResult, CompareFailure, ErrorNote
case OK extends CompareResult
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL