Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

typelevel/discipline

Flexible law checking for Scala
Source code at GitHub http://typelevel.org
typelevel/discipline.json
{
  "createdAt": "2013-10-19T09:03:47Z",
  "defaultBranch": "main",
  "description": "Flexible law checking for Scala",
  "fullName": "typelevel/discipline",
  "homepage": "http://typelevel.org",
  "language": "Scala",
  "name": "discipline",
  "pushedAt": "2025-11-24T20:13:37Z",
  "stargazersCount": 335,
  "topics": [
    "property-based-testing",
    "scala",
    "typelevel"
  ],
  "updatedAt": "2025-11-15T08:20:06Z",
  "url": "https://github.com/typelevel/discipline"
}

discipline

Section titled “discipline”

Join the chat at https://gitter.im/typelevel/discipline Continuous Integration Maven Central

Flexible law checking for Scala

Usage

Section titled “Usage”

This library is currently available for Scala binary versions 2.12, 2.13 and 3.1.

To use the latest version, include the following in your build.sbt:

libraryDependencies +=
  "org.typelevel" %% "discipline-core" % "1.5.0"

For a little more info see the “Law Enforcement using Discipline” blog post.

Binding to test frameworks

Section titled “Binding to test frameworks”

Discipline is built against ScalaCheck 1.16.x. There is also a published artifact for Scala.js 1.8 and Scala Native 0.4.4.

discipline-core is required early each Scala release cycle, so we have chosen to keep this repo minimal. Starting with v1.0.0, please find the framework bindings in their new locations:

Code of Conduct

Section titled “Code of Conduct”

See the [Code of Conduct]!(CODE_OF_CONDUCT.md)