keypool


License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

io.chrisdavenport
ArtifactId

ArtifactId

keypool_2.13
Last Version

Last Version

0.2.0
Release Date

Release Date

Type

Type

jar
Description

Description

keypool
keypool
Project URL

Project URL

https://github.com/ChristopherDavenport/keypool
Project Organization

Project Organization

io.chrisdavenport
Source Code Management

Source Code Management

https://github.com/ChristopherDavenport/keypool

Download keypool_2.13

How to add to project

<!-- https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13/ -->
<dependency>
    <groupId>io.chrisdavenport</groupId>
    <artifactId>keypool_2.13</artifactId>
    <version>0.2.0</version>
</dependency>
// https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13/
implementation 'io.chrisdavenport:keypool_2.13:0.2.0'
// https://jarcasting.com/artifacts/io.chrisdavenport/keypool_2.13/
implementation ("io.chrisdavenport:keypool_2.13:0.2.0")
'io.chrisdavenport:keypool_2.13:jar:0.2.0'
<dependency org="io.chrisdavenport" name="keypool_2.13" rev="0.2.0">
  <artifact name="keypool_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.chrisdavenport', module='keypool_2.13', version='0.2.0')
)
libraryDependencies += "io.chrisdavenport" % "keypool_2.13" % "0.2.0"
[io.chrisdavenport/keypool_2.13 "0.2.0"]

Dependencies

compile (3)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.0
org.typelevel : cats-core_2.13 jar 2.0.0
org.typelevel : cats-effect_2.13 jar 2.0.0

test (2)

Group / Artifact Type Version
org.specs2 : specs2-core_2.13 jar 4.7.0
org.specs2 : specs2-scalacheck_2.13 jar 4.7.0

Project Modules

There are no modules declared in this project.

keypool - A Keyed Pool for Scala Build Status Maven Central

Head on over to the microsite

Quick Start

To use keypool in an existing SBT project with Scala 2.11 or a later version, add the following dependencies to your build.sbt depending on your needs:

libraryDependencies ++= Seq(
  "io.chrisdavenport" %% "keypool" % "<version>"
)

Versions

Version
0.2.0
0.2.0-RC2
0.2.0-RC1
0.2.0-M2