embracing-nondeterminism-code/src/test/scala/green/thisfieldwas/embracingnondeterminism/stdlib/BooleanSpec.scala

16 lines
463 B
Scala

package green.thisfieldwas.embracingnondeterminism.stdlib
import green.thisfieldwas.embracingnondeterminism.data.{Semigroup, SemigroupLaws}
import green.thisfieldwas.embracingnondeterminism.util.Laws
/** Proves that Scala's Boolean conforms to a Semigroup.
*/
class BooleanSpec extends Laws with SemigroupLaws {
/** Booleans form a Semigroup under AND.
*/
implicit val booleanSemigroup: Semigroup[Boolean] = _ && _
checkSemigroupLaws[Boolean]()
}