cats-laws_2.11-0.2.0.jar

<dependency>
	<groupId>org.spire-math</groupId>
	<artifactId>cats-laws_2.11</artifactId>
	<version>0.2.0</version>
</dependency>

org.spire-math:cats-laws_2.11:0.2.0

<?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.2.0</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.2.0</version>

        </dependency>

        <dependency>

            <groupId>org.spire-math</groupId>

            <artifactId>cats-core_2.11</artifactId>

            <version>0.2.0</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.4.0</version>

        </dependency>

        <dependency>

            <groupId>org.spire-math</groupId>

            <artifactId>algebra_2.11</artifactId>

            <version>0.3.1</version>

        </dependency>

        <dependency>

            <groupId>org.spire-math</groupId>

            <artifactId>algebra-std_2.11</artifactId>

            <version>0.3.1</version>

        </dependency>

        <dependency>

            <groupId>org.typelevel</groupId>

            <artifactId>machinist_2.11</artifactId>

            <version>0.4.1</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.4</version>

        </dependency>

        <dependency>

            <groupId>org.spire-math</groupId>

            <artifactId>algebra-laws_2.11</artifactId>

            <version>0.3.1</version>

        </dependency>

    </dependencies>

</project>

META-INF/MANIFEST.MF
cats.laws.discipline.arbitrary.class
cats.laws.discipline.SplitTests$class.class
cats.laws.discipline.ArbitraryK$.class
cats.laws.discipline.EqK$$anon$22.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$2.class
cats.laws.discipline.arbitrary$$anonfun$prodArbitrary$1$$anonfun$apply$23$$anonfun$apply$24$$anonfun$apply$25.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$6.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.CategoryTests$$anonfun$category$6.class
cats.laws.CoflatMapLaws.class
cats.laws.ArrowLaws$$anonfun$arrowIdentity$1.class
cats.laws.discipline.ComposeTests$$anonfun$compose$1.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.FoldableTests$.class
cats.laws.MonadLaws.class
cats.laws.discipline.EqK$$anon$8.class
cats.laws.discipline.arbitrary$$anonfun$evalArbitrary$1$$anonfun$apply$19$$anonfun$apply$20.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$5.class
cats.laws.discipline.FunctorTests$$anonfun$functor$7.class
cats.laws.Platform$.class
cats.laws.discipline.CategoryTests$.class
cats.laws.MonoidKLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$21.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.arbitrary$$anonfun$prodArbitrary$1.class
cats.laws.discipline.arbitrary$$anonfun$prodArbitrary$1$$anonfun$apply$23.class
cats.laws.StrongLaws$.class
cats.laws.TraverseLaws$$anon$1.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$7.class
cats.laws.ApplyLaws.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$10.class
cats.laws.discipline.arbitrary$$anonfun$oneAndArbitrary$1$$anonfun$apply$2.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$3.class
cats.laws.discipline.TraverseTests$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$7.class
cats.laws.discipline.EqK$$anon$6.class
cats.laws.discipline.InvariantTests$class.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$5.class
cats.laws.MonadStateLaws$.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$11.class
cats.laws.CategoryLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests$class.class
cats.laws.discipline.SplitTests$$anon$1.class
cats.laws.MonadReaderLaws$$anon$1.class
cats.laws.ArrowLaws$.class
cats.laws.AlternativeLaws$.class
cats.laws.discipline.arbitrary$$anonfun$prodArbitrary$1$$anonfun$apply$23$$anonfun$apply$24.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$5.class
cats.laws.IsEq.class
cats.laws.discipline.ComonadTests$class.class
cats.laws.discipline.TraverseTests$$anon$3.class
cats.laws.MonadLaws$$anonfun$kleisliRightIdentity$1.class
cats.laws.ComonadLaws.class
cats.laws.FlatMapLaws$$anonfun$flatMapAssociativity$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$8.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$9.class
cats.laws.discipline.ArbitraryK$$anon$5.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$4.class
cats.laws.discipline.ApplicativeTests$class.class
cats.laws.AlternativeLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$1.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$3.class
cats.laws.discipline.StrongTests$$anonfun$strong$2.class
cats.laws.MonadCombineLaws$class.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$3.class
cats.laws.ProfunctorLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$27.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.CategoryTests$$anonfun$category$1.class
cats.laws.discipline.EqK$$anon$9.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$1.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.MonadCombineTests$$anon$1.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$5.class
cats.laws.discipline.arbitrary$$anonfun$cokleisliArbitrary$1$$anonfun$apply$15.class
cats.laws.ArrowLaws$$anonfun$arrowExtension$1.class
cats.laws.discipline.ArbitraryK$$anon$21.class
cats.laws.discipline.MonadReaderTests$$anon$1.class
cats.laws.discipline.ApplicativeTests.class
cats.laws.discipline.CoflatMapTests$class.class
cats.laws.discipline.EqK$$anon$18.class
cats.laws.discipline.ArbitraryK$$anon$10.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$7.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$3.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$21.class
cats.laws.MonadStateLaws$$anon$1.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$6.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1$$anonfun$apply$1.class
cats.laws.SemigroupKLaws$$anon$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$1.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.EqK$$anon$14.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$2.class
cats.laws.discipline.EqK$$anon$4.class
cats.laws.discipline.MonadErrorTests$.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.ProfunctorTests$class.class
cats.laws.discipline.ArbitraryK$$anon$11.class
cats.laws.SemigroupKLaws$.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$6.class
cats.laws.MonadFilterLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$35.class
cats.laws.package$IsEqArrow.class
cats.laws.discipline.MonadStateTests$$anon$2.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$2.class
cats.laws.FlatMapLaws$class.class
cats.laws.discipline.AlternativeTests$$anon$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$27.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$2.class
cats.laws.ComonadLaws$class.class
cats.laws.MonadFilterLaws$$anonfun$monadFilterRightEmpty$1.class
cats.laws.FoldableLaws$$anonfun$existsLazy$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$11.class
cats.laws.ProfunctorLaws$.class
cats.laws.ArrowLaws$$anon$1.class
cats.laws.MonoidKLaws$$anon$1.class
cats.laws.discipline.ApplyTests$$anonfun$apply$5.class
cats.laws.Platform.class
cats.laws.ComonadLaws$$anonfun$mapCoflatMapCoherence$1.class
cats.laws.discipline.arbitrary$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$1.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$15.class
cats.laws.discipline.package$.class
cats.laws.discipline.SplitTests.class
cats.laws.MonadFilterLaws$$anonfun$monadFilterConsistency$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$20.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetTwice$1.class
cats.laws.FunctorLaws.class
cats.laws.MonoidKLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$8.class
cats.laws.CoflatMapLaws$.class
cats.laws.discipline.ComposeTests$class.class
cats.laws.discipline.CoflatMapTests.class
cats.laws.MonadCombineLaws.class
cats.laws.discipline.MonadStateTests$class.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$2.class
cats.laws.ArrowLaws$$anonfun$arrowExchange$2.class
cats.laws.MonadStateLaws$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$3.class
cats.laws.MonadLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$11.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$13.class
cats.laws.discipline.MonadStateTests$.class
cats.laws.MonadFilterLaws$.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$4.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1.class
cats.laws.discipline.ComposeTests.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$4.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$14.class
cats.laws.discipline.InvariantTests.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$19.class
cats.laws.MonadReaderLaws$$anonfun$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$6.class
cats.laws.discipline.FunctorTests$$anonfun$functor$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$26.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$1.class
cats.laws.discipline.MonadCombineTests.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$17.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$9.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$5.class
cats.laws.discipline.arbitrary$$anonfun$streamingTArbitrary$1$$anonfun$apply$34.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$2.class
cats.laws.MonadStateLaws$$anonfun$monadStateSetGet$1.class
cats.laws.FlatMapLaws.class
cats.laws.ApplicativeLaws.class
cats.laws.discipline.EqK$$anon$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$1.class
cats.laws.ArrowLaws$$anonfun$arrowExchange$1.class
cats.laws.discipline.ArbitraryK$$anon$26.class
cats.laws.discipline.SemigroupKTests.class
cats.laws.discipline.MonadTests$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$26.class
cats.laws.discipline.FunctorTests$$anonfun$functor$6.class
cats.laws.discipline.ChoiceTests$$anon$1.class
cats.laws.discipline.ChoiceTests$.class
cats.laws.MonadLaws$.class
cats.laws.ComonadLaws$$anonfun$coflatMapIdentity$1.class
cats.laws.discipline.ApplyTests$$anon$1.class
cats.laws.discipline.ArrowTests$class.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$5.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.StrongTests$$anonfun$strong$9.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$12.class
cats.laws.StrongLaws.class
cats.laws.discipline.ArbitraryK$$anon$29.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$8.class
cats.laws.discipline.FunctorTests$$anonfun$functor$4.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$13.class
cats.laws.discipline.InvariantTests$.class
cats.laws.discipline.ArbitraryK$$anon$12.class
cats.laws.MonadReaderLaws$.class
cats.laws.discipline.EqK$$anon$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$10.class
cats.laws.ComonadLaws$$anon$1.class
cats.laws.discipline.ComposeTests$$anonfun$compose$3.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.ArbitraryK$$anon$10$$anonfun$synthesize$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$9.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$6.class
cats.laws.MonadReaderLaws$class.class
cats.laws.discipline.ArbitraryK$$anon$8$$anonfun$synthesize$1$$anonfun$apply$1$$anonfun$apply$2.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$1.class
cats.laws.discipline.arbitrary$$anonfun$streamingTArbitrary$1$$anonfun$apply$33.class
cats.laws.MonoidKLaws.class
cats.laws.discipline.arbitrary$$anonfun$streamingArbitrary$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$17.class
cats.laws.MonadStateLaws$$anonfun$1.class
cats.laws.discipline.ArbitraryK$$anon$22.class
cats.laws.ApplicativeLaws$class.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$11.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$12.class
cats.laws.ArrowLaws$$anonfun$arrowAssociation$1.class
cats.laws.discipline.eq$$anon$3.class
cats.laws.TraverseLaws.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$2$$anonfun$apply$1.class
cats.laws.discipline.arbitrary$$anonfun$kleisliArbitrary$1$$anonfun$apply$13.class
cats.laws.ApplicativeLaws$$anonfun$applicativeInterchange$1.class
cats.laws.discipline.MonoidKTests$$anon$2$$anonfun$4.class
cats.laws.discipline.StrongTests$$anonfun$strong$1.class
cats.laws.discipline.arbitrary$$anonfun$xorTArbitrary$1$$anonfun$apply$6.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$2.class
cats.laws.discipline.ArbitraryK$$anon$33.class
cats.laws.discipline.FlatMapTests$.class
cats.laws.discipline.ArbitraryK$$anon$31.class
cats.laws.discipline.AlternativeTests.class
cats.laws.discipline.EqK$$anon$1.class
cats.laws.discipline.EqK$$anon$20.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$11.class
cats.laws.discipline.StrongTests$$anonfun$strong$10.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$9.class
cats.laws.discipline.eq$$anon$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$14.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$11.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.ArbitraryK$$anon$29$$anonfun$synthesize$3.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$6.class
cats.laws.discipline.SerializableTests.class
cats.laws.discipline.StrongTests$$anonfun$strong$5.class
cats.laws.discipline.arbitrary$$anonfun$kleisliArbitrary$1$$anonfun$apply$13$$anonfun$apply$14.class
cats.laws.FoldableLaws$$anonfun$rightFoldConsistentWithFoldMap$1.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.CategoryTests$$anonfun$category$2.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$1.class
cats.laws.discipline.SemigroupKTests$.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$6.class
cats.laws.TraverseLaws$.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$3.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$8.class
cats.laws.discipline.StrongTests$$anonfun$strong$3.class
cats.laws.discipline.ArrowTests$$anon$2.class
cats.laws.TraverseLaws$class.class
cats.laws.discipline.MonadCombineTests$.class
cats.laws.discipline.CategoryTests.class
cats.laws.ComonadLaws$$anonfun$coflattenThroughMap$1.class
cats.laws.discipline.CoflatMapTests$$anon$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$23.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$2.class
cats.laws.discipline.arbitrary$$anonfun$optionTArbitrary$1$$anonfun$apply$17.class
cats.laws.discipline.arbitrary$$anonfun$validatedArbitrary$1$$anonfun$apply$8.class
cats.laws.ComposeLaws.class
cats.laws.discipline.MonadTests$$anon$1.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$5.class
cats.laws.discipline.FunctorTests$class.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$4.class
cats.laws.ComonadLaws$$anonfun$comonadLeftIdentity$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$24.class
cats.laws.discipline.ArbitraryK$$anon$6.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$13.class
cats.laws.discipline.StrongTests$$anonfun$strong$7.class
cats.laws.FunctorLaws$$anon$1.class
cats.laws.TraverseLaws$$anonfun$3.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$3.class
cats.laws.discipline.ArrowTests$$anon$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$5.class
cats.laws.discipline.EqK$$anon$13.class
cats.laws.discipline.MonoidKTests$$anon$1.class
cats.laws.MonadCombineLaws$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$7.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$11.class
cats.laws.FoldableLaws$.class
cats.laws.discipline.EqK$$anon$3.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$7.class
cats.laws.discipline.eq$$anon$1$$anonfun$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$10.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$24.class
cats.laws.discipline.arbitrary$$anonfun$cokleisliArbitrary$1.class
cats.laws.discipline.CategoryTests$$anonfun$category$4.class
cats.laws.discipline.arbitrary$$anonfun$appFuncArbitrary$1.class
cats.laws.discipline.ComonadTests$.class
cats.laws.MonadLaws$$anonfun$monadRightIdentity$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$5.class
cats.laws.discipline.MonadCombineTests$class.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$20.class
cats.laws.ComposeLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$14.class
cats.laws.FoldableLaws$$anonfun$forallLazy$1.class
cats.laws.discipline.AlternativeTests$class.class
cats.laws.discipline.CategoryTests$$anonfun$category$5.class
cats.laws.ContravariantLaws$class.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$14.class
cats.laws.StrongLaws$$anon$1.class
cats.laws.CategoryLaws.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$16.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$3.class
cats.laws.discipline.EqK.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$10.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.SplitTests$$anonfun$split$6.class
cats.laws.Platform$$anonfun$serializable$1.class
cats.laws.discipline.FunctorTests$$anonfun$functor$3.class
cats.laws.discipline.EqK$$anon$21.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$10.class
cats.laws.ContravariantLaws$.class
cats.laws.SemigroupKLaws$class.class
cats.laws.ContravariantLaws$$anonfun$contravariantIdentity$1.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$2.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$18.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$17.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$19.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$2.class
cats.laws.discipline.arbitrary$$anonfun$streamingArbitrary$1$$anonfun$apply$32.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$2.class
cats.laws.ProfunctorLaws$$anonfun$profunctorIdentity$1.class
cats.laws.MonadReaderLaws.class
cats.laws.ProfunctorLaws.class
cats.laws.discipline.InvariantTests$$anon$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$7.class
cats.laws.discipline.FlatMapTests.class
cats.laws.discipline.ArbitraryK$$anon$34.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$4.class
cats.laws.InvariantLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$22.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$4.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$1.class
cats.laws.discipline.MonadTests$$anon$2.class
cats.laws.ChoiceLaws$class.class
cats.laws.discipline.ApplyTests$$anonfun$apply$4.class
cats.laws.discipline.MonoidKTests$.class
cats.laws.discipline.arbitrary$$anonfun$iorArbitrary$1$$anonfun$apply$11$$anonfun$apply$12.class
cats.laws.discipline.ApplyTests$$anonfun$apply$3.class
cats.laws.FunctorLaws$$anonfun$covariantIdentity$1.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$9.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$8.class
cats.laws.discipline.ArbitraryK$$anon$20.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$10.class
cats.laws.InvariantLaws$$anon$1.class
cats.laws.discipline.FlatMapTests$$anon$1.class
cats.laws.discipline.MonadFilterTests$.class
cats.laws.discipline.ArbitraryK$$anon$14.class
cats.laws.discipline.MonadCombineTests$$anon$2.class
cats.laws.discipline.MonadFilterTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$8.class
cats.laws.discipline.ProfunctorTests.class
cats.laws.discipline.ArbitraryK$$anon$30.class
cats.laws.discipline.CategoryTests$$anonfun$category$3.class
cats.laws.discipline.SerializableTests$.class
cats.laws.discipline.TraverseTests$$anon$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.ArbitraryK$$anon$16.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$10.class
cats.laws.ChoiceLaws$.class
cats.laws.discipline.FoldableTests$$anon$1.class
cats.laws.AlternativeLaws.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$6.class
cats.laws.discipline.arbitrary$$anonfun$oneAndArbitrary$1.class
cats.laws.ApplyLaws$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$6.class
cats.laws.MonadCombineLaws$$anon$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$15.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$6.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$21.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$1.class
cats.laws.MonadStateLaws$$anonfun$2.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$10.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$16.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.arbitrary$$anonfun$streamingTArbitrary$1$$anonfun$apply$35.class
cats.laws.MonadErrorLaws$$anon$1.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$1.class
cats.laws.package$IsEqArrow$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$8.class
cats.laws.discipline.MonadErrorTests$$anon$2.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$10.class
cats.laws.CoflatMapLaws$$anonfun$coflatMapAssociativity$1.class
cats.laws.discipline.CategoryTests$class.class
cats.laws.discipline.ComposeTests$.class
cats.laws.discipline.MonadReaderTests$class.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$5.class
cats.laws.discipline.arbitrary$$anonfun$optionTArbitrary$1.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$2.class
cats.laws.discipline.StrongTests$$anonfun$strong$8.class
cats.laws.ComposeLaws$.class
cats.laws.SplitLaws$$anon$1.class
cats.laws.discipline.MonadErrorTests.class
cats.laws.discipline.InvariantTests$$anonfun$invariant$8.class
cats.laws.discipline.ApplicativeTests$.class
cats.laws.discipline.arbitrary$$anonfun$constArbitrary$1$$anonfun$apply$1.class
cats.laws.InvariantLaws$class.class
cats.laws.MonadReaderLaws$$anonfun$monadReaderLocalFlatMap$1.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$19.class
cats.laws.discipline.arbitrary$$anonfun$xorTArbitrary$1.class
cats.laws.FoldableLaws$$anonfun$leftFoldConsistentWithFoldMap$1.class
cats.laws.ContravariantLaws.class
cats.laws.discipline.eq.class
cats.laws.FlatMapLaws$$anon$1.class
cats.laws.discipline.StrongTests$$anon$1.class
cats.laws.MonadFilterLaws.class
cats.laws.discipline.ArbitraryK$$anon$23.class
cats.laws.discipline.ArrowTests$.class
cats.laws.discipline.arbitrary$$anonfun$streamingTArbitrary$1.class
cats.laws.discipline.ArbitraryK$$anon$2.class
cats.laws.discipline.arbitrary$$anonfun$cokleisliArbitrary$1$$anonfun$apply$15$$anonfun$apply$16.class
cats.laws.discipline.MonadReaderTests$$anon$2.class
cats.laws.discipline.arbitrary$$anonfun$funcArbitrary$1$$anonfun$apply$27.class
cats.laws.discipline.ArbitraryK$$anon$18.class
cats.laws.MonadFilterLaws$$anon$1.class
cats.laws.discipline.arbitrary$$anonfun$prodArbitrary$1$$anonfun$apply$23$$anonfun$apply$24$$anonfun$apply$26.class
cats.laws.discipline.ArbitraryK$$anon$17.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$9.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$12.class
cats.laws.discipline.ArbitraryK$$anon$24.class
cats.laws.discipline.ChoiceTests.class
cats.laws.CategoryLaws$.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$9.class
cats.laws.ApplyLaws$.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$4.class
cats.laws.discipline.arbitrary$$anonfun$funcArbitrary$1$$anonfun$apply$27$$anonfun$apply$28.class
cats.laws.discipline.TraverseTests$.class
cats.laws.FoldableLaws$$anonfun$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$1.class
cats.laws.discipline.StrongTests$$anonfun$strong$4.class
cats.laws.FlatMapLaws$$anonfun$flatMapConsistentApply$1.class
cats.laws.discipline.arbitrary$$anonfun$xorArbitrary$1$$anonfun$apply$4.class
cats.laws.InvariantLaws$$anonfun$invariantIdentity$2.class
cats.laws.discipline.ChoiceTests$$anonfun$choice$4.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$3.class
cats.laws.discipline.arbitrary$$anonfun$xorArbitrary$1$$anonfun$apply$5.class
cats.laws.discipline.ProfunctorTests$$anonfun$profunctor$2.class
cats.laws.discipline.ApplyTests.class
cats.laws.discipline.ArbitraryK$$anon$32.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$15.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$1.class
cats.laws.ContravariantLaws$$anon$1.class
cats.laws.SerializableLaws.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$6.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$5.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$11.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$25.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$3.class
cats.laws.discipline.arbitrary$$anonfun$evalArbitrary$1$$anonfun$apply$21$$anonfun$apply$22.class
cats.laws.discipline.eq$.class
cats.laws.discipline.ComposeTests$$anonfun$compose$5.class
cats.laws.discipline.FunctorTests$$anon$1.class
cats.laws.FunctorLaws$.class
cats.laws.discipline.eq$$anon$1$$anonfun$2.class
cats.laws.discipline.TraverseTests$$anon$2.class
cats.laws.discipline.ApplyTests$$anonfun$apply$1.class
cats.laws.discipline.SemigroupKTests$$anon$2$$anonfun$5.class
cats.laws.discipline.ComposeTests$$anonfun$compose$4.class
cats.laws.ApplicativeLaws$$anonfun$1$$anonfun$apply$1.class
cats.laws.ChoiceLaws$$anon$1.class
cats.laws.MonadLaws$class.class
cats.laws.discipline.FoldableTests.class
cats.laws.package$.class
cats.laws.discipline.ApplyTests$.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$3.class
cats.laws.StrongLaws$class.class
cats.laws.ApplicativeLaws$$anonfun$applicativeIdentity$1.class
cats.laws.FoldableLaws$class.class
cats.laws.discipline.arbitrary$$anonfun$evalArbitrary$1$$anonfun$apply$18.class
cats.laws.ComonadLaws$.class
cats.laws.discipline.ApplyTests$$anonfun$apply$2.class
cats.laws.ComonadLaws$$anonfun$cokleisliRightIdentity$1.class
cats.laws.discipline.MonadReaderTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.SplitTests$$anonfun$split$5.class
cats.laws.IsEq$.class
cats.laws.discipline.ApplicativeTests$$anonfun$applicative$2.class
cats.laws.discipline.StrongTests$class.class
cats.laws.discipline.MonadCombineTests$$anon$2$$anonfun$props$4.class
cats.laws.TraverseLaws$$anonfun$2.class
cats.laws.discipline.ComonadTests$$anon$1.class
cats.laws.ApplicativeLaws$.class
cats.laws.discipline.MonadErrorTests$$anon$2$$anonfun$props$5.class
cats.laws.discipline.ArrowTests$$anon$2$$anonfun$props$12.class
cats.laws.discipline.StrongTests.class
cats.laws.discipline.AlternativeTests$$anon$2$$anonfun$7.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$14.class
cats.laws.discipline.EqK$$anon$23.class
cats.laws.discipline.ApplicativeTests$$anon$1.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$9.class
cats.laws.discipline.arbitrary$$anonfun$funcArbitrary$1.class
cats.laws.discipline.CoflatMapTests$$anonfun$coflatMap$3.class
cats.laws.discipline.ComonadTests$$anonfun$comonad$2.class
cats.laws.discipline.eq$$anonfun$semigroupEq$1.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$4.class
cats.laws.discipline.FlatMapTests$$anonfun$flatMap$3.class
cats.laws.discipline.EqK$$anon$19.class
cats.laws.discipline.arbitrary$$anonfun$constArbitrary$1.class
cats.laws.discipline.arbitrary$$anonfun$evalArbitrary$1.class
cats.laws.discipline.package$$anonfun$isEqToProp$1.class
cats.laws.discipline.StrongTests$.class
cats.laws.discipline.MonadTests$$anon$2$$anonfun$props$5.class
cats.laws.MonadErrorLaws$.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$1.class
cats.laws.discipline.SemigroupKTests$$anon$2.class
cats.laws.discipline.SemigroupKTests$$anon$1.class
cats.laws.ArrowLaws$$anonfun$arrowUnit$2.class
cats.laws.discipline.MonadTests.class
cats.laws.discipline.TraverseTests$$anon$3$$anonfun$props$9.class
cats.laws.discipline.FoldableTests$$anonfun$foldable$22.class
cats.laws.ApplicativeLaws$$anon$1.class
cats.laws.discipline.ArbitraryK$$anon$29$$anonfun$synthesize$3$$anonfun$apply$4.class
cats.laws.discipline.MonadFilterTests$$anonfun$monadFilter$5.class
cats.laws.discipline.MonadStateTests$$anon$2$$anonfun$props$7.class
cats.laws.discipline.AlternativeTests$.class
cats.laws.discipline.FoldableTests$class.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)