| 组织ID: |
org.typelevel |
| 项目ID: |
algebra-laws_2.11 |
| 版本: |
0.5.0 |
| 最后修改时间: |
2020-04-25 15:25:54 |
| 包类型: |
jar |
| 标题: |
MIT |
| 描述: |
laws |
| 相关URL: |
http://spire-math.org |
| 大小: |
321.45KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>algebra-laws_2.11</artifactId>
<version>0.5.0</version>
</dependency>
|
| Gradle引入代码: |
org.typelevel:algebra-laws_2.11:0.5.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>algebra-laws_2.11</artifactId>
<packaging>jar</packaging>
<description>laws</description>
<url>http://spire-math.org</url>
<version>0.5.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://spire-math.org</url>
</organization>
<scm>
<url>git@github.com:non/algebra.git</url>
<connection>scm:git:git@github.com:non/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://non.github.io/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.5.0</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>cats-kernel-laws_2.11</artifactId>
<version>0.7.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.4</version>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-platform_2.11</artifactId>
<version>0.0.2</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>catalysts-macros_2.11</artifactId>
<version>0.0.2</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>org.scalatest</groupId>
<artifactId>scalatest_2.11</artifactId>
<version>3.0.0-M7</version>
<scope>test</scope>
</dependency>
</dependencies>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
algebra.laws.Rules$$anonfun$idempotence$1.class
algebra.laws.LogicLaws$$anonfun$heyting$33.class
algebra.laws.OrderLaws$$anonfun$order$3.class
algebra.laws.OrderLaws$$anonfun$partialOrder$14.class
algebra.laws.package$Ops$.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$3.class
algebra.laws.Rules$$anonfun$leftIdentity$2.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.OrderLaws$$anonfun$eqv$13.class
algebra.laws.Rules$$anonfun$commutative$1.class
algebra.laws.LatticePartialOrderLaws$class.class
algebra.laws.GroupLaws$AdditiveProperties.class
algebra.laws.Rules$$anonfun$associativity$3.class
algebra.laws.Rules$$anonfun$rightIdentity$2.class
algebra.laws.OrderLaws$$anonfun$order$2.class
algebra.laws.LatticeLaws$$anonfun$lattice$3.class
algebra.laws.Rules$$anonfun$leftIdentity$1$$anonfun$apply$2.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$7.class
algebra.laws.GroupLaws$GroupProperties.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$1$$anonfun$apply$3.class
algebra.laws.OrderLaws$$anonfun$eqv$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$3.class
algebra.laws.LogicLaws$$anonfun$heyting$40$$anonfun$apply$20.class
algebra.laws.Rules$$anonfun$commutative$3.class
algebra.laws.LogicLaws$$anonfun$heyting$7$$anonfun$apply$3.class
algebra.laws.OrderLaws$$anonfun$eqv$10.class
algebra.laws.Rules$$anonfun$repeat1$2.class
algebra.laws.Rules$$anonfun$rightIdentity$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$10.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.OrderLaws$$anonfun$partialOrder$7.class
algebra.laws.RingLaws$$anon$1.class
algebra.laws.LogicLaws$$anonfun$heyting$25.class
algebra.laws.LatticePartialOrderLaws$$anon$1.class
algebra.laws.LogicLaws$$anonfun$heyting$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$1.class
algebra.laws.LogicLaws$.class
algebra.laws.Rules$$anonfun$distributive$4.class
algebra.laws.GroupLaws$$anonfun$monoid$5.class
algebra.laws.LogicLaws$$anon$1.class
algebra.laws.package.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5.class
algebra.laws.GroupLaws$$anonfun$additiveSemigroup$2.class
algebra.laws.GroupLaws$$anonfun$band$1.class
algebra.laws.GroupLaws$$anonfun$monoid$4.class
algebra.laws.RingLaws$$anonfun$multiplicativeCommutativeGroup$1.class
algebra.laws.Rules$$anonfun$associativity$1.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$5.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$less$eq$1.class
algebra.laws.BaseLaws.class
algebra.laws.LogicLaws$$anonfun$heyting$12.class
algebra.laws.LogicLaws$$anonfun$heyting$9.class
algebra.laws.OrderLaws$$anon$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$2.class
algebra.laws.OrderLaws$$anonfun$eqv$3$$anonfun$apply$2.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$1.class
algebra.laws.GroupLaws$$anonfun$group$6.class
algebra.laws.Rules$$anonfun$associativity$2.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$2.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$3.class
algebra.laws.RingLaws$$anon$3.class
algebra.laws.LogicLaws$$anonfun$heyting$31.class
algebra.laws.LogicLaws$LogicProperties.class
algebra.laws.RingLaws$$anonfun$boolRing$1.class
algebra.laws.GroupLaws$$anonfun$additiveGroup$1.class
algebra.laws.IsSerializable$.class
algebra.laws.Rules$$anonfun$rightInverse$2.class
algebra.laws.OrderLaws$$anonfun$partialOrder$9.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$2$$anonfun$apply$3.class
algebra.laws.Rules$$anonfun$leftInverse$2.class
algebra.laws.OrderLaws.class
algebra.laws.LatticeLaws$$anonfun$lattice$1.class
algebra.laws.OrderLaws$$anonfun$eqv$7.class
algebra.laws.LogicLaws$$anonfun$heyting$11.class
algebra.laws.RingLaws$$anon$1$$anon$2.class
algebra.laws.LogicLaws$$anonfun$bool$2.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$6.class
algebra.laws.OrderLaws$$anonfun$partialOrder$13.class
algebra.laws.OrderLaws$$anonfun$partialOrder$1$$anonfun$apply$5.class
algebra.laws.LogicLaws$$anonfun$heyting$12$$anonfun$apply$10$$anonfun$apply$11.class
algebra.laws.package$CheckOrderOps.class
algebra.laws.OrderLaws$.class
algebra.laws.RingLaws$RingProperties.class
algebra.laws.Rules$.class
algebra.laws.OrderLaws$$anonfun$partialOrder$10$$anonfun$apply$8.class
algebra.laws.Rules$$anonfun$collect0$1.class
algebra.laws.LogicLaws$$anonfun$heyting$5$$anonfun$apply$2.class
algebra.laws.Rules$$anonfun$commutative$2.class
algebra.laws.OrderLaws$$anonfun$partialOrder$17.class
algebra.laws.LogicLaws$$anonfun$heyting$30$$anonfun$apply$17.class
algebra.laws.GroupLaws$$anonfun$semigroup$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$4.class
algebra.laws.LogicLaws$$anonfun$heyting$37.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$3.class
algebra.laws.GroupLaws$$anonfun$commutativeSemigroup$1.class
algebra.laws.Rules$$anonfun$rightInverse$1$$anonfun$apply$5.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$2.class
algebra.laws.LogicLaws$$anonfun$heyting$32.class
algebra.laws.LogicLaws$$anonfun$heyting$23.class
algebra.laws.GroupLaws$$anonfun$additiveMonoid$2.class
algebra.laws.Rules$$anonfun$distributive$1$$anonfun$apply$14.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$4.class
algebra.laws.GroupLaws$$anonfun$group$1.class
algebra.laws.LogicLaws$$anonfun$heyting$9$$anonfun$apply$5$$anonfun$apply$6.class
algebra.laws.CheckSupport.class
algebra.laws.GroupLaws$$anonfun$group$4.class
algebra.laws.Rules$$anonfun$consistentInverse$1$$anonfun$apply$8.class
algebra.laws.LogicLaws$$anonfun$heyting$39.class
algebra.laws.LogicLaws$$anonfun$heyting$24$$anonfun$apply$15.class
algebra.laws.OrderLaws$$anonfun$partialOrder$16$$anonfun$apply$10.class
algebra.laws.OrderLaws$$anonfun$partialOrder$1.class
algebra.laws.LogicLaws$$anonfun$heyting$26.class
algebra.laws.Rules$$anonfun$leftInverse$1$$anonfun$apply$4.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$5$$anonfun$apply$6.class
algebra.laws.LogicLaws$$anonfun$heyting$38.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$4$$anonfun$apply$22.class
algebra.laws.OrderLaws$$anonfun$eqv$12.class
algebra.laws.LogicLaws$$anonfun$generalizedBool$1$$anonfun$apply$21.class
algebra.laws.GroupLaws$$anonfun$monoid$3.class
algebra.laws.LatticePartialOrderLaws$LatticePartialOrderProperties.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$less$1.class
algebra.laws.GroupLaws$$anonfun$semigroup$1.class
algebra.laws.package$Ops$$anonfun$1.class
algebra.laws.LogicLaws$$anonfun$heyting$21$$anonfun$apply$14.class
algebra.laws.package$CheckEqOps.class
algebra.laws.Rules.class
algebra.laws.LogicLaws$$anonfun$heyting$4.class
algebra.laws.OrderLaws$$anonfun$partialOrder$4.class
algebra.laws.IsSerializable.class
algebra.laws.Rules$$anonfun$leftInverse$1.class
algebra.laws.GroupLaws$$anonfun$group$7.class
algebra.laws.OrderLaws$$anonfun$order$1.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedJoinSemilatticePartialOrder$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$2.class
algebra.laws.LogicLaws.class
algebra.laws.BaseLaws$BaseRuleSet.class
algebra.laws.LogicLaws$$anonfun$heyting$19.class
algebra.laws.RingLaws$.class
algebra.laws.LogicLaws$$anonfun$heyting$35.class
algebra.laws.BaseLaws$class.class
algebra.laws.LogicLaws$$anonfun$heyting$29.class
algebra.laws.GroupLaws$$anonfun$semigroup$3.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$5.class
algebra.laws.Rules$$anonfun$repeat2$2.class
algebra.laws.Rules$$anonfun$repeat1$1$$anonfun$apply$10.class
algebra.laws.OrderLaws$$anonfun$partialOrder$5.class
algebra.laws.GroupLaws$$anonfun$group$2.class
algebra.laws.Rules$$anonfun$rightInverse$1.class
algebra.laws.OrderLaws$$anonfun$eqv$9.class
algebra.laws.OrderLaws$$anonfun$eqv$1$$anonfun$apply$1.class
algebra.laws.Rules$$anonfun$repeat0$1.class
algebra.laws.OrderLaws$$anonfun$eqv$6.class
algebra.laws.Rules$$anonfun$consistentInverse$3.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$4.class
algebra.laws.LogicLaws$$anonfun$heyting$27$$anonfun$apply$16.class
algebra.laws.LogicLaws$$anonfun$heyting$13.class
algebra.laws.package$Ops$$anonfun$2.class
algebra.laws.Rules$$anonfun$isId$2.class
algebra.laws.OrderLaws$$anonfun$eqv$3.class
algebra.laws.CheckSupport$.class
algebra.laws.LatticePartialOrderLaws$$anonfun$meetSemilatticePartialOrder$3.class
algebra.laws.RingLaws$$anon$1$$anon$2$$anonfun$Arb$1.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.Rules$$anonfun$idempotence$2.class
algebra.laws.GroupLaws$$anonfun$group$3.class
algebra.laws.OrderLaws$class.class
algebra.laws.OrderLaws$$anonfun$partialOrder$12.class
algebra.laws.LatticeLaws$class.class
algebra.laws.OrderLaws$$anonfun$partialOrder$8.class
algebra.laws.OrderLaws$$anonfun$eqv$10$$anonfun$apply$4.class
algebra.laws.LatticePartialOrderLaws.class
algebra.laws.Rules$$anonfun$repeat0$2.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$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.Rules$$anonfun$distributive$1$$anonfun$apply$15.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.Rules$$anonfun$isId$1$$anonfun$apply$13.class
algebra.laws.OrderLaws$$anonfun$eqv$11.class
algebra.laws.LogicLaws$$anonfun$heyting$14.class
algebra.laws.RingLaws$RingProperties$$anon$4.class
algebra.laws.LogicLaws$$anonfun$heyting$2.class
algebra.laws.GroupLaws$$anonfun$monoid$1.class
algebra.laws.LogicLaws$$anonfun$heyting$21.class
algebra.laws.Rules$$anonfun$distributive$2.class
algebra.laws.LatticePartialOrderLaws$$anonfun$joinSemilatticePartialOrder$3.class
algebra.laws.RingLaws$MultiplicativeProperties.class
algebra.laws.package$BooleanOps.class
algebra.laws.LogicLaws$$anonfun$heyting$14$$anonfun$apply$12.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$2.class
algebra.laws.OrderLaws$$anonfun$partialOrder$6.class
algebra.laws.OrderLaws$$anonfun$eqv$4.class
algebra.laws.LatticeLaws$LatticeProperties.class
algebra.laws.OrderLaws$$anonfun$eqv$2.class
algebra.laws.LogicLaws$$anonfun$heyting$28.class
algebra.laws.LogicLaws$$anonfun$heyting$15.class
algebra.laws.GroupLaws$$anonfun$additiveMonoid$1.class
algebra.laws.LatticeLaws$.class
algebra.laws.RingLaws$$anonfun$multiplicativeMonoid$3.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$1$$anonfun$apply$4.class
algebra.laws.RingLaws.class
algebra.laws.LatticeLaws$$anonfun$lattice$1$$anonfun$apply$1.class
algebra.laws.LogicLaws$$anonfun$heyting$22.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$2$$anonfun$apply$1$$anonfun$apply$2.class
algebra.laws.OrderLaws$$anonfun$partialOrder$15.class
algebra.laws.Rules$$anonfun$repeat1$1.class
algebra.laws.LogicLaws$$anonfun$heyting$36.class
algebra.laws.LatticeLaws$$anonfun$distributiveLattice$3.class
algebra.laws.OrderLaws$$anonfun$eqv$8.class
algebra.laws.package$CheckOrderOps$$anonfun$$qmark$greater$1.class
algebra.laws.LogicLaws$$anonfun$heyting$24.class
algebra.laws.package$BooleanOps$$anonfun$$qmark$bar$bar$1.class
algebra.laws.BaseLaws$.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$1.class
algebra.laws.BaseLaws$$anon$1.class
algebra.laws.RingLaws$$anonfun$multiplicativeGroup$2.class
algebra.laws.GroupLaws$$anon$1.class
algebra.laws.LatticeLaws$$anon$1.class
algebra.laws.Rules$$anonfun$consistentInverse$2.class
algebra.laws.OrderLaws$$anonfun$eqv$6$$anonfun$apply$3.class
algebra.laws.LogicLaws$$anonfun$heyting$40.class
algebra.laws.LatticePartialOrderLaws$$anonfun$boundedMeetSemilatticePartialOrder$1$$anonfun$apply$4.class
algebra.laws.LogicLaws$$anonfun$bool$1.class
algebra.laws.Rules$$anonfun$distributive$1.class
algebra.laws.Rules$$anonfun$rightIdentity$1$$anonfun$apply$3.class
algebra.laws.package$BooleanOps$$anonfun$$qmark$amp$amp$1.class
algebra.laws.LogicLaws$$anonfun$heyting$3$$anonfun$apply$1.class
algebra.laws.OrderLaws$$anonfun$partialOrder$3$$anonfun$apply$6.class
algebra.laws.RingLaws$$anonfun$multiplicativeSemigroup$4.class
algebra.laws.Rules$$anonfun$commutative$1$$anonfun$apply$6.class
algebra.laws.GroupLaws$class.class
algebra.laws.Rules$$anonfun$repeat2$1$$anonfun$apply$11.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
scala-library-2.11.8.jar
/org.scala-lang/scala-library/2.11.8
查看scala-library所有版本文件
algebra_2.11-0.5.0.jar
/org.typelevel/algebra_2.11/0.5.0
查看algebra_2.11所有版本文件
cats-kernel-laws_2.11-0.7.0.jar
/org.typelevel/cats-kernel-laws_2.11/0.7.0
查看cats-kernel-laws_2.11所有版本文件
scalacheck_2.11-1.12.4.jar
/org.scalacheck/scalacheck_2.11/1.12.4
查看scalacheck_2.11所有版本文件
discipline_2.11-0.4.jar
/org.typelevel/discipline_2.11/0.4
查看discipline_2.11所有版本文件
catalysts-platform_2.11-0.0.2.jar
/org.typelevel/catalysts-platform_2.11/0.0.2
查看catalysts-platform_2.11所有版本文件
catalysts-macros_2.11-0.0.2.jar
/org.typelevel/catalysts-macros_2.11/0.0.2
查看catalysts-macros_2.11所有版本文件
scalatest_2.11-3.0.0-M7.jar
/org.scalatest/scalatest_2.11/3.0.0-M7
查看scalatest_2.11所有版本文件
|
查看algebra-laws_2.11所有版本文件