object Options
- Alphabetic
- By Inheritance
- Options
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final case class Both[A, B](left: Options[A], right: Options[B]) extends Options[(A, B)] with Product with Serializable
- final case class KeyValueMap(argumentOption: Single[String]) extends Options[scala.Predef.Map[String, String]] with Product with Serializable
- final case class Map[A, B](value: Options[A], f: (A) => Either[ValidationError, B]) extends Options[B] with Product with Serializable
- final case class OrElse[A, B](left: Options[A], right: Options[B]) extends Options[Either[A, B]] with Product with Serializable
- final case class Single[+A](name: String, aliases: Vector[String], primType: PrimType[A], description: HelpDoc = HelpDoc.Empty) extends Options[A] with Product with Serializable
- final case class WithDefault[A](options: Options[A], default: A, defaultDescription: Option[String]) extends Options[A] with Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def boolean(name: String, ifPresent: Boolean, negationName: String, negationNames: String*): Options[Boolean]
Creates a boolean flag with the specified name, which, if present, will produce the specified constant boolean value.
Creates a boolean flag with the specified name, which, if present, will produce the specified constant boolean value. Negation names may be specified to explicitly invert the boolean value of this option.
- def boolean(name: String, ifPresent: Boolean = true): Options[Boolean]
Creates a boolean flag with the specified name, which, if present, will produce the specified constant boolean value.
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def decimal(name: String): Options[BigDecimal]
Creates a parameter expecting a decimal number.
- def directory(name: String, exists: Exists = Exists.Either): Options[Path]
Creates a parameter expecting path to the directory.
- def enumeration[A](name: String)(cases: (String, A)*): Options[A]
Creates a parameter accepting one valye from set of allowed elements.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def file(name: String, exists: Exists = Exists.Either): Options[Path]
Creates a parameter expecting path to the file.
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def instant(name: String): Options[Instant]
Creates a parameter expecting a parameter for instant in time in UTC format, such as 2007-12-03T10:15:30.00Z.
- def integer(name: String): Options[BigInt]
Creates a parameter expecting an integer.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def keyValueMap(argumentOption: Single[String]): Options[scala.Predef.Map[String, String]]
Creates a property flag with from an argument option as Options.single.
- def keyValueMap(name: String): Options[scala.Predef.Map[String, String]]
Creates a property flag with the specified name.
Creates a property flag with the specified name. Property arguments may be repeated several times (-D key1=value -D key2=value) or specifying all key/values in one argument (-D key1=value key2=value).
- def localDate(name: String): Options[LocalDate]
Creates a parameter excepting parameter for a date in ISO_LOCAL_DATE format, such as 2007-12-03.
- def localDateTime(name: String): Options[LocalDateTime]
Creates a parameter excepting a date-time without a time-zone in the ISO-8601 format, such as 2007-12-03T10:15:30.
- def localTime(name: String): Options[LocalTime]
Creates a parameter excepting a time without a time-zone in the ISO-8601 format, such as 10:15:30.
- def monthDay(name: String): Options[MonthDay]
Creates a parameter excepting a month-day in the ISO-8601 format such as 12-03.
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val none: Options[Unit]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def offsetDateTime(name: String): Options[OffsetDateTime]
Creates a parameter excepting a date-time with an offset from UTC/Greenwich in the ISO-8601 format, such as 2007-12-03T10:15:30+01:00.
- def offsetTime(name: String): Options[OffsetTime]
Creates a parameter excepting a time with an offset from UTC/Greenwich in the ISO-8601 format, such as 10:15:30+01:00.
- def period(name: String): Options[Period]
Createsa parameter excepting a date-based amount of time in the ISO-8601 format, such as 'P1Y2M3D'.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def text(name: String): Options[String]
Creates a parameter expecting an arbitrary text.
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def year(name: String): Options[Year]
Creates a parameter expecting a year in the ISO-8601 format, such as 2007.
- def yearMonth(name: String): Options[YearMonth]
Creates a parameter expecting a year-month in the ISO-8601 format, such as 2007-12..
- def zoneId(name: String): Options[ZoneId]
Creates a parameter expecting a time-zone ID, such as Europe/Paris.
- def zoneOffset(name: String): Options[ZoneOffset]
Creates a parameter expecting a time-zone offset from Greenwich/UTC, such as +02:00.
- def zonedDateTime(name: String): Options[ZonedDateTime]
Creates a date-time with a time-zone in the ISO-8601 format, such as 2007-12-03T10:15:30+01:00 Europe/Paris.
- case object Empty extends Options[Unit] with Product with Serializable