ScaIR Unidoc
0.5.0
API
Generated with
ScaIR Unidoc/scair/scair.core/scair.core.constraints

scair.core.constraints

package scair.core.constraints

Members list

Type members

Classlikes

trait Constraint

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait EqAttr[To]
trait Var[To]
class ConstraintContext()

Attributes

Supertypes
class Object
trait Matchable
class Any
trait ConstraintImpl[c <: Constraint]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ConstraintImplVar[To]
class ConstraintImplEqAttr[To <: Attribute](ref: To) extends ConstraintImpl[EqAttr[To]]

Attributes

Supertypes
trait ConstraintImpl[EqAttr[To]]
class Object
trait Matchable
class Any
class ConstraintImplVar[To <: String](name: To) extends ConstraintImpl[Var[To]]

Attributes

Supertypes
trait ConstraintImpl[Var[To]]
class Object
trait Matchable
class Any
trait EqAttr[To <: Attribute] extends Constraint

Attributes

Supertypes
trait Constraint
class Object
trait Matchable
class Any
trait Var[To <: String] extends Constraint

Attributes

Supertypes
trait Constraint
class Object
trait Matchable
class Any

Types

infix type !>[A <: Attribute, C <: Constraint] = A

Value members

Concrete methods

inline def eqAttr[To <: Attribute]: To
def eqAttrImpl[To <: Attribute : Type](using evidence$1: Type[To], Quotes): Expr[To]

Givens

Givens

inline given given_ConstraintImpl_Var[To <: String]: ConstraintImpl[Var[To]]
Generated with