object Options
- Alphabetic
- By Inheritance
- Options
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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) 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( ... ) @native() @IntrinsicCandidate()
-
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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
file(name: String, exists: Exists = Exists.Either): Options[Path]
Creates a parameter expecting path to the file.
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
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() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
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]
Creates a 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(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
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.
- object Empty extends Options[Unit] with Product with Serializable