core/src/main/scala/algebra/instances/map.scala
core/src/main/scala/algebra/instances/array.scala
core/src/main/scala/algebra/instances/float.scala
core/src/main/scala/algebra/instances/boolean.scala
core/src/main/scala/algebra/instances/set.scala
core/src/main/scala/algebra/instances/double.scala
core/src/main/scala/algebra/instances/bigDecimal.scala
core/src/main/scala/algebra/instances/byte.scala
core/src/main/scala/algebra/instances/long.scala
core/src/main/scala/algebra/instances/short.scala
core/src/main/scala/algebra/instances/int.scala
core/src/main/scala/algebra/instances/unit.scala
core/src/main/scala/algebra/instances/bigInt.scala
core/src/main/scala/algebra/instances/StaticMethods.scala
core/src/main/scala/algebra/instances/bitSet.scala
core/src/main/scala/algebra/ring/Additive.scala
core/src/main/scala/algebra/ring/Multiplicative.scala
core/src/main/scala/algebra/ring/Ring.scala
core/src/main/scala/algebra/ring/Field.scala
core/src/main/scala/algebra/lattice/Bool.scala
core/src/main/scala/algebra/lattice/Logic.scala
core/src/main/scala/algebra/lattice/GenBool.scala
core/src/main/scala/algebra/lattice/Heyting.scala
core/src/main/scala/algebra/lattice/BoundedDistributiveLattice.scala
core/src/main/scala/algebra/lattice/DeMorgan.scala
core/src/main/scala/algebra/lattice/BoundedLattice.scala
core/src/main/scala/algebra/lattice/BoundedJoinSemilattice.scala
core/src/main/scala/algebra/lattice/BoundedMeetSemilattice.scala
core/src/main/scala/algebra/lattice/JoinSemilattice.scala
core/src/main/scala/algebra/lattice/MeetSemilattice.scala
core/src/main/scala/algebra/lattice/Lattice.scala
core/src/main/scala/algebra/lattice/DistributiveLattice.scala
core/src/main/scala/algebra/package.scala
core/src/main/scala/algebra/Priority.scala
laws/shared/src/main/scala/algebra/laws/RingLaws.scala
laws/shared/src/main/scala/algebra/laws/OrderLaws.scala
laws/shared/src/main/scala/algebra/laws/LatticeLaws.scala
laws/shared/src/main/scala/algebra/laws/GroupLaws.scala
laws/shared/src/main/scala/algebra/laws/LogicLaws.scala
laws/shared/src/main/scala/algebra/laws/LatticePartialOrderLaws.scala
laws/shared/src/main/scala/algebra/laws/Rules.scala
laws/shared/src/main/scala/algebra/laws/DeMorganLaws.scala
laws/shared/src/main/scala/algebra/laws/IsSerializable.scala
laws/shared/src/main/scala/algebra/laws/package.scala
laws/shared/src/main/scala/algebra/laws/BaseLaws.scala