├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CODE_OF_CONDUCT.md ├── LICENSE ├── NOTICE ├── README.md ├── laws ├── README.md └── src │ └── main │ └── scala │ ├── Explore.scala │ ├── Flag.scala │ ├── Generator.scala │ ├── Instance.scala │ ├── Instantiator.scala │ ├── Laws.scala │ ├── Numbers.scala │ ├── Ops.scala │ ├── Outcome.scala │ ├── Report.scala │ ├── Runner.scala │ ├── Tags.scala │ ├── Test.scala │ ├── TestInfo.scala │ └── Util.scala ├── project └── build.properties ├── run.sh └── tests └── build.sbt /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/.gitignore -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/README.md -------------------------------------------------------------------------------- /laws/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/README.md -------------------------------------------------------------------------------- /laws/src/main/scala/Explore.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Explore.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Flag.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Flag.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Generator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Generator.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Instance.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Instance.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Instantiator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Instantiator.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Laws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Laws.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Numbers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Numbers.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Ops.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Ops.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Outcome.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Outcome.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Report.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Report.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Runner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Runner.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Tags.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Tags.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Test.scala -------------------------------------------------------------------------------- /laws/src/main/scala/TestInfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/TestInfo.scala -------------------------------------------------------------------------------- /laws/src/main/scala/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/laws/src/main/scala/Util.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.7 2 | -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/run.sh -------------------------------------------------------------------------------- /tests/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/scala/scala-collection-laws/HEAD/tests/build.sbt --------------------------------------------------------------------------------