libretto.lambda.Lambdas$.Error$
See theError companion trait
object Error
Attributes
Members list
Concise view
Type members
Classlikes
object LinearityViolation
Attributes
- Companion:
- trait
- Graph
- Supertypes
- trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- LinearityViolation.type
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
def overusedVar[Var[_], VarSet, A](v: Var[A])(using ev: Variable[Var, VarSet]): LinearityViolation[VarSet]
def underusedVar[Var[_], VarSet, A](v: Var[A])(using ev: Variable[Var, VarSet]): LinearityViolation[VarSet]