| 组织ID: |
org.typelevel |
| 项目ID: |
cats-laws_2.11 |
| 版本: |
1.4.0 |
| 最后修改时间: |
2018-09-27 14:46:32 |
| 包类型: |
jar |
| 标题: |
MIT |
| 描述: |
Cats laws |
| 相关URL: |
https://github.com/typelevel/cats |
| 大小: |
1.82MB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-laws_2.11</artifactId>
<version>1.4.0</version>
</dependency>
|
| Gradle引入代码: |
org.typelevel:cats-laws_2.11:1.4.0
|
| 下载Jar包: |
|
| POM文件内容: |
<?xml version='1.0' encoding='UTF-8'?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://maven.apache.org/POM/4.0.0">
<modelVersion>4.0.0</modelVersion>
<groupId>org.typelevel</groupId>
<artifactId>cats-laws_2.11</artifactId>
<packaging>jar</packaging>
<description>Cats laws</description>
<url>https://github.com/typelevel/cats</url>
<version>1.4.0</version>
<licenses>
<license>
<name>MIT</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<name>Cats laws</name>
<organization>
<name>org.typelevel</name>
<url>https://github.com/typelevel/cats</url>
</organization>
<scm>
<url>https://github.com/typelevel/cats</url>
<connection>scm:git:git@github.com:typelevel/cats.git</connection>
</scm>
<developers>
<developer>
<id>ceedubs</id>
<name>Cody Allen</name>
<url>https://github.com/ceedubs/</url>
</developer>
<developer>
<id>rossabaker</id>
<name>Ross Baker</name>
<url>https://github.com/rossabaker/</url>
</developer>
<developer>
<id>johnynek</id>
<name>P. Oscar Boykin</name>
<url>https://github.com/johnynek/</url>
</developer>
<developer>
<id>travisbrown</id>
<name>Travis Brown</name>
<url>https://github.com/travisbrown/</url>
</developer>
<developer>
<id>adelbertc</id>
<name>Adelbert Chang</name>
<url>https://github.com/adelbertc/</url>
</developer>
<developer>
<id>peterneyens</id>
<name>Peter Neyens</name>
<url>https://github.com/peterneyens/</url>
</developer>
<developer>
<id>tpolecat</id>
<name>Rob Norris</name>
<url>https://github.com/tpolecat/</url>
</developer>
<developer>
<id>non</id>
<name>Erik Osheim</name>
<url>https://github.com/non/</url>
</developer>
<developer>
<id>LukaJCB</id>
<name>LukaJCB</name>
<url>https://github.com/LukaJCB/</url>
</developer>
<developer>
<id>mpilquist</id>
<name>Michael Pilquist</name>
<url>https://github.com/mpilquist/</url>
</developer>
<developer>
<id>milessabin</id>
<name>Miles Sabin</name>
<url>https://github.com/milessabin/</url>
</developer>
<developer>
<id>djspiewak</id>
<name>Daniel Spiewak</name>
<url>https://github.com/djspiewak/</url>
</developer>
<developer>
<id>fthomas</id>
<name>Frank Thomas</name>
<url>https://github.com/fthomas/</url>
</developer>
<developer>
<id>julien-truffaut</id>
<name>Julien Truffaut</name>
<url>https://github.com/julien-truffaut/</url>
</developer>
<developer>
<id>kailuowang</id>
<name>Kailuo Wang</name>
<url>https://github.com/kailuowang/</url>
</developer>
</developers>
<properties>
<info.apiURL>http://typelevel.org/cats/api/</info.apiURL>
</properties>
<dependencies>
<dependency>
<groupId>org.scala-lang</groupId>
<artifactId>scala-library</artifactId>
<version>2.11.12</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-macros_2.11</artifactId>
<version>1.4.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel_2.11</artifactId>
<version>1.4.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-core_2.11</artifactId>
<version>1.4.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel-laws_2.11</artifactId>
<version>1.4.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>machinist_2.11</artifactId>
<version>0.6.5</version>
</dependency>
<dependency>
<groupId>org.scalacheck</groupId>
<artifactId>scalacheck_2.11</artifactId>
<version>1.13.5</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline_2.11</artifactId>
<version>0.9.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-platform_2.11</artifactId>
<version>0.6</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-macros_2.11</artifactId>
<version>0.6</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>org.scalatest</groupId>
<artifactId>scalatest_2.11</artifactId>
<version>3.0.5</version>
<scope>test</scope>
</dependency>
</dependencies>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
cats.laws.ApplicativeLaws.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$4.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$9.class
cats.laws.FlatMapLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$22.class
cats.laws.discipline.DeferTests$$anonfun$defer$2$$anonfun$apply$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$8$$anonfun$apply$3.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$17.class
cats.laws.discipline.FunctorTests$$anon$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$6$$anonfun$apply$2.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.eq$$anon$1$$anonfun$4.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$20.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$6.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$8.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.eq$$anon$1.class
cats.laws.BitraverseLaws$$anonfun$3.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$12.class
cats.laws.ComposeLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$53.class
cats.laws.ContravariantLaws$$anonfun$contravariantIdentity$1.class
cats.laws.discipline.ProfunctorTests.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$2$$anonfun$apply$1.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$14.class
cats.laws.TraverseLaws$class.class
cats.laws.FunctorLaws$class.class
cats.laws.discipline.BitraverseTests$$anon$1.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$2.class
cats.laws.MonadErrorLaws$$anonfun$adaptErrorPure$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$7.class
cats.laws.discipline.SemigroupalTests$$anon$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$3.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForCommutativeSemigroup$1.class
cats.laws.FunctorFilterLaws$$anonfun$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForOrder$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$6.class
cats.laws.CommutativeFlatMapLaws$$anon$1.class
cats.laws.DistributiveLaws$$anonfun$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$14$$anonfun$apply$4.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$8.class
cats.laws.ArrowLaws$$anon$1.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$1.class
cats.laws.discipline.CommutativeFlatMapTests$class.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$4.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalRightIdentity$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$18$$anonfun$apply$5.class
cats.laws.discipline.DeferTests$$anon$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$13.class
cats.laws.MonadErrorLaws$$anonfun$adaptErrorRaise$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$20.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$17.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$5$$anonfun$apply$2.class
cats.laws.DistributiveLaws$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.InjectTests$$anonfun$inject$5$$anonfun$apply$2.class
cats.laws.discipline.ParallelTests$$anonfun$parallel$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$49.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$21.class
cats.laws.discipline.StrongTests$$anonfun$strong$2.class
cats.laws.discipline.ComposeTests$$anonfun$compose$1.class
cats.laws.discipline.ApplicativeErrorTests$class.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$11$$anonfun$apply$3.class
cats.laws.discipline.CategoryTests$$anonfun$category$5.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$9.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$23.class
cats.laws.FoldableLaws$$anonfun$takeWhile_Ref$1.class
cats.laws.discipline.eq$$anon$4$$anonfun$3.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$27.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawArbitraryForIndexedStateT$1$$anonfun$apply$67.class
cats.laws.discipline.eq$$anon$3$$anonfun$eqv$5.class
cats.laws.discipline.CategoryTests$$anonfun$category$6.class
cats.laws.discipline.ChoiceTests$.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$12$$anonfun$apply$4.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$27.class
cats.laws.ApplicativeErrorLaws$$anonfun$onErrorRaise$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$37.class
cats.laws.ArrowChoiceLaws$class.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$17.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$12.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$5.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$14$$anonfun$apply$4.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$4.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$17$$anonfun$apply$4.class
cats.laws.TraverseLaws$$anonfun$5.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$2.class
cats.laws.ProfunctorLaws$$anon$1.class
cats.laws.discipline.ComposeTests$$anonfun$compose$2.class
cats.laws.discipline.ContravariantMonoidalTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForEval$1.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$2$$anonfun$apply$1.class
cats.laws.discipline.InvariantSemigroupalTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$25.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$22$$anonfun$apply$7.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$3.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$42$$anonfun$apply$12.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$3.class
cats.laws.ArrowChoiceLaws$$anonfun$leftAndThenLiftedLeftApplyCommutes$2.class
cats.laws.TraverseFilterLaws$$anonfun$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$10$$anonfun$apply$3.class
cats.laws.ContravariantMonoidalLaws$$anon$1.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$6.class
cats.laws.TraverseFilterLaws$class.class
cats.laws.discipline.InjectKTests$$anonfun$injectK$6.class
cats.laws.discipline.arbitrary$$anonfun$5$$anonfun$apply$64$$anonfun$apply$65.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$7.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$7.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$38.class
cats.laws.MonadLaws$$anonfun$kleisliLeftIdentity$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIRWST$1$$anonfun$apply$60.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$21.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForOneAnd$1.class
cats.laws.NonEmptyParallelLaws$$anon$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$20.class
cats.laws.CommutativeApplyLaws.class
cats.laws.ArrowChoiceLaws$$anonfun$leftAndThenLiftedLeftApplyCommutes$1.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$10.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$25.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipNonEmptyVector$1.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptyList$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$10.class
cats.laws.MonadErrorLaws$$anonfun$monadErrorEnsureConsistency$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$25.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$35.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.CategoryTests.class
cats.laws.discipline.CommutativeArrowTests$$anonfun$commutativeArrow$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$15$$anonfun$apply$5.class
cats.laws.RepresentableLaws.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$33$$anonfun$apply$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$27$$anonfun$apply$28.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForChain$1$$anonfun$apply$66.class
cats.laws.discipline.ContravariantMonoidalTests.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$16.class
cats.laws.FlatMapLaws$$anonfun$mproductConsistency$1$$anonfun$apply$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.TraverseTests$$anon$3.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$18.class
cats.laws.discipline.eq$$anon$3$$anonfun$eqv$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$26.class
cats.laws.MonadErrorLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForAppFunc$1.class
cats.laws.InvariantSemigroupalLaws.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$14$$anonfun$apply$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$4.class
cats.laws.ApplicativeErrorLaws$$anon$1.class
cats.laws.ApplicativeErrorLaws$.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForRepresentableStore$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$27.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$leftIdentity$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$22.class
cats.laws.CommutativeMonadLaws$.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1$$anonfun$apply$2.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$9.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$8$$anonfun$apply$3.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$8.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyVector$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$11$$anonfun$apply$3.class
cats.laws.discipline.ComposeTests$class.class
cats.laws.DeferLaws$$anonfun$deferIdentity$1.class
cats.laws.ReducibleLaws$$anonfun$sizeConsistent$1.class
cats.laws.discipline.arbitrary$$anonfun$arbNonEmptyMap$1$$anonfun$apply$17$$anonfun$apply$18.class
cats.laws.UnorderedFoldableLaws$$anonfun$forallLazy$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$6$$anonfun$apply$2.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$19$$anonfun$apply$5.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$15.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$60.class
cats.laws.discipline.ArrowChoiceTests$class.class
cats.laws.discipline.CommutativeArrowTests$.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$18.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$7$$anonfun$apply$2.class
cats.laws.discipline.NonEmptyTraverseTests$.class
cats.laws.TraverseLaws$$anonfun$9$$anonfun$apply$2.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.RepresentableTests$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$63$$anonfun$apply$14.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$5$$anonfun$apply$2.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.InjectTests$$anonfun$inject$2.class
cats.laws.ApplicativeLaws$$anon$1.class
cats.laws.discipline.ApplyTests$$anon$1.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$9.class
cats.laws.ApplicativeLaws$$anonfun$applicativeInterchange$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$18.class
cats.laws.CommutativeApplyLaws$.class
cats.laws.discipline.CommutativeFlatMapTests$.class
cats.laws.ApplicativeLaws$$anonfun$1$$anonfun$apply$1.class
cats.laws.discipline.CommutativeApplicativeTests$class.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$10.class
cats.laws.MonadLaws$$anonfun$monadRightIdentity$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$15.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$6.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$39.class
cats.laws.MonadLaws$class.class
cats.laws.BifunctorLaws.class
cats.laws.discipline.ContravariantSemigroupalTests.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForEitherK$1$$anonfun$apply$45.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$3.class
cats.laws.discipline.InjectKTests$$anonfun$injectK$2$$anonfun$apply$1.class
cats.laws.discipline.BitraverseTests$$anon$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$59.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyList$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$7$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$42.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$4.class
cats.laws.ParallelLaws$.class
cats.laws.discipline.ContravariantTests$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$20.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForConst$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1$$anonfun$apply$29.class
cats.laws.discipline.ArrowTests.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$6.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForWriterT$1$$anonfun$apply$68.class
cats.laws.NonEmptyParallelLaws$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.ComposeTests$$anonfun$compose$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$31.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$11.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$19.class
cats.laws.discipline.eq$$anonfun$7.class
cats.laws.FlatMapLaws$$anonfun$flatMapAssociativity$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$21.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$22.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$5$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$43.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$5$$anonfun$apply$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipList$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$11.class
cats.laws.ArrowChoiceLaws$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$14.class
cats.laws.TraverseFilterLaws$$anonfun$filterAConsistentWithTraverseFilter$1$$anonfun$apply$3.class
cats.laws.CommutativeFlatMapLaws$$anonfun$flatmapCommutative$1$$anonfun$apply$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$20$$anonfun$apply$5.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalAssociativity$1.class
cats.laws.DeferLaws$$anonfun$1.class
cats.laws.discipline.MonadErrorTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1$$anonfun$apply$51.class
cats.laws.BimonadLaws$class.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$2.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$3.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2.class
cats.laws.discipline.ContravariantMonoidalTests$.class
cats.laws.discipline.ContravariantTests$.class
cats.laws.NonEmptyTraverseLaws$.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$9$$anonfun$apply$3.class
cats.laws.discipline.UnorderedFoldableTests$.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$13.class
cats.laws.discipline.DeferTests$$anonfun$defer$8.class
cats.laws.discipline.FlatMapTests$.class
cats.laws.discipline.ComonadTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipStream$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$2.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$7.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$8.class
cats.laws.CoflatMapLaws$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$2.class
cats.laws.DeferLaws$$anon$1.class
cats.laws.CoflatMapLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$16.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$23.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$2$$anonfun$apply$1.class
cats.laws.ApplyLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$15.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$13.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForSortedMap$1.class
cats.laws.discipline.ComonadTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$21.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$13.class
cats.laws.discipline.MonadErrorTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$65.class
cats.laws.BifoldableLaws$.class
cats.laws.BifoldableLaws$$anonfun$5.class
cats.laws.discipline.CommutativeApplicativeTests$$anon$2.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$15.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$1.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$22.class
cats.laws.discipline.ComposeTests$$anonfun$compose$4.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$20.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$2.class
cats.laws.ReducibleLaws$$anonfun$reduceReduceLeftConsistent$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$8.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$5$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$34.class
cats.laws.discipline.CommutativeArrowTests$$anon$1.class
cats.laws.InjectKLaws$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$26.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$1.class
cats.laws.discipline.TraverseTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEq$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$5.class
cats.laws.TraverseLaws$$anonfun$8.class
cats.laws.ProfunctorLaws.class
cats.laws.discipline.MonadErrorTests$.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$7$$anonfun$apply$2.class
cats.laws.discipline.ReducibleTests$class.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$6.class
cats.laws.ArrowLaws$$anonfun$arrowExtension$1.class
cats.laws.discipline.InjectKTests$$anonfun$injectK$4.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$4.class
cats.laws.ComonadLaws$$anonfun$mapCoflatMapCoherence$1.class
cats.laws.discipline.AlternativeTests.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$30.class
cats.laws.ApplicativeLaws$$anonfun$applicativeUnit$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$28$$anonfun$apply$8.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForAndThen$1$$anonfun$apply$63.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$4.class
cats.laws.discipline.InjectKTests.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$11$$anonfun$apply$3.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$2$$anonfun$apply$1.class
cats.laws.discipline.DistributiveTests$.class
cats.laws.discipline.InjectKTests$$anon$1.class
cats.laws.discipline.ApplicativeTests$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$21.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$11.class
cats.laws.discipline.BifunctorTests$$anon$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$8.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$7$$anonfun$apply$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$30.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForChain$1.class
cats.laws.UnorderedTraverseLaws$class.class
cats.laws.discipline.UnorderedTraverseTests.class
cats.laws.discipline.arbitrary$$anonfun$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipNonEmptyList$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$46.class
cats.laws.discipline.FunctorTests$$anonfun$functor$7.class
cats.laws.discipline.ApplicativeTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$50.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$6.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$15.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForTuple2K$1.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$rightIdentity$2.class
cats.laws.discipline.FunctorTests.class
cats.laws.discipline.eq$$anon$4$$anonfun$6.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$1.class
cats.laws.BifoldableLaws$$anon$1.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$16.class
cats.laws.UnorderedFoldableLaws$class.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$10$$anonfun$apply$3.class
cats.laws.TraverseFilterLaws$$anonfun$filterAConsistentWithTraverseFilter$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$8.class
cats.laws.discipline.arbitrary.class
cats.laws.discipline.DeferTests$$anonfun$defer$5.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$21$$anonfun$apply$6.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$27$$anonfun$apply$7.class
cats.laws.ContravariantSemigroupalLaws$.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$11.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$7.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrdering$1.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$1.class
cats.laws.discipline.TraverseFilterTests$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForBinested$1.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$7.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForEitherT$1.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$1.class
cats.laws.discipline.CommutativeApplyTests.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$29.class
cats.laws.MonadErrorLaws.class
cats.laws.ApplicativeLaws$$anonfun$apProductConsistent$1.class
cats.laws.discipline.AlternativeTests$$anon$1.class
cats.laws.ComonadLaws$$anon$1.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$18$$anonfun$apply$6.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$18.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipNonEmptyVector$1$$anonfun$apply$11.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$25.class
cats.laws.discipline.ParallelTests$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$cogenNonEmptyMap$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipStream$1$$anonfun$apply$10.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$15.class
cats.laws.FlatMapLaws$$anonfun$mproductConsistency$1.class
cats.laws.ReducibleLaws$$anon$1.class
cats.laws.NonEmptyTraverseLaws$class.class
cats.laws.CommutativeArrowLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$28.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$7.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForPartialOrdering$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$12.class
cats.laws.discipline.ParallelTests$$anonfun$parallel$1.class
cats.laws.discipline.InjectKTests$.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$5.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$3.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$33.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$7$$anonfun$apply$2.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$16.class
cats.laws.discipline.ProfunctorTests$.class
cats.laws.discipline.StrongTests$$anon$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.UnorderedFoldableTests$$anon$1.class
cats.laws.SemigroupalLaws.class
cats.laws.discipline.CommutativeApplyTests$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$24$$anonfun$apply$7.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$44$$anonfun$apply$9.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$19.class
cats.laws.UnorderedFoldableLaws$.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$10.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$leftIdentity$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$16.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1$$anonfun$apply$22.class
cats.laws.discipline.CategoryTests$$anonfun$category$2$$anonfun$apply$1.class
cats.laws.discipline.CommutativeApplicativeTests$$anon$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$22.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$11.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceMap$1$$anonfun$apply$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$6.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$7$$anonfun$apply$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIdT$1.class
cats.laws.FunctorFilterLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$9.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForBand$1$$anonfun$apply$5.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$associativity$3.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$14.class
cats.laws.discipline.FlatMapTests$$anon$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$10.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$6.class
cats.laws.SemigroupalLaws$$anon$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$26.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$19.class
cats.laws.discipline.ChoiceTests$class.class
cats.laws.ContravariantLaws$class.class
cats.laws.discipline.DeferTests.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$13.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$1.class
cats.laws.discipline.InjectTests$$anonfun$inject$3.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$20.class
cats.laws.TraverseLaws$$anonfun$9$$anonfun$apply$2$$anonfun$apply$3.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1$$anonfun$apply$53$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$28.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipVector$1.class
cats.laws.ApplyLaws$class.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForSemigroup$1.class
cats.laws.discipline.MonadErrorTests$class.class
cats.laws.discipline.BitraverseTests$class.class
cats.laws.discipline.DistributiveTests.class
cats.laws.ContravariantSemigroupalLaws$class.class
cats.laws.discipline.SemigroupalTests$$anonfun$semigroupal$2$$anonfun$apply$1.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$15.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$2.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$11.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$9.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$8.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForOptionT$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$18$$anonfun$apply$5.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForShow$1$$anonfun$apply$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$8.class
cats.laws.InvariantLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$61.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$27.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ContravariantSemigroupalTests$.class
cats.laws.discipline.DeferTests$$anonfun$defer$3.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$19.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$5.class
cats.laws.package$.class
cats.laws.FlatMapLaws.class
cats.laws.discipline.ApplyTests$class.class
cats.laws.CommutativeFlatMapLaws$$anonfun$flatmapCommutative$2.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$10.class
cats.laws.discipline.MonadTests$class.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$1.class
cats.laws.ContravariantMonoidalLaws.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$5.class
cats.laws.package$IsEqArrow.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$4.class
cats.laws.TraverseLaws$$anonfun$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$62.class
cats.laws.discipline.UnorderedTraverseTests$.class
cats.laws.discipline.UnorderedFoldableTests.class
cats.laws.discipline.TraverseFilterTests$.class
cats.laws.discipline.CommutativeArrowTests.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$24$$anonfun$apply$7.class
cats.laws.FlatMapLaws$$anonfun$1$$anonfun$apply$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$24$$anonfun$apply$4.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$24.class
cats.laws.discipline.BifoldableTests$class.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$24$$anonfun$apply$7.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$17.class
cats.laws.discipline.MonoidKTests$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$26.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$2$$anonfun$apply$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$10.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$2$$anonfun$apply$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$4.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$3.class
cats.laws.CoflatMapLaws.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$1.class
cats.laws.InvariantMonoidalLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$25$$anonfun$apply$8.class
cats.laws.discipline.StrongTests$$anonfun$strong$3.class
cats.laws.FlatMapLaws$.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$25$$anonfun$apply$7.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1$$anonfun$apply$53.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$6.class
cats.laws.InjectKLaws.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$21.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$23.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$5.class
cats.laws.discipline.ParallelTests$.class
cats.laws.discipline.StrongTests.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$16.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$7.class
cats.laws.CategoryLaws$class.class
cats.laws.discipline.DeferTests$$anonfun$defer$5$$anonfun$apply$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$21.class
cats.laws.discipline.FunctorTests$$anonfun$functor$6.class
cats.laws.RepresentableLaws$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$5.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$9.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$28$$anonfun$apply$8.class
cats.laws.FunctorLaws$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$18.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$1.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$11.class
cats.laws.BifoldableLaws$$anonfun$2.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$14$$anonfun$apply$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForValidated$1.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2$$anonfun$apply$1.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$23.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForSemigroup$1$$anonfun$apply$3.class
cats.laws.discipline.DistributiveTests$$anon$2.class
cats.laws.discipline.eq$$anon$1$$anonfun$eqv$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$7.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$13.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$3.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$7.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$10.class
cats.laws.MonoidKLaws$.class
cats.laws.ComonadLaws$$anonfun$comonadLeftIdentity$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$24.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1.class
cats.laws.discipline.CategoryTests$$anonfun$category$1.class
cats.laws.discipline.DeferTests$$anonfun$defer$9.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$11.class
cats.laws.CommutativeArrowLaws$class.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$18.class
cats.laws.TraverseLaws$$anonfun$9.class
cats.laws.BimonadLaws$.class
cats.laws.discipline.TraverseFilterTests$class.class
cats.laws.InvariantMonoidalLaws$$anon$1.class
cats.laws.discipline.CommutativeArrowTests$$anonfun$commutativeArrow$3.class
cats.laws.discipline.SemigroupKTests.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$25.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$1$$anonfun$apply$2.class
cats.laws.InvariantMonoidalLaws$class.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$2$$anonfun$apply$1.class
cats.laws.DeferLaws$$anonfun$loop$1$2.class
cats.laws.ApplyLaws$$anonfun$productLConsistency$1.class
cats.laws.discipline.ArrowTests$$anon$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNested$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$5$$anonfun$apply$2.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$10.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$16$$anonfun$apply$4.class
cats.laws.discipline.InvariantSemigroupalTests$$anon$2.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$8.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$44.class
cats.laws.UnorderedTraverseLaws$$anon$2.class
cats.laws.discipline.FunctorTests$$anonfun$functor$2.class
cats.laws.InvariantSemigroupalLaws$.class
cats.laws.BifunctorLaws$$anonfun$bifunctorIdentity$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptyVector$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForTuple2K$1$$anonfun$apply$38.class
cats.laws.discipline.StrongTests$$anonfun$strong$2$$anonfun$apply$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$41$$anonfun$apply$8.class
cats.laws.ApplicativeLaws$class.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForCokleisli$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.arbitrary$$anonfun$2.class
cats.laws.BifoldableLaws$$anonfun$5$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$39$$anonfun$apply$11.class
cats.laws.ReducibleLaws$class.class
cats.laws.discipline.InvariantMonoidalTests$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$5$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$44.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$2$$anonfun$apply$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceMap$1.class
cats.laws.StrongLaws$$anon$1.class
cats.laws.discipline.CoflatMapTests.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$47.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$3$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOptionT$1$$anonfun$apply$33.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForBinested$1$$anonfun$apply$58.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalRightIdentity$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$17.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$27.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.ComposeTests$$anonfun$compose$2$$anonfun$apply$1.class
cats.laws.FoldableLaws$$anonfun$1.class
cats.laws.discipline.InjectKTests$$anonfun$injectK$1.class
cats.laws.BitraverseLaws$$anonfun$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$33.class
cats.laws.discipline.MonadTests.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$3.class
cats.laws.TraverseLaws$$anonfun$10.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$18.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.CommutativeArrowTests$$anonfun$commutativeArrow$2$$anonfun$apply$1.class
cats.laws.FoldableLaws$$anonfun$2.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1$$anonfun$apply$31.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1.class
cats.laws.package.class
cats.laws.ApplyLaws$$anonfun$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$11.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForTry$1.class
cats.laws.ContravariantSemigroupalLaws$$anon$1.class
cats.laws.CommutativeApplyLaws$$anon$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$2.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.SemigroupalTests$Isomorphisms.class
cats.laws.discipline.FunctorTests$$anonfun$functor$2$$anonfun$apply$1.class
cats.laws.discipline.StrongTests$.class
cats.laws.ChoiceLaws$class.class
cats.laws.discipline.InjectTests$$anonfun$inject$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$9.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$6.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$3.class
cats.laws.FunctorFilterLaws.class
cats.laws.discipline.FoldableTests$$anon$1.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$4.class
cats.laws.FoldableLaws$$anonfun$reduceRightOptionConsistentWithReduceRightToOption$1.class
cats.laws.FlatMapLaws$$anonfun$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptyChain$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$27.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$12$$anonfun$apply$3.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$12.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$40.class
cats.laws.BitraverseLaws$$anonfun$bitraverseIdentity$1.class
cats.laws.discipline.ApplyTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForSortedSet$1.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$9.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipNonEmptyList$1$$anonfun$apply$16.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFn0$1$$anonfun$apply$47$$anonfun$apply$48.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$4.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$14.class
cats.laws.RepresentableLaws$class.class
cats.laws.discipline.MonadTests$.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForKleisli$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$2.class
cats.laws.CommutativeFlatMapLaws$$anonfun$flatmapCommutative$1.class
cats.laws.CategoryLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1$$anonfun$apply$21.class
cats.laws.InvariantLaws$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$31.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$5.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$2$$anonfun$apply$1.class
cats.laws.ChoiceLaws$$anon$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$7.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForGroup$1.class
cats.laws.SemigroupKLaws$class.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$11.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$8$$anonfun$apply$3.class
cats.laws.discipline.SemigroupalTests$.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$14.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$23.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIdT$1$$anonfun$apply$34.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$2.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$10.class
cats.laws.FoldableLaws$$anonfun$1$$anonfun$apply$2.class
cats.laws.discipline.eq$$anon$5.class
cats.laws.NonEmptyParallelLaws$class.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForChain$1.class
cats.laws.discipline.StrongTests$class.class
cats.laws.discipline.FunctorTests$$anonfun$functor$5.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$19.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$18.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$36.class
cats.laws.discipline.InvariantMonoidalTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialFunction$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$22.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$57.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$2$$anonfun$apply$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$19.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$23$$anonfun$apply$6.class
cats.laws.TraverseFilterLaws$$anonfun$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$3.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$4.class
cats.laws.InjectLaws$class.class
cats.laws.FunctorFilterLaws$$anonfun$flattenOptionConsistentWithMapFilter$1.class
cats.laws.discipline.arbitrary$$anonfun$3.class
cats.laws.FoldableLaws$$anonfun$toListRef$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$19.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$7.class
cats.laws.ProfunctorLaws$$anonfun$profunctorRmapIdentity$1.class
cats.laws.discipline.eq$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$12.class
cats.laws.ApplyLaws.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$9.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$9.class
cats.laws.discipline.TraverseTests$$anon$1.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$6.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForKleisli$1$$anonfun$apply$69.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$6.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$13.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$18.class
cats.laws.discipline.SemigroupKTests$$anon$1.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$14.class
cats.laws.discipline.NonEmptyParallelTests$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForRepresentableStore$1$$anonfun$apply$61$$anonfun$apply$62.class
cats.laws.discipline.InjectTests$$anonfun$inject$5.class
cats.laws.ArrowLaws.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$5.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$rightIdentity$1.class
cats.laws.discipline.DistributiveTests$$anon$1.class
cats.laws.discipline.SemigroupalTests$class.class
cats.laws.UnorderedTraverseLaws$$anonfun$2.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalLeftIdentity$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$33.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$12$$anonfun$apply$4.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$25.class
cats.laws.discipline.BifunctorTests$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$24.class
cats.laws.discipline.CategoryTests$$anonfun$category$5$$anonfun$apply$2.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$12.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$17.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1$$anonfun$apply$51$$anon$2.class
cats.laws.discipline.CategoryTests$$anonfun$category$2.class
cats.laws.TraverseLaws$$anonfun$8$$anonfun$apply$1.class
cats.laws.CommutativeApplicativeLaws$$anon$1.class
cats.laws.discipline.eq$$anon$2$$anonfun$5.class
cats.laws.discipline.SemigroupKTests$.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$6.class
cats.laws.CommutativeMonadLaws.class
cats.laws.ApplicativeErrorLaws.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$2.class
cats.laws.NonEmptyTraverseLaws$$anon$2.class
cats.laws.TraverseLaws$$anon$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$9.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1$$anonfun$apply$36.class
cats.laws.DeferLaws$$anonfun$loop$1$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$51.class
cats.laws.discipline.InvariantTests.class
cats.laws.CommutativeApplicativeLaws$.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForValidated$1$$anonfun$apply$24.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$2$$anonfun$apply$1.class
cats.laws.BifunctorLaws$$anonfun$bifunctorLeftMapIdentity$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$23.class
cats.laws.discipline.CommutativeMonadTests$class.class
cats.laws.MonadLaws$$anonfun$kleisliRightIdentity$1.class
cats.laws.discipline.FunctorTests$.class
cats.laws.discipline.ArrowChoiceTests.class
cats.laws.discipline.UnorderedTraverseTests$$anon$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForSortedMap$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$21.class
cats.laws.discipline.ParallelTests.class
cats.laws.discipline.RepresentableTests$$anon$1.class
cats.laws.CategoryLaws$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$16.class
cats.laws.BitraverseLaws$$anonfun$2.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$2.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$15.class
cats.laws.FoldableLaws$class.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$4.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$2$$anonfun$apply$1.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$3.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$16.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.ReducibleTests$$anon$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$8.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForShow$1.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptySet$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$3.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$5$$anonfun$apply$2.class
cats.laws.discipline.FunctorTests$$anonfun$functor$3.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$3.class
cats.laws.discipline.DeferTests$$anonfun$defer$7.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$5.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$45.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$3.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$37.class
cats.laws.discipline.CommutativeMonadTests.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialFunction$1$$anonfun$apply$42.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForConst$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$5$$anonfun$apply$2.class
cats.laws.UnorderedFoldableLaws$$anon$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$19.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$11.class
cats.laws.FlatMapLaws$class.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$14.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$20.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$23.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$9.class
cats.laws.discipline.ApplicativeTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$28.class
cats.laws.DeferLaws$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$47$$anonfun$apply$10.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$13.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$9.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$45.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$7.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$2$$anonfun$apply$1.class
cats.laws.discipline.DeferTests$$anonfun$defer$2.class
cats.laws.TraverseLaws$.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsCogenForWriterT$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$15.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$15.class
cats.laws.ApplyLaws$$anonfun$productRConsistency$1.class
cats.laws.NonEmptyTraverseLaws$$anonfun$4.class
cats.laws.DistributiveLaws$$anon$1.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForCokleisli$1$$anonfun$apply$70.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$4.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$associativity$4.class
cats.laws.discipline.arbitrary$$anonfun$catLawsCogenForTuple2K$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$11.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$5.class
cats.laws.UnorderedTraverseLaws$$anonfun$3.class
cats.laws.ApplicativeLaws$.class
cats.laws.StrongLaws$.class
cats.laws.MonadLaws$$anonfun$mapFlatMapCoherence$1.class
cats.laws.discipline.NonEmptyParallelTests$class.class
cats.laws.discipline.InjectTests$$anon$1.class
cats.laws.DistributiveLaws.class
cats.laws.discipline.ComposeTests$.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFunc$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$21$$anonfun$apply$7.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$40.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$4.class
cats.laws.discipline.ContravariantTests.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$8.class
cats.laws.ComonadLaws.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$6.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$15.class
cats.laws.discipline.ContravariantSemigroupalTests$class.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$25.class
cats.laws.discipline.UnorderedTraverseTests$class.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$7.class
cats.laws.FoldableLaws$.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$2.class
cats.laws.discipline.CoflatMapTests$.class
cats.laws.ArrowLaws$$anonfun$arrowAssociation$2.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$1.class
cats.laws.InjectKLaws$.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForBand$1.class
cats.laws.ArrowChoiceLaws$$anonfun$leftRightConsistent$1.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$2.class
cats.laws.ComonadLaws$class.class
cats.laws.discipline.CategoryTests$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForAndThen$1.class
cats.laws.discipline.InjectTests$class.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$9.class
cats.laws.TraverseLaws$$anonfun$2.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$6$$anonfun$apply$2.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$21.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$5.class
cats.laws.ComonadLaws$$anonfun$cokleisliRightIdentity$1.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$11.class
cats.laws.ArrowChoiceLaws.class
cats.laws.discipline.ParallelTests$$anonfun$parallel$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEquiv$1.class
cats.laws.discipline.FunctorFilterTests$.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$14.class
cats.laws.CommutativeMonadLaws$$anon$1.class
cats.laws.BifunctorLaws$class.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$7.class
cats.laws.discipline.CommutativeFlatMapTests.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$3.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$22.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$8.class
cats.laws.InvariantMonoidalLaws.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$20$$anonfun$apply$6.class
cats.laws.BimonadLaws$$anonfun$pureCoflatMapEntwining$1.class
cats.laws.UnorderedTraverseLaws$$anonfun$1.class
cats.laws.discipline.DeferTests$$anonfun$defer$1.class
cats.laws.StrongLaws$class.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$14$$anonfun$apply$5.class
cats.laws.FoldableLaws.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEitherT$1.class
cats.laws.discipline.eq$$anonfun$9.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$19.class
cats.laws.discipline.CommutativeMonadTests$.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$29.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$15.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$12$$anonfun$apply$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$42.class
cats.laws.MonoidKLaws$$anon$1.class
cats.laws.DistributiveLaws$class.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$15$$anonfun$apply$4.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$2.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$15.class
cats.laws.ArrowLaws$$anonfun$arrowExchange$1.class
cats.laws.discipline.CommutativeFlatMapTests$$anon$2.class
cats.laws.discipline.ArrowTests$$anon$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$1.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$29.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForBoundedSemilattice$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$16$$anonfun$apply$4.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$19.class
cats.laws.CommutativeFlatMapLaws$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$2.class
cats.laws.MonadErrorLaws$$anon$1.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$17.class
cats.laws.discipline.package.class
cats.laws.UnorderedFoldableLaws$$anonfun$unorderedFoldConsistentWithUnorderedFoldMap$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$8.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIorT$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.TraverseFilterTests.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$10.class
cats.laws.discipline.arbitrary$$anonfun$arbNonEmptyMap$1$$anonfun$apply$17$$anonfun$apply$18$$anonfun$apply$19.class
cats.laws.AlternativeLaws$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$3.class
cats.laws.CommutativeFlatMapLaws$class.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$3.class
cats.laws.TraverseFilterLaws$$anonfun$2$$anonfun$apply$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$10$$anonfun$apply$3.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$18.class
cats.laws.discipline.ProfunctorTests$$anon$1.class
cats.laws.TraverseLaws$$anonfun$6.class
cats.laws.TraverseLaws$$anon$3.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$7$$anonfun$apply$2.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.FoldableLaws$$anonfun$collectFirstSome_Ref$1.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$16.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$1.class
cats.laws.discipline.CommutativeMonadTests$$anon$1.class
cats.laws.FlatMapLaws$$anonfun$1$$anonfun$apply$5.class
cats.laws.discipline.ContravariantTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$26.class
cats.laws.discipline.CategoryTests$$anonfun$category$4.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2.class
cats.laws.ApplyLaws$.class
cats.laws.ProfunctorLaws$.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$54.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$21$$anonfun$apply$6.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$24.class
cats.laws.discipline.BitraverseTests.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$16.class
cats.laws.discipline.BifoldableTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$39.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$5.class
cats.laws.discipline.CommutativeApplicativeTests$.class
cats.laws.discipline.FoldableTests.class
cats.laws.discipline.InjectTests$$anonfun$inject$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$17$$anonfun$apply$5.class
cats.laws.discipline.FlatMapTests$class.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.TraverseTests$$anon$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$24.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$4.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$4.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$11$$anonfun$apply$4.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$11$$anonfun$apply$3.class
cats.laws.ContravariantLaws.class
cats.laws.ContravariantLaws$.class
cats.laws.ContravariantMonoidalLaws$.class
cats.laws.discipline.NonEmptyTraverseTests.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$28.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$11.class
cats.laws.ReducibleLaws$.class
cats.laws.ComonadLaws$$anonfun$cokleisliLeftIdentity$1.class
cats.laws.discipline.CommutativeArrowTests$class.class
cats.laws.ArrowLaws$.class
cats.laws.TraverseFilterLaws$$anonfun$traverseFilterConsistentWithTraverse$1$$anonfun$apply$1.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOptionT$1.class
cats.laws.BifoldableLaws$$anonfun$4.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$4.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$10.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$30.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$8.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$59$$anonfun$apply$13.class
cats.laws.FunctorLaws$$anonfun$covariantIdentity$1.class
cats.laws.discipline.ArrowTests$class.class
cats.laws.discipline.InvariantMonoidalTests$class.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$7$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$9$$anonfun$apply$3.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.SemigroupalTests$$anonfun$semigroupal$2.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$16.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$13.class
cats.laws.discipline.StrongTests$$anonfun$strong$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$3.class
cats.laws.discipline.eq$$anon$2$$anonfun$eqv$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$15.class
cats.laws.discipline.ApplicativeTests.class
cats.laws.BifoldableLaws.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$26.class
cats.laws.BifoldableLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrdering$1$$anonfun$apply$52.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$7.class
cats.laws.TraverseLaws$FirstOption$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$23.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$2$$anonfun$apply$1.class
cats.laws.NonEmptyTraverseLaws$$anonfun$3.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$8.class
cats.laws.discipline.arbitrary$$anonfun$arbNonEmptyMap$1$$anonfun$apply$17.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$13.class
cats.laws.NonEmptyParallelLaws.class
cats.laws.MonoidKLaws.class
cats.laws.discipline.BimonadTests$$anon$2.class
cats.laws.discipline.UnorderedTraverseTests$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$7.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$4.class
cats.laws.ChoiceLaws$.class
cats.laws.discipline.FoldableTests$class.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$6$$anonfun$apply$2.class
cats.laws.discipline.eq$$anon$2$$anonfun$2.class
cats.laws.ContravariantLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOneAnd$1.class
cats.laws.ReducibleLaws.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$8.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIdT$1.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2$$anonfun$associativity$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$6$$anonfun$apply$2.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$3.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$49.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$16.class
cats.laws.discipline.arbitrary$$anonfun$5.class
cats.laws.FoldableLaws$$anonfun$reduceLeftOptionConsistentWithReduceLeftToOption$1.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$7.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$31$$anonfun$apply$8.class
cats.laws.discipline.MonadTests$$anon$3.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$26.class
cats.laws.BifoldableLaws$$anonfun$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$16.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$27.class
cats.laws.ApplicativeErrorLaws$$anonfun$onErrorPure$1.class
cats.laws.discipline.ParallelTests$class.class
cats.laws.discipline.CommutativeMonadTests$$anon$2.class
cats.laws.NonEmptyTraverseLaws$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$38.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$12$$anonfun$apply$3.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$2$$anonfun$apply$1.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalAssociativity$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForZipList$1$$anonfun$apply$9.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$18.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$22.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForRepresentableStore$1$$anonfun$apply$61.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForSortedMap$1$$anonfun$apply$54.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$15$$anonfun$apply$5.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$48.class
cats.laws.ChoiceLaws.class
cats.laws.discipline.StrongTests$$anonfun$strong$7$$anonfun$apply$2.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$7.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$8.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$2$$anonfun$apply$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$18.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$11.class
cats.laws.discipline.CommutativeArrowTests$$anonfun$commutativeArrow$4.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$10.class
cats.laws.discipline.ComposeTests$$anonfun$compose$5.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$10.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$16.class
cats.laws.UnorderedTraverseLaws$$anonfun$unorderedSequenceConsistent$1.class
cats.laws.InvariantSemigroupalLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIorT$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$28.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$12.class
cats.laws.BitraverseLaws.class
cats.laws.ContravariantMonoidalLaws$$anonfun$contravariantMonoidalUnitLeft$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$10.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$30.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$9.class
cats.laws.discipline.ApplicativeErrorTests$.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$7.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$12.class
cats.laws.discipline.DistributiveTests$class.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$18.class
cats.laws.AlternativeLaws$class.class
cats.laws.MonoidKLaws$class.class
cats.laws.discipline.InvariantMonoidalTests$.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$5.class
cats.laws.ContravariantMonoidalLaws$$anonfun$contravariantMonoidalContramap2CompatibleContramapRight$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$2$$anonfun$apply$1.class
cats.laws.discipline.MonadTests$$anon$1.class
cats.laws.discipline.ApplyTests$.class
cats.laws.DeferLaws.class
cats.laws.StrongLaws.class
cats.laws.discipline.RepresentableTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$14$$anonfun$apply$4.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$8.class
cats.laws.UnorderedFoldableLaws$$anonfun$existsLazy$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$51$$anonfun$apply$11.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$6.class
cats.laws.FlatMapLaws$$anonfun$flatMapConsistentApply$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$3.class
cats.laws.FoldableLaws$$anonfun$takeWhile_Ref$1$$anonfun$apply$3.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$2.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$16$$anonfun$apply$4.class
cats.laws.ProfunctorLaws$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$48.class
cats.laws.discipline.CoflatMapTests$$anon$1.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$8.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$5$$anonfun$apply$2.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$23.class
cats.laws.FunctorLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForOp$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$58.class
cats.laws.DistributiveLaws$$anonfun$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$34.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.ApplicativeErrorTests.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$14.class
cats.laws.discipline.InjectTests$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$29.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$9.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$2.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.RepresentableTests.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$20.class
cats.laws.InvariantLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$13$$anonfun$apply$4.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$2$$anonfun$apply$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$3.class
cats.laws.discipline.SemigroupalTests$$anonfun$semigroupal$5.class
cats.laws.discipline.ComonadTests$$anon$1.class
cats.laws.discipline.CommutativeApplicativeTests.class
cats.laws.MonadErrorLaws$$anonfun$monadErrorEnsureConsistency$1.class
cats.laws.TraverseFilterLaws$$anon$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$13.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$17.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$4.class
cats.laws.TraverseLaws$$anonfun$4.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$4.class
cats.laws.discipline.TraverseTests$.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$56.class
cats.laws.MonadLaws$$anon$1.class
cats.laws.ArrowChoiceLaws$$anonfun$leftTwiceCommutesWithSumAssociation$1.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$5$$anonfun$apply$2.class
cats.laws.UnorderedTraverseLaws.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$1.class
cats.laws.AlternativeLaws.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$3.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$19.class
cats.laws.discipline.SemigroupalTests$$anonfun$semigroupal$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForTuple2K$1$$anonfun$apply$38$$anonfun$apply$39.class
cats.laws.discipline.CategoryTests$$anon$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$22.class
cats.laws.discipline.InjectTests$$anonfun$inject$6.class
cats.laws.discipline.TraverseFilterTests$$anonfun$traverseFilter$5.class
cats.laws.ArrowLaws$class.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$6.class
cats.laws.discipline.ChoiceTests$$anon$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$4.class
cats.laws.TraverseFilterLaws.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$6.class
cats.laws.discipline.MonadTests$$anon$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$32.class
cats.laws.discipline.NonEmptyParallelTests$$anonfun$nonEmptyParallel$9.class
cats.laws.ReducibleLaws$$anonfun$reduceLeftToConsistentWithReduceMap$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$2$$anonfun$apply$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$5.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$2$$anonfun$apply$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$37$$anonfun$apply$7.class
cats.laws.ArrowLaws$$anonfun$arrowIdentity$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$5.class
cats.laws.UnorderedFoldableLaws$$anonfun$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$47.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForOrdering$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$6.class
cats.laws.ContravariantMonoidalLaws$class.class
cats.laws.ComonadLaws$$anonfun$mapCoflattenIdentity$1.class
cats.laws.MonadLaws$$anonfun$1.class
cats.laws.FunctorFilterLaws$$anonfun$mapFilterMapConsistency$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$10$$anonfun$apply$3.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$12.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$15.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForCommutativeMonoid$1.class
cats.laws.discipline.eq$$anon$1$$anonfun$1.class
cats.laws.discipline.ComposeTests$$anon$1.class
cats.laws.ApplyLaws$$anonfun$map2ProductConsistency$1.class
cats.laws.discipline.CommutativeApplyTests$$anon$2$$anonfun$props$5.class
cats.laws.TraverseLaws$$anonfun$3.class
cats.laws.ArrowChoiceLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$14.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1$$anonfun$apply$35.class
cats.laws.discipline.arbitrary$$anonfun$5$$anonfun$apply$64.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$18.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$24$$anonfun$apply$6.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.FlatMapTests.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$2.class
cats.laws.ComposeLaws.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$25.class
cats.laws.InjectLaws.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$18.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$5.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$25.class
cats.laws.discipline.eq$$anonfun$9$$anonfun$apply$6.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$5.class
cats.laws.discipline.BimonadTests$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$21$$anonfun$apply$6.class
cats.laws.discipline.ArrowTests$.class
cats.laws.BifoldableLaws$$anonfun$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$5$$anonfun$apply$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$18$$anonfun$apply$5.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForRepresentableStore$1.class
cats.laws.NonEmptyTraverseLaws$$anonfun$2.class
cats.laws.MonadErrorLaws$$anonfun$monadErrorEnsureOrConsistency$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$19$$anonfun$apply$6.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$20.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEq$1$$anonfun$apply$49$$anon$3.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$15$$anonfun$apply$4.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.DistributiveTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$55.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$8.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1$$anonfun$apply$3.class
cats.laws.discipline.StrongTests$$anonfun$strong$5.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$1.class
cats.laws.CoflatMapLaws$$anon$1.class
cats.laws.discipline.AlternativeTests$.class
cats.laws.discipline.NonEmptyParallelTests$$anon$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$2.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$2$$anonfun$apply$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$7.class
cats.laws.discipline.NonEmptyTraverseTests$class.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.FunctorFilterTests.class
cats.laws.discipline.NonEmptyTraverseTests$$anon$3$$anonfun$props$6$$anonfun$apply$2.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$5.class
cats.laws.discipline.ComposeTests.class
cats.laws.MonadLaws.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForSemilattice$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEq$1$$anonfun$apply$49.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawArbitraryForIndexedStateT$1.class
cats.laws.TraverseLaws$$anon$3$$anonfun$combine$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$12.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEitherK$1$$anonfun$apply$44.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForCommutativeGroup$1.class
cats.laws.InjectKLaws$class.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$36$$anonfun$apply$10.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$8.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$11.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$12.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$10$$anonfun$apply$3.class
cats.laws.discipline.MonoidKTests$$anon$1.class
cats.laws.discipline.MonoidKTests.class
cats.laws.ApplicativeErrorLaws$class.class
cats.laws.discipline.UnorderedTraverseTests$$anonfun$unorderedTraverse$5.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$3.class
cats.laws.SemigroupalLaws$.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$7.class
cats.laws.SemigroupKLaws$.class
cats.laws.discipline.InvariantSemigroupalTests$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$5$$anonfun$apply$2.class
cats.laws.discipline.ChoiceTests.class
cats.laws.discipline.ContravariantSemigroupalTests$$anon$2$$anonfun$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$12.class
cats.laws.InjectLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$8.class
cats.laws.ComposeLaws$.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$14$$anonfun$apply$4.class
cats.laws.discipline.StrongTests$$anonfun$strong$6.class
cats.laws.TraverseLaws.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$9.class
cats.laws.discipline.CoflatMapTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForSortedSet$1.class
cats.laws.discipline.DeferTests$class.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$14.class
cats.laws.MonadLaws$.class
cats.laws.FoldableLaws$$anonfun$leftFoldConsistentWithFoldMap$1.class
cats.laws.discipline.UnorderedFoldableTests$$anonfun$unorderedFoldable$10.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$15$$anonfun$apply$4.class
cats.laws.discipline.eq.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$12.class
cats.laws.ContravariantMonoidalLaws$$anonfun$contravariantMonoidalUnitRight$1.class
cats.laws.discipline.RepresentableTests$$anonfun$representable$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForRepresentableStore$1.class
cats.laws.discipline.eq$$anonfun$8.class
cats.laws.discipline.ContravariantMonoidalTests$$anon$2$$anonfun$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$18.class
cats.laws.discipline.arbitrary$$anonfun$arbNonEmptyMap$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$10$$anonfun$apply$3.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$21.class
cats.laws.discipline.FunctorFilterTests$class.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$27$$anonfun$apply$8.class
cats.laws.discipline.BifoldableTests$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIorT$1$$anonfun$apply$32.class
cats.laws.ArrowChoiceLaws$$anonfun$leftAndThenRightIdentityCommutes$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFn0$1$$anonfun$apply$47.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFunc$1$$anonfun$apply$40.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$14.class
cats.laws.discipline.SemigroupalTests$Isomorphisms$$anon$2.class
cats.laws.discipline.InjectTests.class
cats.laws.discipline.ParallelTests$$anonfun$parallel$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyList$1$$anonfun$apply$12$$anonfun$apply$13.class
cats.laws.discipline.arbitrary$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrdering$1$$anonfun$apply$56.class
cats.laws.discipline.BifoldableTests.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$14.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$13.class
cats.laws.AlternativeLaws$$anon$1.class
cats.laws.BitraverseLaws$$anon$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$7.class
cats.laws.BifunctorLaws$$anonfun$bifunctorIdentity$1.class
cats.laws.discipline.ArrowChoiceTests$$anon$2$$anonfun$props$14.class
cats.laws.discipline.InjectKTests$$anonfun$injectK$3.class
cats.laws.discipline.ComonadTests$class.class
cats.laws.ApplicativeErrorLaws$$anonfun$handleErrorWithConsistentWithRecoverWith$1.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$46$$anonfun$apply$13.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$11$$anonfun$apply$3.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$17.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
scala-library-2.11.12.jar
/org.scala-lang/scala-library/2.11.12
查看scala-library所有版本文件
cats-macros_2.11-1.4.0.jar
/org.typelevel/cats-macros_2.11/1.4.0
查看cats-macros_2.11所有版本文件
cats-kernel_2.11-1.4.0.jar
/org.typelevel/cats-kernel_2.11/1.4.0
查看cats-kernel_2.11所有版本文件
cats-core_2.11-1.4.0.jar
/org.typelevel/cats-core_2.11/1.4.0
查看cats-core_2.11所有版本文件
cats-kernel-laws_2.11-1.4.0.jar
/org.typelevel/cats-kernel-laws_2.11/1.4.0
查看cats-kernel-laws_2.11所有版本文件
machinist_2.11-0.6.5.jar
/org.typelevel/machinist_2.11/0.6.5
查看machinist_2.11所有版本文件
scalacheck_2.11-1.13.5.jar
/org.scalacheck/scalacheck_2.11/1.13.5
查看scalacheck_2.11所有版本文件
discipline_2.11-0.9.0.jar
/org.typelevel/discipline_2.11/0.9.0
查看discipline_2.11所有版本文件
catalysts-platform_2.11-0.6.jar
/org.typelevel/catalysts-platform_2.11/0.6
查看catalysts-platform_2.11所有版本文件
catalysts-macros_2.11-0.6.jar
/org.typelevel/catalysts-macros_2.11/0.6
查看catalysts-macros_2.11所有版本文件
scalatest_2.11-3.0.5.jar
/org.scalatest/scalatest_2.11/3.0.5
查看scalatest_2.11所有版本文件
|
查看cats-laws_2.11所有版本文件