| 组织ID: |
org.typelevel |
| 项目ID: |
cats-laws_2.11 |
| 版本: |
0.9.0 |
| 最后修改时间: |
2018-08-06 09:38:58 |
| 包类型: |
jar |
| 标题: |
MIT |
| 描述: |
Cats laws |
| 相关URL: |
https://github.com/typelevel/cats |
| 大小: |
1.13MB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-laws_2.11</artifactId>
<version>0.9.0</version>
</dependency>
|
| Gradle引入代码: |
org.typelevel:cats-laws_2.11:0.9.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>0.9.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>stew</id>
<name>Mike O'Connor</name>
<url>https://github.com/stew/</url>
</developer>
<developer>
<id>non</id>
<name>Erik Osheim</name>
<url>https://github.com/non/</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>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.8</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-macros_2.11</artifactId>
<version>0.9.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel_2.11</artifactId>
<version>0.9.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-core_2.11</artifactId>
<version>0.9.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel-laws_2.11</artifactId>
<version>0.9.0</version>
</dependency>
<dependency>
<groupId>com.github.mpilquist</groupId>
<artifactId>simulacrum_2.11</artifactId>
<version>0.10.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>machinist_2.11</artifactId>
<version>0.6.1</version>
</dependency>
<dependency>
<groupId>org.scalacheck</groupId>
<artifactId>scalacheck_2.11</artifactId>
<version>1.13.4</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline_2.11</artifactId>
<version>0.7.2</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-platform_2.11</artifactId>
<version>0.0.5</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-macros_2.11</artifactId>
<version>0.0.5</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>org.scalatest</groupId>
<artifactId>scalatest_2.11</artifactId>
<version>3.0.0</version>
<scope>test</scope>
</dependency>
</dependencies>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
cats.laws.discipline.TraverseFilterTests$class.class
cats.laws.SemigroupKLaws$$anon$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.StrongTests$$anon$1.class
cats.laws.ApplicativeLaws$$anonfun$applicativeInterchange$1.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$10.class
cats.laws.CoflatMapLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$class.class
cats.laws.discipline.SerializableTests.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1$$anonfun$apply$29$$anonfun$apply$30.class
cats.laws.SemigroupKLaws$class.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$13.class
cats.laws.discipline.ApplyTests$$anon$2.class
cats.laws.MonadStateLaws$$anonfun$2.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalRightIdentity$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$1.class
cats.laws.ArrowLaws$$anonfun$arrowExchange$1.class
cats.laws.MonadStateLaws$$anon$1.class
cats.laws.discipline.MonadCombineTests$$anon$2.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$10.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForOptionT$1.class
cats.laws.CategoryLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$7.class
cats.laws.discipline.MonadTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$36.class
cats.laws.discipline.ReducibleTests.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$10.class
cats.laws.BifunctorLaws$$anonfun$bifunctorIdentity$1.class
cats.laws.discipline.SplitTests$class.class
cats.laws.discipline.package$.class
cats.laws.discipline.BifunctorTests$.class
cats.laws.ComposeLaws.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialFunction$1$$anonfun$apply$37.class
cats.laws.discipline.BifunctorTests.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$3.class
cats.laws.discipline.FunctorTests$class.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.MonadTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForCoproduct$1$$anonfun$apply$41.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$3.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$5.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$11.class
cats.laws.discipline.eq$$anon$4$$anonfun$eqv$4.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$15.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetTwice$1.class
cats.laws.BifoldableLaws$$anonfun$1.class
cats.laws.discipline.eq$$anon$1$$anonfun$eqv$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1$$anonfun$apply$19.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$7.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1$$anonfun$apply$48.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNested$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$19.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$7.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$15.class
cats.laws.AlternativeLaws.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$20.class
cats.laws.FunctorLaws$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$9.class
cats.laws.discipline.CartesianTests$$anonfun$cartesian$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$29.class
cats.laws.ApplicativeErrorLaws$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$20.class
cats.laws.discipline.StrongTests$$anonfun$strong$6.class
cats.laws.ArrowLaws$$anon$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$12.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$22.class
cats.laws.discipline.eq$$anon$1$$anonfun$5.class
cats.laws.BimonadLaws.class
cats.laws.discipline.ReducibleTests$.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$14.class
cats.laws.discipline.CartesianTests.class
cats.laws.BifunctorLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$23.class
cats.laws.FunctorFilterLaws$.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$7.class
cats.laws.MonadLaws$$anon$1.class
cats.laws.BitraverseLaws$$anonfun$bitraverseIdentity$1.class
cats.laws.ReducibleLaws.class
cats.laws.discipline.CategoryTests$class.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$6.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$22.class
cats.laws.TraverseFilterLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFn0$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForAppFunc$1.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$2.class
cats.laws.discipline.TraverseTests$$anon$3.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$26.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$9.class
cats.laws.discipline.ArrowTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFunc$1.class
cats.laws.BifunctorLaws$class.class
cats.laws.MonadErrorLaws$.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$7.class
cats.laws.discipline.eq$$anon$3$$anonfun$7.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$2.class
cats.laws.discipline.CartesianTests$Isomorphisms$.class
cats.laws.discipline.MonadWriterTests$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$27.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$14.class
cats.laws.IsEq.class
cats.laws.MonadReaderLaws$$anonfun$1.class
cats.laws.InvariantMonoidalLaws$$anon$1.class
cats.laws.discipline.BifoldableTests$.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$25.class
cats.laws.discipline.MonadTests$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$7.class
cats.laws.TraverseLaws$$anonfun$4.class
cats.laws.FlatMapLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForProd$1$$anonfun$apply$31$$anonfun$apply$32.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForWriter$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$30.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$1.class
cats.laws.discipline.ComonadTests.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$rightIdentity$3.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$9.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$19.class
cats.laws.discipline.FunctorTests$$anonfun$functor$8.class
cats.laws.discipline.InvariantMonoidalTests$$anon$1.class
cats.laws.FlatMapLaws.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$24.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$3.class
cats.laws.ArrowLaws$$anonfun$arrowIdentity$1.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$3.class
cats.laws.BifoldableLaws$class.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$13.class
cats.laws.discipline.InvariantTests.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$15.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$3.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$19.class
cats.laws.ApplicativeErrorLaws$class.class
cats.laws.ComonadLaws$$anonfun$cokleisliRightIdentity$1.class
cats.laws.CartesianLaws.class
cats.laws.discipline.ReducibleTests$class.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.ArrowTests$$anon$2.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$9.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalLeftIdentity$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$21.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1$$anonfun$apply$49.class
cats.laws.discipline.FunctorFilterTests$class.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$8.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$3.class
cats.laws.FlatMapLaws$$anon$1.class
cats.laws.ArrowLaws$$anonfun$arrowAssociation$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$12.class
cats.laws.discipline.ProfunctorTests$class.class
cats.laws.ChoiceLaws$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.StrongTests$class.class
cats.laws.discipline.ProfunctorTests$$anon$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$10.class
cats.laws.discipline.ApplicativeTests$$anon$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$14.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$12.class
cats.laws.discipline.ApplicativeErrorTests$$anon$1.class
cats.laws.MonadReaderLaws$.class
cats.laws.discipline.BitraverseTests$$anon$2.class
cats.laws.discipline.TraverseFilterTests$$anon$2.class
cats.laws.CategoryLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$6.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$19.class
cats.laws.ApplicativeLaws.class
cats.laws.MonadLaws$$anonfun$kleisliLeftIdentity$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$3.class
cats.laws.BimonadLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialFunction$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$19.class
cats.laws.CoflatMapLaws$$anonfun$coflattenThroughMap$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$6.class
cats.laws.discipline.eq$$anon$3.class
cats.laws.discipline.ContravariantTests.class
cats.laws.discipline.package.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$2.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$3.class
cats.laws.ComposeLaws$$anon$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$6.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$11.class
cats.laws.discipline.MonadReaderTests$class.class
cats.laws.BitraverseLaws$$anon$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$26.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$10.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$17.class
cats.laws.discipline.StrongTests$$anonfun$strong$4.class
cats.laws.discipline.MonadErrorTests$.class
cats.laws.discipline.SplitTests$$anonfun$split$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyVector$1$$anonfun$apply$4.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$13.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$5.class
cats.laws.SplitLaws.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$9.class
cats.laws.discipline.FlatMapTests$.class
cats.laws.MonadFilterLaws$class.class
cats.laws.discipline.eq$$anon$3$$anonfun$3.class
cats.laws.discipline.ChoiceTests$class.class
cats.laws.FoldableLaws$$anonfun$leftFoldConsistentWithFoldMap$1.class
cats.laws.discipline.InvariantMonoidalTests$.class
cats.laws.discipline.InvariantTests$.class
cats.laws.InvariantLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$18.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$2.class
cats.laws.MonadErrorLaws$$anon$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$9.class
cats.laws.MonadWriterLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$16.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$10.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$2.class
cats.laws.CoflatMapLaws$class.class
cats.laws.MonadReaderLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForProd$1$$anonfun$apply$31.class
cats.laws.ChoiceLaws.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$10.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptyList$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$21.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$21.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$8.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForConst$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$10.class
cats.laws.discipline.CategoryTests$.class
cats.laws.discipline.FoldableTests$.class
cats.laws.SplitLaws$class.class
cats.laws.MonoidKLaws$.class
cats.laws.discipline.CartesianTests$$anonfun$cartesian$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1$$anonfun$apply$18.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$21.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$22.class
cats.laws.discipline.SemigroupKTests$class.class
cats.laws.discipline.ComposeTests$$anonfun$compose$4.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$7.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$5.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.BifoldableTests$$anon$1.class
cats.laws.ArrowLaws$$anonfun$arrowExtension$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$24.class
cats.laws.BitraverseLaws$.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$leftIdentity$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$7.class
cats.laws.MonadFilterLaws.class
cats.laws.discipline.ComposeTests$class.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$8.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$15.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.BifunctorTests$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$31.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$8.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.AlternativeTests$.class
cats.laws.discipline.TraverseTests$$anon$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$11.class
cats.laws.ReducibleLaws$$anonfun$reduceReduceLeftConsistent$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$20.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$3.class
cats.laws.discipline.package$$anonfun$catsLawsIsEqToProp$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$17.class
cats.laws.ArrowLaws$$anonfun$arrowAssociation$2.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.arbitrary$$anonfun$catLawsCogenForProd$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$2.class
cats.laws.ChoiceLaws$.class
cats.laws.discipline.FlatMapTests.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$8.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$3.class
cats.laws.ProfunctorLaws$$anonfun$profunctorRmapIdentity$1.class
cats.laws.MonadWriterLaws$class.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$5.class
cats.laws.discipline.CoflatMapTests$class.class
cats.laws.FoldableLaws$$anonfun$forallLazy$1.class
cats.laws.discipline.SemigroupKTests$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$11.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$6.class
cats.laws.discipline.InvariantMonoidalTests$class.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$11.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$13.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$4.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$1.class
cats.laws.ApplicativeLaws$$anonfun$apProductConsistent$1.class
cats.laws.ProfunctorLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$3.class
cats.laws.ApplyLaws$$anonfun$1.class
cats.laws.SerializableLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForConst$1$$anonfun$apply$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$26.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$23.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForKleisli$1$$anonfun$apply$20$$anonfun$apply$21.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$7.class
cats.laws.BifunctorLaws.class
cats.laws.discipline.MonadStateTests$$anon$2.class
cats.laws.discipline.MonadErrorTests$class.class
cats.laws.discipline.CartesianTests$$anonfun$cartesian$3.class
cats.laws.ComonadLaws$$anonfun$cokleisliLeftIdentity$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$17.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$15.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$16.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$19.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$19.class
cats.laws.discipline.CoflatMapTests.class
cats.laws.InvariantMonoidalLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForFunction0$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForKleisli$1$$anonfun$apply$20.class
cats.laws.MonadLaws$$anonfun$monadRightIdentity$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$8.class
cats.laws.discipline.SplitTests$$anonfun$split$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$12.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$16.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIor$1$$anonfun$apply$17.class
cats.laws.MonadLaws$$anonfun$kleisliRightIdentity$1.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$20.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$3.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$5.class
cats.laws.discipline.eq$$anon$2$$anonfun$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyList$1$$anonfun$apply$6.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFunc$1$$anonfun$apply$33$$anonfun$apply$34.class
cats.laws.TraverseLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$16.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForValidated$1.class
cats.laws.discipline.TraverseFilterTests$.class
cats.laws.TraverseLaws$class.class
cats.laws.discipline.FunctorTests$$anonfun$functor$7.class
cats.laws.ComonadLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyList$1.class
cats.laws.BifunctorLaws$$anonfun$bifunctorLeftMapIdentity$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$16.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$11.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.CategoryTests$$anon$1.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$4.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsCogenForWriterT$1.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$rightIdentity$1.class
cats.laws.discipline.MonadFilterTests$$anon$2.class
cats.laws.discipline.FunctorTests$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$18.class
cats.laws.ApplyLaws$$anonfun$1$$anonfun$apply$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$1.class
cats.laws.BitraverseLaws$$anonfun$3.class
cats.laws.discipline.SplitTests$$anonfun$split$1.class
cats.laws.ComonadLaws$$anonfun$mapCoflattenIdentity$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForAppFunc$1$$anonfun$apply$35.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForCoproduct$1$$anonfun$apply$39.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$9.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.MonadFilterTests$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$14.class
cats.laws.TraverseFilterLaws$.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForSemigroup$1.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$18.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$5.class
cats.laws.MonadStateLaws$class.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$6.class
cats.laws.BifoldableLaws$$anonfun$3.class
cats.laws.ComonadLaws.class
cats.laws.discipline.AlternativeTests$$anon$2.class
cats.laws.BifoldableLaws$$anon$1.class
cats.laws.MonadFilterLaws$$anonfun$monadFilterRightEmpty$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$4.class
cats.laws.ArrowLaws.class
cats.laws.BifunctorLaws$.class
cats.laws.FlatMapLaws$$anonfun$flatMapConsistentApply$1.class
cats.laws.discipline.MonadTests$$anon$3.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$26.class
cats.laws.BifoldableLaws$$anonfun$2.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$2.class
cats.laws.discipline.FunctorFilterTests$$anon$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.MonadTests.class
cats.laws.InvariantMonoidalLaws$class.class
cats.laws.discipline.arbitrary$.class
cats.laws.package.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$20.class
cats.laws.discipline.MonadCombineTests$$anon$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$9.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$12.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$15.class
cats.laws.discipline.ChoiceTests$.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$10.class
cats.laws.InvariantMonoidalLaws.class
cats.laws.discipline.ComposeTests$$anon$1.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForShow$1$$anonfun$apply$1.class
cats.laws.discipline.MonadTests$$anon$2.class
cats.laws.discipline.MonadStateTests$$anon$1.class
cats.laws.InvariantLaws$class.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$3.class
cats.laws.MonadStateLaws$$anonfun$1.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$3.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$11.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$34.class
cats.laws.ApplicativeErrorLaws$$anonfun$recoverConsistentWithRecoverWith$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$18.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$2.class
cats.laws.FlatMapLaws$class.class
cats.laws.discipline.eq$$anon$2$$anonfun$eqv$2.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$6.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$5.class
cats.laws.ComonadLaws$class.class
cats.laws.discipline.MonadWriterTests$class.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForWriterT$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$7.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1.class
cats.laws.discipline.ComposeTests$$anonfun$compose$3.class
cats.laws.BifoldableLaws.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$1.class
cats.laws.discipline.ApplyTests$.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.SemigroupKTests.class
cats.laws.discipline.SerializableTests$.class
cats.laws.TraverseLaws$$anonfun$3.class
cats.laws.discipline.MonadWriterTests$$anon$2.class
cats.laws.FunctorLaws$.class
cats.laws.StrongLaws$$anon$1.class
cats.laws.SplitLaws$.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.MonoidKTests$.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$1.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$17.class
cats.laws.discipline.CategoryTests$$anonfun$category$1.class
cats.laws.ReducibleLaws$$anonfun$reduceLeftToConsistentWithReduceMap$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$15.class
cats.laws.AlternativeLaws$.class
cats.laws.discipline.BitraverseTests$class.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$16.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$9.class
cats.laws.discipline.SplitTests$.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$associativity$2.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$15.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$22.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$leftIdentity$2.class
cats.laws.MonadFilterLaws$$anon$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$5.class
cats.laws.discipline.TraverseTests$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyVector$1$$anonfun$apply$4$$anonfun$apply$5.class
cats.laws.AlternativeLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFn0$1$$anonfun$apply$42$$anonfun$apply$43.class
cats.laws.FunctorFilterLaws$class.class
cats.laws.discipline.MonadCombineTests$class.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2$$anonfun$apply$1.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$3.class
cats.laws.discipline.eq$$anon$4$$anonfun$4.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForFn0$1$$anonfun$apply$42.class
cats.laws.MonadWriterLaws.class
cats.laws.ContravariantLaws$class.class
cats.laws.ComonadLaws$$anonfun$comonadLeftIdentity$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$15$$anonfun$apply$16.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$5.class
cats.laws.discipline.arbitrary$$anonfun$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$3.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$4.class
cats.laws.discipline.BimonadTests.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$9.class
cats.laws.MonoidKLaws$class.class
cats.laws.TraverseLaws.class
cats.laws.discipline.ContravariantTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForProd$1.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForSemigroup$1$$anonfun$apply$2.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$17.class
cats.laws.discipline.FoldableTests.class
cats.laws.discipline.MonadErrorTests$$anon$1.class
cats.laws.discipline.MonadWriterTests$.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$16.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIdT$1$$anonfun$apply$25.class
cats.laws.discipline.ProfunctorTests.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.BimonadTests$class.class
cats.laws.discipline.FlatMapTests$class.class
cats.laws.discipline.FunctorTests$$anonfun$functor$6.class
cats.laws.MonadWriterLaws$$anonfun$monadWriterTellFusion$1.class
cats.laws.FunctorFilterLaws$$anon$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$18.class
cats.laws.discipline.ArrowTests$class.class
cats.laws.MonadLaws$class.class
cats.laws.discipline.MonoidKTests$class.class
cats.laws.FoldableLaws$$anonfun$1.class
cats.laws.CartesianLaws$$anon$1.class
cats.laws.MonadWriterLaws$$anonfun$monadWriterListenWriter$1.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$1.class
cats.laws.discipline.eq$$anon$4$$anonfun$8.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$3.class
cats.laws.discipline.SplitTests.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEval$1$$anonfun$apply$27.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$25.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$2$$anonfun$apply$3.class
cats.laws.discipline.TraverseTests.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceMap$1$$anonfun$apply$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.FlatMapTests$$anon$1.class
cats.laws.discipline.ChoiceTests$$anon$1.class
cats.laws.StrongLaws.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIdT$1.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$4.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ApplicativeErrorTests$class.class
cats.laws.discipline.eq$.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2.class
cats.laws.discipline.MonadStateTests.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$6.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$15.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$15.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForNonEmptyVector$1.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$6.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$2.class
cats.laws.MonadLaws$$anonfun$mapFlatMapCoherence$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$5.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$3.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$6.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$24.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$15.class
cats.laws.discipline.BitraverseTests.class
cats.laws.discipline.BitraverseTests$$anon$2$$anonfun$2.class
cats.laws.InvariantLaws$.class
cats.laws.FoldableLaws$class.class
cats.laws.ReducibleLaws$.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$7.class
cats.laws.MonadCombineLaws$.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$20.class
cats.laws.discipline.CartesianTests$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyVector$1.class
cats.laws.discipline.AlternativeTests$class.class
cats.laws.ApplicativeLaws$$anonfun$applicativeIdentity$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$17.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$9.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$19.class
cats.laws.ApplicativeLaws$class.class
cats.laws.BitraverseLaws$$anonfun$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForAppFunc$1$$anonfun$apply$35$$anonfun$apply$36.class
cats.laws.discipline.ComposeTests.class
cats.laws.discipline.FunctorTests$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForShow$1.class
cats.laws.discipline.ProfunctorTests$.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$6.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$3.class
cats.laws.TraverseFilterLaws$$anonfun$1.class
cats.laws.discipline.MonoidKTests$$anon$1.class
cats.laws.ApplyLaws.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForValidated$1$$anonfun$apply$12.class
cats.laws.ComposeLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNonEmptyList$1$$anonfun$apply$6$$anonfun$apply$7.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$10.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEitherT$1.class
cats.laws.package$IsEqArrow.class
cats.laws.discipline.eq$$anon$4.class
cats.laws.discipline.ComposeTests$$anonfun$compose$1.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$18.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForCoproduct$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForCoproduct$1$$anonfun$apply$38.class
cats.laws.MonadLaws$$anonfun$1.class
cats.laws.discipline.eq$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$14.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$17.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$10.class
cats.laws.discipline.ApplicativeErrorTests$.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$7.class
cats.laws.ApplicativeLaws$$anonfun$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$20.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$5.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$16.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$17.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$9.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2.class
cats.laws.CoflatMapLaws$$anonfun$coflatMapAssociativity$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForTry$1.class
cats.laws.MonadLaws$.class
cats.laws.ContravariantLaws$$anonfun$contravariantIdentity$1.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$29.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$3.class
cats.laws.discipline.CategoryTests.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$28.class
cats.laws.MonadWriterLaws$$anon$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$21.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$associativity$1.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$1.class
cats.laws.package$.class
cats.laws.discipline.BitraverseTests$$anon$1.class
cats.laws.discipline.CategoryTests$$anonfun$category$6.class
cats.laws.discipline.FunctorTests$$anonfun$functor$2.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$33.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$25.class
cats.laws.discipline.CategoryTests$$anonfun$category$4.class
cats.laws.ComonadLaws$$anonfun$mapCoflatMapCoherence$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$21.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$12.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForCoproduct$1.class
cats.laws.StrongLaws$class.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$4.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOneAnd$1$$anonfun$apply$2.class
cats.laws.discipline.StrongTests$$anonfun$strong$5.class
cats.laws.discipline.SplitTests$$anonfun$split$4.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$7.class
cats.laws.ReducibleLaws$$anonfun$reduceRightConsistentWithReduceRightOption$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1$$anonfun$apply$47.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$1.class
cats.laws.BifoldableLaws$$anonfun$5.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$8.class
cats.laws.BimonadLaws$class.class
cats.laws.discipline.eq$$anon$3$$anonfun$eqv$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForValidated$1$$anonfun$apply$11.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$3.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForIdT$1.class
cats.laws.discipline.FoldableTests$class.class
cats.laws.FoldableLaws$$anon$1.class
cats.laws.MonadFilterLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForIor$1$$anonfun$apply$14.class
cats.laws.BimonadLaws$.class
cats.laws.discipline.FunctorTests$$anonfun$functor$3.class
cats.laws.discipline.MonadReaderTests$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$12.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$23.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$5.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$2.class
cats.laws.ProfunctorLaws.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$11.class
cats.laws.discipline.ContravariantTests$$anonfun$contravariant$7.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$18.class
cats.laws.discipline.StrongTests$$anonfun$strong$2.class
cats.laws.discipline.ArrowTests$$anon$1.class
cats.laws.TraverseFilterLaws$class.class
cats.laws.discipline.StrongTests$$anonfun$strong$3.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$12.class
cats.laws.ArrowLaws$.class
cats.laws.BitraverseLaws$$anonfun$bitraverseIdentity$2.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$rightIdentity$2.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$4.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$27.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$2.class
cats.laws.MonoidKLaws.class
cats.laws.discipline.CartesianTests$Isomorphisms.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForCokleisli$1.class
cats.laws.FoldableLaws.class
cats.laws.AlternativeLaws$class.class
cats.laws.discipline.CoflatMapTests$$anon$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$18.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$22.class
cats.laws.discipline.FunctorTests$$anonfun$functor$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$26.class
cats.laws.discipline.StrongTests.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$28.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$4.class
cats.laws.discipline.ComposeTests$.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.ArbitraryInstances0$class.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$2.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1$$anonfun$apply$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$4.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$4.class
cats.laws.discipline.ComposeTests$$anonfun$compose$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1$$anonfun$apply$10.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalRightIdentity$2.class
cats.laws.discipline.TraverseFilterTests.class
cats.laws.MonadErrorLaws$class.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$12.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$10.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.FunctorFilterTests.class
cats.laws.discipline.SplitTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$24.class
cats.laws.FlatMapLaws$$anonfun$mproductConsistency$1$$anonfun$apply$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$13.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$1.class
cats.laws.CategoryLaws$class.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$16.class
cats.laws.SerializableLaws.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$8.class
cats.laws.ProfunctorLaws$$anonfun$profunctorLmapIdentity$1.class
cats.laws.InvariantLaws.class
cats.laws.FlatMapLaws$$anonfun$bounce$1$1$$anonfun$apply$3.class
cats.laws.StrongLaws$.class
cats.laws.TraverseLaws$$anon$2.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$13.class
cats.laws.discipline.InvariantTests$$anon$1.class
cats.laws.discipline.FunctorTests.class
cats.laws.discipline.eq$$anon$1$$anonfun$1.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$2.class
cats.laws.discipline.CategoryTests$$anonfun$category$5.class
cats.laws.discipline.TraverseTests$class.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.MonoidKTests$$anonfun$monoidK$5.class
cats.laws.discipline.InvariantTests$class.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$14.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$13.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOptionT$1$$anonfun$apply$24.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$2.class
cats.laws.MonadStateLaws.class
cats.laws.SemigroupKLaws.class
cats.laws.discipline.eq$$anon$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForValidated$1$$anonfun$apply$9.class
cats.laws.discipline.InvariantMonoidalTests$$anon$2$$anonfun$11.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForPartialOrder$1$$anonfun$apply$45.class
cats.laws.FunctorLaws$$anonfun$covariantIdentity$1.class
cats.laws.ApplicativeErrorLaws.class
cats.laws.discipline.BimonadTests$$anon$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$23.class
cats.laws.discipline.ReducibleTests$$anonfun$reducible$2.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$10.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.MonadReaderTests.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$2.class
cats.laws.TraverseLaws$$anon$1.class
cats.laws.MonadLaws.class
cats.laws.discipline.MonadReaderTests$.class
cats.laws.discipline.FunctorFilterTests$$anonfun$functorFilter$8.class
cats.laws.FoldableLaws$.class
cats.laws.discipline.FunctorFilterTests$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOrder$1$$anonfun$apply$50.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$6.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$25.class
cats.laws.discipline.eq$$anonfun$catsLawsEqForShow$1.class
cats.laws.BitraverseLaws$class.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$21.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.ApplyTests.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$6.class
cats.laws.discipline.ComposeTests$$anonfun$compose$2.class
cats.laws.MonadCombineLaws.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$16.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.MonadFilterTests$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$9.class
cats.laws.discipline.ArbitraryInstances0$$anonfun$catsLawsArbitraryForWriterT$1$$anonfun$apply$52.class
cats.laws.FunctorFilterLaws$$anonfun$mapFilterMapConsistency$1.class
cats.laws.FunctorFilterLaws$$anonfun$1.class
cats.laws.ComposeLaws$.class
cats.laws.FunctorLaws.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$1.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$5.class
cats.laws.discipline.SemigroupKTests$$anonfun$semigroupK$1.class
cats.laws.discipline.ApplicativeErrorTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.MonadTests$$anon$3$$anonfun$props$22.class
cats.laws.FunctorLaws$class.class
cats.laws.package$IsEqArrow$.class
cats.laws.TraverseFilterLaws$$anonfun$2$$anonfun$apply$1.class
cats.laws.CoflatMapLaws.class
cats.laws.FlatMapLaws$$anonfun$followedByConsistency$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$17.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForOneAnd$1$$anonfun$apply$2$$anonfun$apply$3.class
cats.laws.TraverseLaws$$anonfun$1.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForNested$1$$anonfun$apply$51.class
cats.laws.discipline.SemigroupKTests$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$10.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$5.class
cats.laws.discipline.eq$$anon$5.class
cats.laws.ChoiceLaws$class.class
cats.laws.discipline.BifunctorTests$$anonfun$bifunctor$2.class
cats.laws.MonadReaderLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests$$anon$2.class
cats.laws.ApplicativeLaws$.class
cats.laws.discipline.ApplyTests$$anon$2$$anonfun$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$8.class
cats.laws.ContravariantLaws$$anon$1.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.MonadFilterTests$$anon$2$$anonfun$props$8.class
cats.laws.MonadFilterLaws$$anonfun$monadFilterConsistency$1.class
cats.laws.discipline.MonadWriterTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.StrongTests$$anonfun$strong$1.class
cats.laws.discipline.TraverseFilterTests$$anon$2$$anonfun$props$6.class
cats.laws.ApplyLaws$class.class
cats.laws.discipline.InvariantMonoidalTests.class
cats.laws.ProfunctorLaws$.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsCogenForCoproduct$1$$anonfun$apply$40.class
cats.laws.discipline.FunctorTests$$anonfun$functor$5.class
cats.laws.discipline.ContravariantTests$$anon$1.class
cats.laws.FoldableLaws$$anonfun$existsLazy$1.class
cats.laws.discipline.ApplyTests$class.class
cats.laws.discipline.BimonadTests$$anon$2$$anonfun$props$3.class
cats.laws.BimonadLaws$$anonfun$pureCoflatMapEntwining$1.class
cats.laws.discipline.SplitTests$$anonfun$split$5.class
cats.laws.discipline.BifoldableTests$$anonfun$bifoldable$6.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$12.class
cats.laws.discipline.CartesianTests$Isomorphisms$$anon$2$$anonfun$associativity$3.class
cats.laws.discipline.MonadStateTests$.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$15.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalAssociativity$2.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$5.class
cats.laws.discipline.arbitrary$$anonfun$catsLawsArbitraryForEq$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$4.class
cats.laws.discipline.SplitTests$$anonfun$split$6.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalAssociativity$1.class
cats.laws.InvariantMonoidalLaws$$anonfun$invariantMonoidalLeftIdentity$2.class
cats.laws.ApplicativeLaws$$anonfun$1$$anonfun$apply$1.class
cats.laws.ReducibleLaws$$anonfun$reduceRightToConsistentWithReduceRightToOption$1$$anonfun$apply$2.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
scala-library-2.11.8.jar
/org.scala-lang/scala-library/2.11.8
查看scala-library所有版本文件
cats-macros_2.11-0.9.0.jar
/org.typelevel/cats-macros_2.11/0.9.0
查看cats-macros_2.11所有版本文件
cats-kernel_2.11-0.9.0.jar
/org.typelevel/cats-kernel_2.11/0.9.0
查看cats-kernel_2.11所有版本文件
cats-core_2.11-0.9.0.jar
/org.typelevel/cats-core_2.11/0.9.0
查看cats-core_2.11所有版本文件
cats-kernel-laws_2.11-0.9.0.jar
/org.typelevel/cats-kernel-laws_2.11/0.9.0
查看cats-kernel-laws_2.11所有版本文件
simulacrum_2.11-0.10.0.jar
/com.github.mpilquist/simulacrum_2.11/0.10.0
查看simulacrum_2.11所有版本文件
machinist_2.11-0.6.1.jar
/org.typelevel/machinist_2.11/0.6.1
查看machinist_2.11所有版本文件
scalacheck_2.11-1.13.4.jar
/org.scalacheck/scalacheck_2.11/1.13.4
查看scalacheck_2.11所有版本文件
discipline_2.11-0.7.2.jar
/org.typelevel/discipline_2.11/0.7.2
查看discipline_2.11所有版本文件
catalysts-platform_2.11-0.0.5.jar
/org.typelevel/catalysts-platform_2.11/0.0.5
查看catalysts-platform_2.11所有版本文件
catalysts-macros_2.11-0.0.5.jar
/org.typelevel/catalysts-macros_2.11/0.0.5
查看catalysts-macros_2.11所有版本文件
scalatest_2.11-3.0.0.jar
/org.scalatest/scalatest_2.11/3.0.0
查看scalatest_2.11所有版本文件
|
查看cats-laws_2.11所有版本文件