├── .github └── workflows │ ├── ci.yml │ └── clean.yml ├── .gitignore ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── COPYING ├── README.md ├── benchmark ├── README.md └── src │ └── main │ └── scala │ └── algebra │ └── ExampleBenchmark.scala ├── core └── src │ ├── main │ └── scala │ │ └── algebra │ │ ├── Priority.scala │ │ ├── instances │ │ ├── StaticMethods.scala │ │ ├── all.scala │ │ ├── array.scala │ │ ├── bigDecimal.scala │ │ ├── bigInt.scala │ │ ├── bitSet.scala │ │ ├── boolean.scala │ │ ├── byte.scala │ │ ├── char.scala │ │ ├── double.scala │ │ ├── float.scala │ │ ├── int.scala │ │ ├── list.scala │ │ ├── long.scala │ │ ├── map.scala │ │ ├── option.scala │ │ ├── set.scala │ │ ├── short.scala │ │ ├── string.scala │ │ ├── tuple.scala │ │ └── unit.scala │ │ ├── lattice │ │ ├── Bool.scala │ │ ├── BoundedDistributiveLattice.scala │ │ ├── BoundedJoinSemilattice.scala │ │ ├── BoundedLattice.scala │ │ ├── BoundedMeetSemilattice.scala │ │ ├── DeMorgan.scala │ │ ├── DistributiveLattice.scala │ │ ├── GenBool.scala │ │ ├── Heyting.scala │ │ ├── JoinSemilattice.scala │ │ ├── Lattice.scala │ │ ├── Logic.scala │ │ └── MeetSemilattice.scala │ │ ├── package.scala │ │ └── ring │ │ ├── Additive.scala │ │ ├── BoolRing.scala │ │ ├── BoolRng.scala │ │ ├── CommutativeRig.scala │ │ ├── CommutativeRing.scala │ │ ├── CommutativeRng.scala │ │ ├── CommutativeSemiring.scala │ │ ├── Field.scala │ │ ├── Multiplicative.scala │ │ ├── Rig.scala │ │ ├── Ring.scala │ │ ├── Rng.scala │ │ └── Semiring.scala │ └── test │ └── scala │ └── algebra │ ├── Instances.scala │ └── ring │ └── RingTest.scala ├── docs └── docs │ └── main │ ├── resources │ └── microsite │ │ └── data │ │ └── menu.yml │ └── tut │ ├── cookbook.md │ ├── cookbook │ └── cookbook.md │ ├── faq.md │ ├── index.md │ ├── typeclasses.md │ └── typeclasses │ └── overview.md ├── laws ├── js │ └── src │ │ └── main │ │ └── scala │ │ └── algebra │ │ └── laws │ │ └── platform │ │ └── Platform.scala ├── jvm │ └── src │ │ └── main │ │ └── scala │ │ └── algebra │ │ └── laws │ │ └── platform │ │ └── Platform.scala ├── native │ └── src │ │ └── main │ │ └── scala │ │ └── algebra │ │ └── laws │ │ └── platform │ │ └── Platform.scala └── shared │ └── src │ ├── main │ └── scala │ │ └── algebra │ │ └── laws │ │ ├── BaseLaws.scala │ │ ├── CheckSupport.scala │ │ ├── DeMorganLaws.scala │ │ ├── GroupLaws.scala │ │ ├── IsSerializable.scala │ │ ├── LatticeLaws.scala │ │ ├── LatticePartialOrderLaws.scala │ │ ├── LogicLaws.scala │ │ ├── OrderLaws.scala │ │ ├── RingLaws.scala │ │ ├── Rules.scala │ │ └── package.scala │ └── test │ └── scala │ └── algebra │ └── laws │ ├── FPApprox.scala │ ├── LawTests.scala │ ├── Rat.scala │ ├── SimpleDeMorgan.scala │ └── SimpleHeyting.scala ├── project ├── Boilerplate.scala ├── build.properties └── plugins.sbt ├── sbt └── version.sbt /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/clean.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/.github/workflows/clean.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- 1 | # Algebra 2 | 3 | ### Version 0.6.1 (Not yet released) ### 4 | -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/COPYING -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/README.md -------------------------------------------------------------------------------- /benchmark/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/benchmark/README.md -------------------------------------------------------------------------------- /benchmark/src/main/scala/algebra/ExampleBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/benchmark/src/main/scala/algebra/ExampleBenchmark.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/Priority.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/Priority.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/StaticMethods.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/StaticMethods.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/all.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/all.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/array.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/array.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/bigDecimal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/bigDecimal.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/bigInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/bigInt.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/bitSet.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/bitSet.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/boolean.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/boolean.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/byte.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/byte.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/char.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/char.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/double.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/double.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/float.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/float.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/int.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/int.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/list.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/list.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/long.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/long.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/map.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/map.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/option.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/option.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/set.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/set.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/short.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/short.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/string.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/string.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/tuple.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/tuple.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/instances/unit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/instances/unit.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/Bool.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/Bool.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/BoundedDistributiveLattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/BoundedDistributiveLattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/BoundedJoinSemilattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/BoundedJoinSemilattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/BoundedLattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/BoundedLattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/BoundedMeetSemilattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/BoundedMeetSemilattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/DeMorgan.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/DeMorgan.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/DistributiveLattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/DistributiveLattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/GenBool.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/GenBool.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/Heyting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/Heyting.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/JoinSemilattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/JoinSemilattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/Lattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/Lattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/Logic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/Logic.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/lattice/MeetSemilattice.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/lattice/MeetSemilattice.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/package.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Additive.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Additive.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/BoolRing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/BoolRing.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/BoolRng.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/BoolRng.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/CommutativeRig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/CommutativeRig.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/CommutativeRing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/CommutativeRing.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/CommutativeRng.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/CommutativeRng.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/CommutativeSemiring.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/CommutativeSemiring.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Field.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Field.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Multiplicative.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Multiplicative.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Rig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Rig.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Ring.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Ring.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Rng.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Rng.scala -------------------------------------------------------------------------------- /core/src/main/scala/algebra/ring/Semiring.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/main/scala/algebra/ring/Semiring.scala -------------------------------------------------------------------------------- /core/src/test/scala/algebra/Instances.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/test/scala/algebra/Instances.scala -------------------------------------------------------------------------------- /core/src/test/scala/algebra/ring/RingTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/core/src/test/scala/algebra/ring/RingTest.scala -------------------------------------------------------------------------------- /docs/docs/main/resources/microsite/data/menu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/resources/microsite/data/menu.yml -------------------------------------------------------------------------------- /docs/docs/main/tut/cookbook.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/cookbook.md -------------------------------------------------------------------------------- /docs/docs/main/tut/cookbook/cookbook.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/cookbook/cookbook.md -------------------------------------------------------------------------------- /docs/docs/main/tut/faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/faq.md -------------------------------------------------------------------------------- /docs/docs/main/tut/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/index.md -------------------------------------------------------------------------------- /docs/docs/main/tut/typeclasses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/typeclasses.md -------------------------------------------------------------------------------- /docs/docs/main/tut/typeclasses/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/docs/docs/main/tut/typeclasses/overview.md -------------------------------------------------------------------------------- /laws/js/src/main/scala/algebra/laws/platform/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/js/src/main/scala/algebra/laws/platform/Platform.scala -------------------------------------------------------------------------------- /laws/jvm/src/main/scala/algebra/laws/platform/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/jvm/src/main/scala/algebra/laws/platform/Platform.scala -------------------------------------------------------------------------------- /laws/native/src/main/scala/algebra/laws/platform/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/native/src/main/scala/algebra/laws/platform/Platform.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/BaseLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/BaseLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/CheckSupport.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/CheckSupport.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/DeMorganLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/DeMorganLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/GroupLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/GroupLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/IsSerializable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/IsSerializable.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/LatticeLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/LatticeLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/LatticePartialOrderLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/LatticePartialOrderLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/LogicLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/LogicLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/OrderLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/OrderLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/RingLaws.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/RingLaws.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/Rules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/Rules.scala -------------------------------------------------------------------------------- /laws/shared/src/main/scala/algebra/laws/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/main/scala/algebra/laws/package.scala -------------------------------------------------------------------------------- /laws/shared/src/test/scala/algebra/laws/FPApprox.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/test/scala/algebra/laws/FPApprox.scala -------------------------------------------------------------------------------- /laws/shared/src/test/scala/algebra/laws/LawTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/test/scala/algebra/laws/LawTests.scala -------------------------------------------------------------------------------- /laws/shared/src/test/scala/algebra/laws/Rat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/test/scala/algebra/laws/Rat.scala -------------------------------------------------------------------------------- /laws/shared/src/test/scala/algebra/laws/SimpleDeMorgan.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/test/scala/algebra/laws/SimpleDeMorgan.scala -------------------------------------------------------------------------------- /laws/shared/src/test/scala/algebra/laws/SimpleHeyting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/laws/shared/src/test/scala/algebra/laws/SimpleHeyting.scala -------------------------------------------------------------------------------- /project/Boilerplate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/project/Boilerplate.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.5.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/typelevel/algebra/HEAD/sbt -------------------------------------------------------------------------------- /version.sbt: -------------------------------------------------------------------------------- 1 | version in ThisBuild := "2.2.4-SNAPSHOT" 2 | --------------------------------------------------------------------------------