• Home
• info.hupel
• isabellectl_2.11
• 1.1.0-RC3
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

abellectl_2.11.1.1.0-RC3.source-code.package.scala Maven / Gradle / Ivy

package info.hupel.isabelle

import java.nio.file.{Path, Paths}

import caseapp.core.ArgParser

import info.hupel.isabelle.api.Version

package object cli {

  implicit val pathParser: ArgParser[Path] =
    ArgParser.instance[Path] { s => Right(Paths.get(s)) }

  implicit val versionParser: ArgParser[Version] =
    ArgParser.instance[Version](Version.parse)

}