├── .github └── workflows │ ├── ci.yml │ └── clean.yml ├── .gitignore ├── .mergify.yml ├── .scalafmt.conf ├── LICENSE ├── README.md ├── core └── src │ ├── main │ └── scala │ │ └── org │ │ └── typelevel │ │ └── discipline │ │ ├── Laws.scala │ │ └── Predicate.scala │ └── test │ └── scala │ └── org │ └── typelevel │ └── discipline │ ├── LawSpec.scala │ └── laws.scala └── project ├── build.properties └── plugins.sbt /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/clean.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/.github/workflows/clean.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/.gitignore -------------------------------------------------------------------------------- /.mergify.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/.mergify.yml -------------------------------------------------------------------------------- /.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/.scalafmt.conf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/README.md -------------------------------------------------------------------------------- /core/src/main/scala/org/typelevel/discipline/Laws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/core/src/main/scala/org/typelevel/discipline/Laws.scala -------------------------------------------------------------------------------- /core/src/main/scala/org/typelevel/discipline/Predicate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/core/src/main/scala/org/typelevel/discipline/Predicate.scala -------------------------------------------------------------------------------- /core/src/test/scala/org/typelevel/discipline/LawSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/core/src/test/scala/org/typelevel/discipline/LawSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/org/typelevel/discipline/laws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/core/src/test/scala/org/typelevel/discipline/laws.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.7 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/discipline/HEAD/project/plugins.sbt --------------------------------------------------------------------------------