libretto/libretto.impl/Lambda/LinearityViolation

LinearityViolation

object LinearityViolation
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case
class Overused(vars: VarSet) extends LinearityViolation
case
class Underused(vars: VarSet) extends LinearityViolation

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def overused[A](v: Var[A]): Overused
def underused[A](v: Var[A]): Underused