algebra-laws_2.11-0.7.0.jar

<dependency>
	<groupId>org.typelevel</groupId>
	<artifactId>algebra-laws_2.11</artifactId>
	<version>0.7.0</version>
</dependency>

org.typelevel:algebra-laws_2.11:0.7.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.typelevel</groupId>

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

    <packaging>jar</packaging>

    <description>laws</description>

    <url>http://typelevel.org/algebra</url>

    <version>0.7.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.typelevel</name>

        <url>http://typelevel.org/algebra</url>

    </organization>

    <scm>

        <url>git@github.com:typelevel/algebra.git</url>

        <connection>scm:git:git@github.com:typelevel/algebra.git</connection>

    </scm>

    <developers>

        <developer>

            <id>johnynek</id>

            <name>P. Oscar Boykin</name>

            <url>https://github.com/johnynek/</url>

        </developer>

        <developer>

            <id>avibryant</id>

            <name>Avi Bryant</name>

            <url>https://github.com/avibryant/</url>

        </developer>

        <developer>

            <id>non</id>

            <name>Erik Osheim</name>

            <url>http://github.com/non/</url>

        </developer>

        <developer>

            <id>tixxit</id>

            <name>Tom Switzer</name>

            <url>http://github.com/tixxit/</url>

        </developer>

    </developers>

    <properties>

        <info.apiURL>https://typelevel.org/algebra/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>algebra_2.11</artifactId>

            <version>0.7.0</version>

        </dependency>

        <dependency>

            <groupId>org.typelevel</groupId>

            <artifactId>cats-kernel-laws_2.11</artifactId>

            <version>0.9.0</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>

            <scope>test</scope>

        </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.1</version>

            <scope>test</scope>

        </dependency>

    </dependencies>

</project>

META-INF/MANIFEST.MF
algebra.laws.LogicLaws$$anonfun$heyting$33.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$1$$anonfun$apply$2.class
algebra.laws.LogicLaws$$anonfun$heyting$5.class
algebra.laws.LogicLaws$$anonfun$heyting$8.class
algebra.laws.LogicLaws$$anonfun$heyting$3.class
algebra.laws.LogicLaws$$anonfun$heyting$12$$anonfun$apply$9.class
algebra.laws.LatticeLaws$LatticeProperties$$anonfun$2.class
algebra.laws.RingLaws$$anonfun$boolRng$1.class
algebra.laws.LatticePartialOrderLaws$class.class
algebra.laws.RingLaws$$anonfun$ring$1.class
algebra.laws.LatticeLaws$$anonfun$lattice$3.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$7.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$1$$anonfun$apply$3.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$3.class
algebra.laws.LogicLaws$$anonfun$heyting$40$$anonfun$apply$20.class
algebra.laws.LogicLaws$$anonfun$heyting$7$$anonfun$apply$3.class
algebra.laws.RingLaws$$anonfun$ring$3$$anonfun$apply$4.class
algebra.laws.LatticeLaws$LatticeProperties$$anonfun$1.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$2.class
algebra.laws.LogicLaws$$anonfun$heyting$27.class
algebra.laws.RingLaws$$anon$1.class
algebra.laws.LogicLaws$$anonfun$heyting$25.class
algebra.laws.LatticePartialOrderLaws$$anon$1.class
algebra.laws.RingLaws$$anonfun$ring$3$$anonfun$1.class
algebra.laws.LogicLaws$$anonfun$heyting$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$1.class
algebra.laws.RingLaws$$anonfun$ring$3$$anonfun$2.class
algebra.laws.LogicLaws$.class
algebra.laws.RingLaws$$anonfun$additiveGroup$2.class
algebra.laws.RingLaws$$anonfun$field$1$$anonfun$apply$5.class
algebra.laws.RingLaws$$anonfun$additiveSemigroup$2.class
algebra.laws.RingLaws$$anonfun$additiveMonoid$2.class
algebra.laws.LogicLaws$$anon$1.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$5.class
algebra.laws.LogicLaws$$anonfun$heyting$12.class
algebra.laws.LogicLaws$$anonfun$heyting$9.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$1.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$3.class
algebra.laws.RingLaws$$anonfun$additiveMonoid$1.class
algebra.laws.LogicLaws$$anonfun$heyting$31.class
algebra.laws.LogicLaws$LogicProperties.class
algebra.laws.RingLaws$$anonfun$boolRing$1.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$2$$anonfun$apply$3.class
algebra.laws.LatticeLaws$$anonfun$lattice$1.class
algebra.laws.LogicLaws$$anonfun$heyting$11.class
algebra.laws.LogicLaws$$anonfun$bool$2.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$6.class
algebra.laws.LogicLaws$$anonfun$heyting$12$$anonfun$apply$10$$anonfun$apply$11.class
algebra.laws.RingLaws$$anonfun$ring$3$$anonfun$4.class
algebra.laws.RingLaws$RingProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$5$$anonfun$apply$2.class
algebra.laws.RingLaws$$anon$1$$anon$3.class
algebra.laws.RingLaws$$anonfun$additiveSemigroup$3.class
algebra.laws.LogicLaws$$anonfun$heyting$30$$anonfun$apply$17.class
algebra.laws.LogicLaws$$anonfun$heyting$37.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$3.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$2.class
algebra.laws.RingLaws$$anonfun$additiveSemigroup$1.class
algebra.laws.LogicLaws$$anonfun$heyting$32.class
algebra.laws.LogicLaws$$anonfun$heyting$23.class
algebra.laws.RingLaws$$anonfun$additiveGroup$3.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$4.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5$$anonfun$apply$6.class
algebra.laws.CheckSupport.class
algebra.laws.RingLaws$$anon$1$$anon$3$$anonfun$Arb$1.class
algebra.laws.LogicLaws$$anonfun$heyting$39.class
algebra.laws.LogicLaws$$anonfun$heyting$24$$anonfun$apply$15.class
algebra.laws.LogicLaws$$anonfun$heyting$26.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$5$$anonfun$apply$6.class
algebra.laws.RingLaws$$anonfun$ring$2.class
algebra.laws.LogicLaws$$anonfun$heyting$38.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$4$$anonfun$apply$22.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$1$$anonfun$apply$21.class
algebra.laws.LatticePartialOrderLaws$LatticePartialOrderProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$21$$anonfun$apply$14.class
algebra.laws.LogicLaws$$anonfun$heyting$4.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$2.class
algebra.laws.LogicLaws.class
algebra.laws.LogicLaws$$anonfun$heyting$19.class
algebra.laws.RingLaws$$anonfun$ring$3$$anonfun$3.class
algebra.laws.RingLaws$.class
algebra.laws.LogicLaws$$anonfun$heyting$35.class
algebra.laws.RingLaws$$anonfun$field$2.class
algebra.laws.LogicLaws$$anonfun$heyting$29.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$5.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$4.class
algebra.laws.LogicLaws$$anonfun$heyting$27$$anonfun$apply$16.class
algebra.laws.RingLaws$$anonfun$ring$3.class
algebra.laws.LogicLaws$$anonfun$heyting$13.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$1$$anonfun$apply$1$$anonfun$apply$2.class
algebra.laws.CheckSupport$.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$3.class
algebra.laws.RingLaws$$anonfun$ring$4.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$4.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$7$$anonfun$apply$8.class
algebra.laws.LogicLaws$$anonfun$heyting$7.class
algebra.laws.LatticeLaws$class.class
algebra.laws.LatticePartialOrderLaws.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$1.class
algebra.laws.RingLaws$$anonfun$field$1.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$heyting$36$$anonfun$apply$19.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedMeetSemilatticePartialOrder$1.class
algebra.laws.LogicLaws$$anonfun$heyting$16.class
algebra.laws.LogicLaws$$anonfun$bool$1$$anonfun$apply$23.class
algebra.laws.LogicLaws$$anonfun$heyting$18.class
algebra.laws.LogicLaws$$anonfun$heyting$17$$anonfun$apply$13.class
algebra.laws.LogicLaws$$anonfun$heyting$10.class
algebra.laws.LogicLaws$$anonfun$heyting$14.class
algebra.laws.LogicLaws$$anonfun$heyting$2.class
algebra.laws.LogicLaws$$anonfun$heyting$21.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$3.class
algebra.laws.RingLaws$MultiplicativeProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$14$$anonfun$apply$12.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$2.class
algebra.laws.LatticeLaws$LatticeProperties.class
algebra.laws.LogicLaws$$anonfun$heyting$28.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$heyting$15.class
algebra.laws.LatticeLaws$.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$4.class
algebra.laws.RingLaws$AdditiveProperties.class
algebra.laws.RingLaws.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$heyting$22.class
algebra.laws.LogicLaws$$anonfun$heyting$36.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$3.class
algebra.laws.LogicLaws$$anonfun$heyting$24.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$2.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)