dev.constructive.eo.laws.data.discipline
Discipline RuleSet bundles for the carrier laws in dev.constructive.eo.laws.data.
Attributes
Members list
Type members
Classlikes
abstract class AffineTests[X, A] extends Laws
Discipline RuleSet for AffineLaws.
Discipline RuleSet for AffineLaws.
Attributes
- Source
- AffineTests.scala
- Supertypes
-
trait Lawsclass Objecttrait Matchableclass Any
abstract class ModifyFTests[X, A] extends Laws
Discipline RuleSet for ModifyFLaws.
Discipline RuleSet for ModifyFLaws.
Attributes
- Source
- ModifyFTests.scala
- Supertypes
-
trait Lawsclass Objecttrait Matchableclass Any
In this article