libretto.lambda.Lambdas.Error.LinearityViolation
See theLinearityViolation companion trait
object LinearityViolation
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
LinearityViolation.type
Members list
Type members
Classlikes
case class OverUnder[VarLabel](overused: Set[VarLabel], underused: Set[VarLabel]) extends LinearityViolation[VarLabel]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait LinearityViolation[VarLabel]trait Error[VarLabel]class Objecttrait Matchableclass AnyShow all
case class Overused[VarLabel](vars: Set[VarLabel]) extends LinearityViolation[VarLabel]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait LinearityViolation[VarLabel]trait Error[VarLabel]class Objecttrait Matchableclass AnyShow all
case class Underused[VarLabel](vars: Set[VarLabel]) extends LinearityViolation[VarLabel]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait LinearityViolation[VarLabel]trait Error[VarLabel]class Objecttrait Matchableclass AnyShow all
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
In this article