dev.constructive.eo.laws.typeclass.discipline
Discipline RuleSet bundles for the typeclass laws in dev.constructive.eo.laws.typeclass.
Attributes
Members list
Type members
Classlikes
abstract class AssociativeFunctorTests[S, A, C, F[_, _]] extends Laws
Discipline RuleSet for AssociativeFunctorLaws.
Discipline RuleSet for AssociativeFunctorLaws.
Attributes
- Source
- AssociativeFunctorTests.scala
- Supertypes
abstract class ComposerPathIndependenceTests[S, A] extends Laws
Discipline RuleSet for ComposerPathIndependenceLaws.
Discipline RuleSet for ComposerPathIndependenceLaws.
Attributes
- Source
- ComposerTests.scala
- Supertypes
abstract class ComposerPreservesGetTests[S, A, F[_, _], G[_, _], H[_, _]] extends Laws
Discipline RuleSet for ComposerPreservesGetLaws.
abstract class ForgetfulFunctorTests[F[_, _], X, A] extends Laws
Discipline RuleSet for ForgetfulFunctorLaws.
Discipline RuleSet for ForgetfulFunctorLaws.
Attributes
- Source
- ForgetfulFunctorTests.scala
- Supertypes
abstract class ForgetfulTraverseTests[F[_, _], X, A] extends Laws
Discipline RuleSet for ForgetfulTraverseLaws.
Discipline RuleSet for ForgetfulTraverseLaws.
Attributes
- Source
- ForgetfulTraverseTests.scala
- Supertypes
In this article