16 lines
463 B
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]()
|
|
}
|