| 组织ID: |
org.spire-math |
| 项目ID: |
cats-laws_2.11 |
| 版本: |
0.1.2 |
| 最后修改时间: |
2019-10-29 08:58:51 |
| 包类型: |
jar |
| 标题: |
MIT |
| 描述: |
laws |
| 相关URL: |
https://github.com/non/cats |
| 大小: |
628.84KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>cats-laws_2.11</artifactId>
<version>0.1.2</version>
</dependency>
|
| Gradle引入代码: |
org.spire-math:cats-laws_2.11:0.1.2
|
| 下载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.spire-math</groupId>
<artifactId>cats-laws_2.11</artifactId>
<packaging>jar</packaging>
<description>laws</description>
<url>https://github.com/non/cats</url>
<version>0.1.2</version>
<licenses>
<license>
<name>MIT</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<name>laws</name>
<organization>
<name>org.spire-math</name>
<url>https://github.com/non/cats</url>
</organization>
<scm>
<url>https://github.com/non/cats</url>
<connection>scm:git:git@github.com:non/cats.git</connection>
</scm>
<developers>
<developer>
<id>non</id>
<name>Erik Osheim</name>
<url>http://github.com/non/</url>
</developer>
</developers>
<properties>
<info.apiURL>https://non.github.io/cats/api/</info.apiURL>
</properties>
<dependencies>
<dependency>
<groupId>org.scala-lang</groupId>
<artifactId>scala-library</artifactId>
<version>2.11.7</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>cats-macros_2.11</artifactId>
<version>0.1.2</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>cats-core_2.11</artifactId>
<version>0.1.2</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>cats-std_2.11</artifactId>
<version>0.1.2</version>
</dependency>
<dependency>
<groupId>org.scoverage</groupId>
<artifactId>scalac-scoverage-runtime_2.11</artifactId>
<version>1.1.0</version>
<scope>provided</scope>
</dependency>
<dependency>
<groupId>org.scoverage</groupId>
<artifactId>scalac-scoverage-plugin_2.11</artifactId>
<version>1.1.0</version>
<scope>provided</scope>
</dependency>
<dependency>
<groupId>com.github.mpilquist</groupId>
<artifactId>simulacrum_2.11</artifactId>
<version>0.3.0</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra_2.11</artifactId>
<version>0.2.1</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>machinist_2.11</artifactId>
<version>0.3.0</version>
</dependency>
<dependency>
<groupId>org.scalacheck</groupId>
<artifactId>scalacheck_2.11</artifactId>
<version>1.12.4</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline_2.11</artifactId>
<version>0.3</version>
</dependency>
<dependency>
<groupId>org.spire-math</groupId>
<artifactId>algebra-laws_2.11</artifactId>
<version>0.2.1</version>
</dependency>
</dependencies>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
cats.laws.discipline.SplitTests$$anonfun$split$5.class
cats.laws.discipline.arbitrary$$anonfun$validatedArbitrary$1$$anonfun$apply$7.class
cats.laws.MonadErrorLaws$.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$2.class
cats.laws.discipline.ArrowTests$.class
cats.laws.discipline.CategoryTests$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$21.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$8.class
cats.laws.discipline.arbitrary$$anonfun$foldArbitrary$1$$anonfun$apply$18.class
cats.laws.discipline.EqK$$anon$7.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$11.class
cats.laws.discipline.eq$$anon$3.class
cats.laws.discipline.ArbitraryK.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$27.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$7.class
cats.laws.discipline.EqK$$anon$13.class
cats.laws.MonadCombineLaws$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$7.class
cats.laws.ApplyLaws.class
cats.laws.discipline.ArbitraryK$$anon$10.class
cats.laws.ArrowLaws$class.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.eq$$anon$1$$anonfun$eqv$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.ComonadTests.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$10.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.TraverseTests$$anon$2.class
cats.laws.discipline.ComposeTests$$anonfun$compose$4.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$6.class
cats.laws.MonadLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$7.class
cats.laws.FunctorLaws$class.class
cats.laws.discipline.arbitrary.class
cats.laws.discipline.ApplyTests$.class
cats.laws.package$IsEqArrow$.class
cats.laws.discipline.package.class
cats.laws.discipline.CategoryTests$.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$4.class
cats.laws.discipline.ArrowTests$class.class
cats.laws.IsEq$.class
cats.laws.ComonadLaws$$anonfun$coflatMapIdentity$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.SplitTests$$anonfun$split$1.class
cats.laws.discipline.EqK$$anon$10.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2.class
cats.laws.package.class
cats.laws.ApplyLaws$$anonfun$1.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$2.class
cats.laws.discipline.StrongTests$$anonfun$strong$9.class
cats.laws.MonadLaws.class
cats.laws.discipline.arbitrary$$anonfun$xorArbitrary$1$$anonfun$apply$5.class
cats.laws.discipline.arbitrary$$anonfun$cokleisliArbitrary$1$$anonfun$apply$15.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$23.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$5.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$8.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.MonadStateTests$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$12.class
cats.laws.discipline.ArbitraryK$$anon$8.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$15.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$9.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$10.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$1.class
cats.laws.discipline.ComposeTests$$anonfun$compose$2.class
cats.laws.FlatMapLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$lazyArbitrary$1$$anonfun$apply$21.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$17.class
cats.laws.discipline.EqK$$anon$19.class
cats.laws.discipline.SplitTests.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.SemigroupKTests$$anon$2.class
cats.laws.discipline.ApplyTests$$anonfun$apply$4.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$1.class
cats.laws.CoflatMapLaws$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$24.class
cats.laws.discipline.ComonadTests$class.class
cats.laws.FlatMapLaws.class
cats.laws.discipline.arbitrary$$anonfun$xorTArbitrary$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.FunctorTests$.class
cats.laws.MonoidKLaws$$anon$1.class
cats.laws.discipline.eq$$anon$1$$anonfun$1.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$4.class
cats.laws.ApplicativeLaws$$anonfun$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$7.class
cats.laws.discipline.InvariantTests.class
cats.laws.TraverseLaws$.class
cats.laws.MonadStateLaws.class
cats.laws.ArrowLaws$$anonfun$arrowExchange$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$4.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$16.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$12.class
cats.laws.FoldableLaws$$anonfun$forallLazy$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$10.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$16.class
cats.laws.discipline.EqK$$anon$17.class
cats.laws.discipline.ComonadTests$.class
cats.laws.discipline.eq$$anonfun$semigroupEq$1$$anonfun$apply$1.class
cats.laws.MonadFilterLaws.class
cats.laws.discipline.ProfunctorTests$.class
cats.laws.discipline.ArbitraryK$$anon$5.class
cats.laws.package$IsEqArrow.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$6.class
cats.laws.discipline.StrongTests.class
cats.laws.discipline.MonadCombineTests$.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$1.class
cats.laws.TraverseLaws$$anonfun$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$2.class
cats.laws.discipline.arbitrary$$anonfun$xorArbitrary$1$$anonfun$apply$4.class
cats.laws.ArrowLaws.class
cats.laws.discipline.StrongTests$$anonfun$strong$5.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$9.class
cats.laws.ContravariantLaws$$anon$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$6.class
cats.laws.discipline.arbitrary$$anonfun$oneAndArbitrary$1$$anonfun$apply$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$19.class
cats.laws.CoflatMapLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$6.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1.class
cats.laws.ContravariantLaws$.class
cats.laws.discipline.arbitrary$$anonfun$foldArbitrary$1.class
cats.laws.StrongLaws.class
cats.laws.discipline.ArbitraryK$$anon$13.class
cats.laws.discipline.ArbitraryK$$anon$15.class
cats.laws.discipline.ArrowTests$$anon$1.class
cats.laws.ComonadLaws$$anonfun$cokleisliLeftIdentity$1.class
cats.laws.discipline.ArbitraryK$$anon$4.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$6.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$3.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1.class
cats.laws.discipline.SplitTests$$anon$1.class
cats.laws.discipline.FoldableTests.class
cats.laws.AlternativeLaws.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$15.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$16.class
cats.laws.discipline.FunctorTests$$anonfun$functor$5.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$10.class
cats.laws.discipline.ApplicativeTests$$anon$1.class
cats.laws.FoldableLaws$$anonfun$1.class
cats.laws.discipline.arbitrary$$anonfun$constArbitrary$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.MonadTests$class.class
cats.laws.discipline.AlternativeTests$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$9.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$12.class
cats.laws.ComposeLaws.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.FlatMapTests$.class
cats.laws.discipline.ApplyTests$class.class
cats.laws.discipline.CoflatMapTests$$anon$1.class
cats.laws.discipline.ArbitraryK$$anon$3.class
cats.laws.discipline.TraverseTests$$anon$1.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetTwice$1.class
cats.laws.discipline.MonoidKTests$.class
cats.laws.ApplyLaws$.class
cats.laws.discipline.MonadStateTests$$anon$1.class
cats.laws.FoldableLaws.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$6.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$19.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$9.class
cats.laws.discipline.arbitrary$$anonfun$validatedArbitrary$1$$anonfun$apply$8.class
cats.laws.discipline.ArbitraryK$$anon$22.class
cats.laws.discipline.SplitTests$class.class
cats.laws.discipline.arbitrary$$anonfun$validatedArbitrary$1.class
cats.laws.discipline.TraverseTests$$anon$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$25.class
cats.laws.discipline.ArrowTests.class
cats.laws.discipline.ArbitraryK$$anon$23.class
cats.laws.discipline.MonadFilterTests.class
cats.laws.discipline.EqK$$anon$3.class
cats.laws.MonadFilterLaws$$anon$1.class
cats.laws.MonadLaws$$anonfun$monadRightIdentity$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$13.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$26.class
cats.laws.TraverseLaws$$anonfun$2.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$7.class
cats.laws.package$.class
cats.laws.discipline.ApplyTests$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$lazyArbitrary$1$$anonfun$apply$20.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$5.class
cats.laws.discipline.MonadStateTests$$anon$2.class
cats.laws.SerializableLaws.class
cats.laws.discipline.EqK$$anon$14.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$14.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$2.class
cats.laws.ApplyLaws$$anon$1.class
cats.laws.discipline.eq.class
cats.laws.FunctorLaws.class
cats.laws.discipline.ArbitraryK$$anon$9.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$6.class
cats.laws.discipline.eq$$anonfun$semigroupEq$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$2.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$4.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$4.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$9.class
cats.laws.discipline.ComonadTests$$anon$1.class
cats.laws.FoldableLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$lazyArbitrary$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$2.class
cats.laws.discipline.eq$$anon$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$11.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.StrongTests$.class
cats.laws.discipline.ArbitraryK$$anon$10$$anonfun$synthesize$2$$anonfun$apply$3.class
cats.laws.discipline.StrongTests$$anonfun$strong$6.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$3.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.EqK$$anon$5.class
cats.laws.ComonadLaws$$anonfun$mapCoflatMapCoherence$1.class
cats.laws.discipline.ProfunctorTests$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$4.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$12.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$5.class
cats.laws.discipline.ArbitraryK$$anon$17.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$8.class
cats.laws.CoflatMapLaws$.class
cats.laws.discipline.FlatMapTests$$anon$1.class
cats.laws.CategoryLaws$.class
cats.laws.discipline.ComposeTests$$anonfun$compose$5.class
cats.laws.AlternativeLaws$class.class
cats.laws.ApplicativeLaws.class
cats.laws.ComonadLaws$$anonfun$mapCoflattenIdentity$1.class
cats.laws.SplitLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$8.class
cats.laws.ProfunctorLaws$class.class
cats.laws.ApplicativeLaws$$anon$1.class
cats.laws.FoldableLaws$$anonfun$leftFoldConsistentWithFoldMap$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$15.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$5.class
cats.laws.discipline.ArbitraryK$$anon$24.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$10.class
cats.laws.discipline.StrongTests$$anonfun$strong$3.class
cats.laws.discipline.ArbitraryK$$anon$27.class
cats.laws.discipline.ComposeTests$class.class
cats.laws.MonadFilterLaws$.class
cats.laws.discipline.MonadErrorTests$.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$10.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$11.class
cats.laws.ArrowLaws$$anonfun$arrowIdentity$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$24.class
cats.laws.discipline.ArbitraryK$$anon$25.class
cats.laws.FoldableLaws$class.class
cats.laws.discipline.AlternativeTests.class
cats.laws.SplitLaws$.class
cats.laws.discipline.FoldableTests$.class
cats.laws.discipline.MonadCombineTests.class
cats.laws.discipline.StrongTests$$anonfun$strong$4.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1$$anonfun$apply$1$$anonfun$apply$2.class
cats.laws.discipline.SplitTests$$anonfun$split$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$13.class
cats.laws.discipline.AlternativeTests$$anon$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$6.class
cats.laws.ApplyLaws$$anonfun$1$$anonfun$apply$1.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1$$anonfun$apply$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$9.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$2.class
cats.laws.MonadStateLaws$class.class
cats.laws.FunctorLaws$.class
cats.laws.discipline.package$$anonfun$isEqToProp$1.class
cats.laws.TraverseLaws$$anon$1.class
cats.laws.TraverseLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$xorArbitrary$1.class
cats.laws.ContravariantLaws$class.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$1.class
cats.laws.discipline.SplitTests$$anonfun$split$4.class
cats.laws.discipline.arbitrary$$anonfun$oneAndArbitrary$1$$anonfun$apply$2$$anonfun$apply$3.class
cats.laws.discipline.FlatMapTests$class.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$3.class
cats.laws.discipline.StrongTests$$anonfun$strong$8.class
cats.laws.ComposeLaws$class.class
cats.laws.ComonadLaws$$anonfun$cokleisliRightIdentity$1.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.MonoidKTests$$anon$1.class
cats.laws.CoflatMapLaws$$anonfun$coflatMapAssociativity$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$3.class
cats.laws.discipline.arbitrary$$anonfun$kleisliArbitrary$1.class
cats.laws.discipline.MonadErrorTests$$anon$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$18.class
cats.laws.discipline.ComposeTests$.class
cats.laws.MonadCombineLaws$class.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$8.class
cats.laws.discipline.MonadCombineTests$$anon$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$1.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$9.class
cats.laws.discipline.MonadErrorTests$$anon$2.class
cats.laws.discipline.ArbitraryK$$anon$11.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$10.class
cats.laws.CategoryLaws$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$14.class
cats.laws.discipline.ArbitraryK$$anon$10$$anonfun$synthesize$2.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$4.class
cats.laws.discipline.ApplyTests$$anonfun$apply$2.class
cats.laws.FlatMapLaws$$anonfun$flatMapConsistentApply$1.class
cats.laws.ApplicativeLaws$$anonfun$applicativeInterchange$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$10.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$5.class
cats.laws.discipline.ProfunctorTests.class
cats.laws.ContravariantLaws.class
cats.laws.discipline.MonadFilterTests$class.class
cats.laws.discipline.CategoryTests$$anonfun$category$4.class
cats.laws.discipline.MonadTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$7.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$18.class
cats.laws.discipline.CategoryTests$$anonfun$category$3.class
cats.laws.discipline.FoldableTests$class.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$11$$anonfun$apply$12.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$8.class
cats.laws.discipline.arbitrary$$anonfun$lazyArbitrary$1$$anonfun$apply$21$$anonfun$apply$22.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$2.class
cats.laws.MonadLaws$class.class
cats.laws.discipline.StrongTests$$anonfun$strong$1.class
cats.laws.MonadFilterLaws$class.class
cats.laws.ComposeLaws$$anon$1.class
cats.laws.SemigroupKLaws$class.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$20.class
cats.laws.AlternativeLaws$$anon$1.class
cats.laws.FlatMapLaws$$anonfun$flatMapAssociativity$1.class
cats.laws.discipline.ApplyTests$$anonfun$apply$3.class
cats.laws.discipline.SerializableTests$.class
cats.laws.discipline.StrongTests$$anon$1.class
cats.laws.discipline.EqK$.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$2.class
cats.laws.discipline.EqK$$anon$15.class
cats.laws.discipline.MonadCombineTests$$anon$2.class
cats.laws.MonoidKLaws$.class
cats.laws.ApplicativeLaws$$anonfun$applicativeIdentity$1.class
cats.laws.discipline.EqK$$anon$9.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$4.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$1.class
cats.laws.discipline.CategoryTests$$anonfun$category$5.class
cats.laws.MonadStateLaws$.class
cats.laws.discipline.EqK$$anon$4.class
cats.laws.discipline.SemigroupKTests$.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$4.class
cats.laws.discipline.arbitrary$$anonfun$kleisliArbitrary$1$$anonfun$apply$13.class
cats.laws.discipline.EqK$$anon$20.class
cats.laws.ComonadLaws$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$8.class
cats.laws.ComonadLaws$$anonfun$coflattenThroughMap$1.class
cats.laws.discipline.AlternativeTests$class.class
cats.laws.discipline.SemigroupKTests$class.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$3.class
cats.laws.ComonadLaws$class.class
cats.laws.discipline.TraverseTests.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$3.class
cats.laws.discipline.ArbitraryK$$anon$21.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$22.class
cats.laws.MonadLaws$$anon$1.class
cats.laws.MonadLaws$$anonfun$kleisliLeftIdentity$1.class
cats.laws.ArrowLaws$$anonfun$arrowExtension$1.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.package$.class
cats.laws.discipline.EqK$$anon$21.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$20.class
cats.laws.discipline.MonoidKTests.class
cats.laws.discipline.EqK$$anon$18.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$4.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$13.class
cats.laws.ArrowLaws$$anonfun$arrowAssociation$2.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$1.class
cats.laws.StrongLaws$class.class
cats.laws.MonadErrorLaws$$anon$1.class
cats.laws.discipline.SplitTests$$anonfun$split$2.class
cats.laws.discipline.ArbitraryK$$anon$10$$anonfun$synthesize$2$$anonfun$apply$3$$anonfun$apply$4.class
cats.laws.discipline.ArbitraryK$$anon$7.class
cats.laws.ArrowLaws$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$8.class
cats.laws.discipline.CategoryTests$$anonfun$category$2.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$7.class
cats.laws.discipline.FunctorTests$$anon$1.class
cats.laws.discipline.ArbitraryK$$anon$24$$anonfun$synthesize$3$$anonfun$apply$5.class
cats.laws.discipline.ArbitraryK$$anon$12.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$2.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$2.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$2.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$13.class
cats.laws.SemigroupKLaws$$anon$1.class
cats.laws.ApplicativeLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$16.class
cats.laws.CoflatMapLaws.class
cats.laws.discipline.ComposeTests$$anonfun$compose$1.class
cats.laws.SerializableLaws$$anonfun$serializable$1.class
cats.laws.MonadStateLaws$$anonfun$1.class
cats.laws.ArrowLaws$.class
cats.laws.discipline.MonadFilterTests$$anon$1.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.ArbitraryK$$anon$6.class
cats.laws.discipline.FunctorTests$$anonfun$functor$3.class
cats.laws.discipline.EqK$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$21.class
cats.laws.ComposeLaws$.class
cats.laws.discipline.CoflatMapTests$class.class
cats.laws.discipline.InvariantTests$.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$4.class
cats.laws.FunctorLaws$$anonfun$covariantIdentity$1.class
cats.laws.SplitLaws$class.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$10.class
cats.laws.discipline.MonadCombineTests$class.class
cats.laws.SerializableLaws$.class
cats.laws.discipline.arbitrary$$anonfun$cokleisliArbitrary$1.class
cats.laws.discipline.MonadStateTests.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.SplitTests$.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.EqK$$anon$2.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$3.class
cats.laws.discipline.eq$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$9.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$5.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$14.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$6.class
cats.laws.discipline.arbitrary$$anonfun$optionTArbitrary$1$$anonfun$apply$17.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$13.class
cats.laws.MonadStateLaws$$anonfun$2.class
cats.laws.ComonadLaws$$anonfun$comonadLeftIdentity$1.class
cats.laws.CategoryLaws$$anon$1.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$2.class
cats.laws.discipline.ArbitraryK$$anon$14.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$25.class
cats.laws.discipline.EqK$$anon$11.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$14.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$8.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$7.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$5.class
cats.laws.ProfunctorLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$5.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$5.class
cats.laws.FoldableLaws$.class
cats.laws.MonadCombineLaws.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$2.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$11.class
cats.laws.discipline.SemigroupKTests.class
cats.laws.TraverseLaws$$anon$2.class
cats.laws.discipline.ApplyTests.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$23.class
cats.laws.discipline.arbitrary$.class
cats.laws.discipline.SplitTests$$anonfun$split$6.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.CategoryTests.class
cats.laws.discipline.TraverseTests$.class
cats.laws.discipline.FunctorTests.class
cats.laws.InvariantLaws$.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.EqK$$anon$12.class
cats.laws.MonadCombineLaws$.class
cats.laws.discipline.arbitrary$$anonfun$optionTArbitrary$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$4.class
cats.laws.discipline.ArbitraryK$$anon$18.class
cats.laws.discipline.StrongTests$$anonfun$strong$2.class
#内容未全部加载,请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
scala-library-2.11.7.jar
/org.scala-lang/scala-library/2.11.7
查看scala-library所有版本文件
cats-macros_2.11-0.1.2.jar
/org.spire-math/cats-macros_2.11/0.1.2
查看cats-macros_2.11所有版本文件
cats-core_2.11-0.1.2.jar
/org.spire-math/cats-core_2.11/0.1.2
查看cats-core_2.11所有版本文件
cats-std_2.11-0.1.2.jar
/org.spire-math/cats-std_2.11/0.1.2
查看cats-std_2.11所有版本文件
scalac-scoverage-runtime_2.11-1.1.0.jar
/org.scoverage/scalac-scoverage-runtime_2.11/1.1.0
查看scalac-scoverage-runtime_2.11所有版本文件
scalac-scoverage-plugin_2.11-1.1.0.jar
/org.scoverage/scalac-scoverage-plugin_2.11/1.1.0
查看scalac-scoverage-plugin_2.11所有版本文件
simulacrum_2.11-0.3.0.jar
/com.github.mpilquist/simulacrum_2.11/0.3.0
查看simulacrum_2.11所有版本文件
algebra_2.11-0.2.1.jar
/org.spire-math/algebra_2.11/0.2.1
查看algebra_2.11所有版本文件
machinist_2.11-0.3.0.jar
/org.typelevel/machinist_2.11/0.3.0
查看machinist_2.11所有版本文件
scalacheck_2.11-1.12.4.jar
/org.scalacheck/scalacheck_2.11/1.12.4
查看scalacheck_2.11所有版本文件
discipline_2.11-0.3.jar
/org.typelevel/discipline_2.11/0.3
查看discipline_2.11所有版本文件
algebra-laws_2.11-0.2.1.jar
/org.spire-math/algebra-laws_2.11/0.2.1
查看algebra-laws_2.11所有版本文件
|