├── .github └── workflows │ ├── ci.yml │ └── clean.yml ├── .gitignore ├── .scalafmt.conf ├── CHANGELOG.md ├── LICENSE ├── README.md ├── docs └── index.md ├── project ├── build.properties └── plugins.sbt └── scalatest └── src ├── main └── scala │ └── org │ └── typelevel │ └── discipline │ └── scalatest │ └── Discipline.scala └── test └── scala └── scalatest └── org └── typelevel └── discipline └── scalatest ├── DisciplineTest.scala └── laws.scala /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/clean.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/.github/workflows/clean.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/.gitignore -------------------------------------------------------------------------------- /.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/.scalafmt.conf -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/README.md -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/docs/index.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.7 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /scalatest/src/main/scala/org/typelevel/discipline/scalatest/Discipline.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/scalatest/src/main/scala/org/typelevel/discipline/scalatest/Discipline.scala -------------------------------------------------------------------------------- /scalatest/src/test/scala/scalatest/org/typelevel/discipline/scalatest/DisciplineTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/scalatest/src/test/scala/scalatest/org/typelevel/discipline/scalatest/DisciplineTest.scala -------------------------------------------------------------------------------- /scalatest/src/test/scala/scalatest/org/typelevel/discipline/scalatest/laws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline-scalatest/HEAD/scalatest/src/test/scala/scalatest/org/typelevel/discipline/scalatest/laws.scala --------------------------------------------------------------------------------