libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/LinearityViolation

LinearityViolation

libretto.lambda.Lambdas.LinearityViolation
See theLinearityViolation companion object
enum LinearityViolation[VarLabel, CtxLabel]

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class Overused[VarLabel, CtxLabel](vars: Set[VarLabel], exitedCtx: CtxLabel)
final case class Unused[VarLabel, CtxLabel](v: Var[VarLabel, _], exitedCtx: CtxLabel)
Generated with