Type Members

1.  trait Constraint extends AnyRef
2.  class ConstraintBuilder extends AnyRef
3.  class ConstraintSolver extends AnyRef
4.  case class Copy(key: AnyRef, counter: Int) extends Product with Serializable
5.  case class CouldNotApplyConstraints(constraints: Seq[Constraint]) extends Exception with SolveException with Product with Serializable
6.  class Factory extends AnyRef

7.  case class FileDiagnostic(uri: String, diagnostic: Diagnostic) extends Product with Serializable
8.  case class MaxCycleCountReached(max: Int) extends Exception with SolveException with Product with Serializable
9.  class Proofs extends AnyRef
10.  case class ResolvesTo(reference: Reference, declaration: Declaration) extends ResolutionConstraint with Product with Serializable
11.  class ResolvesToType extends ResolvesTo
12.  trait SolveException extends Exception