Linear types in Scala
- Scala 99.6%
- Java 0.4%
| .github/workflows | ||
| input/src/main/scala/fix | ||
| library/src/main/java/com/earldouglas/linearscala | ||
| plugin | ||
| project | ||
| rules/src/main | ||
| tests/src/test/scala/fix | ||
| .scalafmt.conf | ||
| build.sbt | ||
| CONTRIBUTING.md | ||
| LICENSE | ||
| README.md | ||
linear-scala
linear-scala adds support for linear types in Scala via a custom Scalafix linter.
Setup
project/plugins.sbt:
addSbtPlugin("com.earldouglas" % "sbt-linear-scala" % "0.0.3")
Usage
Mix in the Linear interface to prevent values from being
under/over-used.
import com.earldouglas.linearscala.Linear
case class Box(value: Int) extends Linear
Scalafix finds values that are never used:
trait UnusedField {
val box: Box = Box(42) // error: box is never used
}
trait UnusedParameter {
def foo(x: Box, y: Box): Int = // error: y is never used
x.value
}
Scalafix also finds values that are used multiple times:
trait FieldUsedTwice {
val box: Box = Box(42)
println(box) // error: box is used twice
println(box) // error: box is used twice
}
See the tests in input/src/main/scala/fix/ for more examples.