@@ -50,15 +50,16 @@ trait AlignTests[F[_]] extends Laws {
5050 EqFIorCD : Eq [F [C Ior D ]],
5151 EqFAssoc : Eq [F [Ior [Ior [A , B ], C ]]]
5252 ): RuleSet =
53- new DefaultRuleSet (name = " align" ,
54- parent = None ,
55- " align associativity" -> forAll(laws.alignAssociativity[A , B , C ] _),
56- " align homomorphism" -> forAll { (fa : F [A ], fb : F [B ], f : A => C , g : B => D ) =>
57- laws.alignHomomorphism[A , B , C , D ](fa, fb, f, g)
58- },
59- " alignWith consistent" -> forAll { (fa : F [A ], fb : F [B ], f : A Ior B => C ) =>
60- laws.alignWithConsistent[A , B , C ](fa, fb, f)
61- }
53+ new DefaultRuleSet (
54+ name = " align" ,
55+ parent = None ,
56+ " align associativity" -> forAll(laws.alignAssociativity[A , B , C ] _),
57+ " align homomorphism" -> forAll { (fa : F [A ], fb : F [B ], f : A => C , g : B => D ) =>
58+ laws.alignHomomorphism[A , B , C , D ](fa, fb, f, g)
59+ },
60+ " alignWith consistent" -> forAll { (fa : F [A ], fb : F [B ], f : A Ior B => C ) =>
61+ laws.alignWithConsistent[A , B , C ](fa, fb, f)
62+ }
6263 )
6364}
6465
0 commit comments