AllTypes

Type Members

type Day = Refined[Int, Closed[Int(1), Int(31)]]

An Int in the range from 1 to 31 representing the day-of-month.
An Int in the range from 1 to 31 representing the day-of-month. Note that the days from 29 to 31 are not valid for all months.

Definition Classes
TimeTypes
type DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]

An Int in the range from 49152 to 65535 representing a port number.
An Int in the range from 49152 to 65535 representing a port number.

Definition Classes
NetTypes
type Hour = Refined[Int, Closed[Int(0), Int(23)]]

An Int in the range from 0 to 23 representing the hour-of-day.
An Int in the range from 0 to 23 representing the hour-of-day.

Definition Classes
TimeTypes
type LowerCaseChar = Refined[Char, LowerCase]

A Char that is a lower case character.
A Char that is a lower case character.

Definition Classes
CharTypes
type Millis = Refined[Int, Closed[Int(0), Int(999)]]

An Int in the range from 0 to 999 representing the millisecond-of-second.
An Int in the range from 0 to 999 representing the millisecond-of-second.

Definition Classes
TimeTypes
type Minute = Refined[Int, Closed[Int(0), Int(59)]]

An Int in the range from 0 to 59 representing the minute-of-hour.
An Int in the range from 0 to 59 representing the minute-of-hour.

Definition Classes
TimeTypes
type Month = Refined[Int, Closed[Int(1), Int(12)]]

An Int in the range from 1 to 12 representing the month-of-year.
An Int in the range from 1 to 12 representing the month-of-year.

Definition Classes
TimeTypes
type NegInt = Refined[Int, Negative]

An Int in the range from Int.MinValue to -1.
An Int in the range from Int.MinValue to -1.

Definition Classes
NumericTypes
type NegLong = Refined[Long, Negative]

A Long in the range from Long.MinValue to -1.
A Long in the range from Long.MinValue to -1.

Definition Classes
NumericTypes
type NonEmptyString = Refined[String, NonEmpty]

A String that is not empty.
A String that is not empty.

Definition Classes
StringTypes
type NonNegInt = Refined[Int, NonNegative]

An Int in the range from 0 to Int.MaxValue.
An Int in the range from 0 to Int.MaxValue.

Definition Classes
NumericTypes
type NonNegLong = Refined[Long, NonNegative]

A Long in the range from 0 to Long.MaxValue.
A Long in the range from 0 to Long.MaxValue.

Definition Classes
NumericTypes
type NonPosInt = Refined[Int, NonPositive]

An Int in the range from Int.MinValue to 0.
An Int in the range from Int.MinValue to 0.

Definition Classes
NumericTypes
type NonPosLong = Refined[Long, NonPositive]

A Long in the range from Long.MinValue to 0.
A Long in the range from Long.MinValue to 0.

Definition Classes
NumericTypes
type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]

An Int in the range from 1024 to 65535 representing a port number.
An Int in the range from 1024 to 65535 representing a port number.

Definition Classes
NetTypes
type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]

An Int in the range from 0 to 65535 representing a port number.
An Int in the range from 0 to 65535 representing a port number.

Definition Classes
NetTypes
type PosInt = Refined[Int, Positive]

An Int in the range from 1 to Int.MaxValue.
An Int in the range from 1 to Int.MaxValue.

Definition Classes
NumericTypes
type PosLong = Refined[Long, Positive]

A Long in the range from 1 to Long.MaxValue.
A Long in the range from 1 to Long.MaxValue.

Definition Classes
NumericTypes
type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]

A String representing a valid IPv4 in a private network according to RFC1918, RFC5737, RFC3927 or RFC2544
A String representing a valid IPv4 in a private network according to RFC1918, RFC5737, RFC3927 or RFC2544

Definition Classes
NetTypes
type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

A String representing a valid IPv4 in the private network 10.0.0.0/8 (RFC1918)
A String representing a valid IPv4 in the private network 10.0.0.0/8 (RFC1918)

Definition Classes
NetTypes
type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]

A String representing a valid IPv4 in the private network 172.15.0.0/12 (RFC1918)
A String representing a valid IPv4 in the private network 172.15.0.0/12 (RFC1918)

Definition Classes
NetTypes
type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]

A String representing a valid IPv4 in the private network 192.168.0.0/16 (RFC1918)
A String representing a valid IPv4 in the private network 192.168.0.0/16 (RFC1918)

Definition Classes
NetTypes
type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]

A String representing a valid IPv4 in a private network according to RFC1918
A String representing a valid IPv4 in a private network according to RFC1918

Definition Classes
NetTypes
type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]

A String representing a valid IPv4 in the benchmarking network 198.18.0.0/15 (RFC2544)
A String representing a valid IPv4 in the benchmarking network 198.18.0.0/15 (RFC2544)

Definition Classes
NetTypes
type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]

A String representing a valid IPv4 in the local link network 169.254.0.0/16 (RFC3927)
A String representing a valid IPv4 in the local link network 169.254.0.0/16 (RFC3927)

Definition Classes
NetTypes
type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]

A String representing a valid IPv4 in a private network according to RFC5737
A String representing a valid IPv4 in a private network according to RFC5737

Definition Classes
NetTypes
type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]

A String representing a valid IPv4 in the private network 192.0.2.0/24 (RFC5737)
A String representing a valid IPv4 in the private network 192.0.2.0/24 (RFC5737)

Definition Classes
NetTypes
type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]

A String representing a valid IPv4 in the private network 198.51.100.0/24 (RFC5737)
A String representing a valid IPv4 in the private network 198.51.100.0/24 (RFC5737)

Definition Classes
NetTypes
type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]

A String representing a valid IPv4 in the private network 203.0.113.0/24 (RFC5737)
A String representing a valid IPv4 in the private network 203.0.113.0/24 (RFC5737)

Definition Classes
NetTypes
type Second = Refined[Int, Closed[Int(0), Int(59)]]

An Int in the range from 0 to 59 representing the second-of-minute.
An Int in the range from 0 to 59 representing the second-of-minute.

Definition Classes
TimeTypes
type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]

An Int in the range from 0 to 1023 representing a port number.
An Int in the range from 0 to 1023 representing a port number.

Definition Classes
NetTypes
type TrimmedString = Refined[String, MatchesRegex[String("^(?!\\s).*(?<!\\s)")]]

A String that contains no leading or trailing whitespace.
A String that contains no leading or trailing whitespace.

Definition Classes
StringTypes
type UpperCaseChar = Refined[Char, UpperCase]

A Char that is an upper case character.
A Char that is an upper case character.

Definition Classes
CharTypes
type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]

An Int in the range from 1024 to 49151 representing a port number.
An Int in the range from 1024 to 49151 representing a port number.

Definition Classes
NetTypes

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
object Day extends RefinedTypeOps[Day, Int]

Definition Classes
TimeTypes
object DynamicPortNumber extends RefinedTypeOps[DynamicPortNumber, Int]

Definition Classes
NetTypes
object Hour extends RefinedTypeOps[Hour, Int]

Definition Classes
TimeTypes
object LowerCaseChar extends RefinedTypeOps[LowerCaseChar, Char]

Definition Classes
CharTypes
object Millis extends RefinedTypeOps[Millis, Int]

Definition Classes
TimeTypes
object Minute extends RefinedTypeOps[Minute, Int]

Definition Classes
TimeTypes
object Month extends RefinedTypeOps[Month, Int]

Definition Classes
TimeTypes
object NegInt extends RefinedTypeOps[NegInt, Int]

Definition Classes
NumericTypes
object NegLong extends RefinedTypeOps[NegLong, Long]

Definition Classes
NumericTypes
object NonEmptyString extends RefinedTypeOps[NonEmptyString, String]

Definition Classes
StringTypes
object NonNegInt extends RefinedTypeOps[NonNegInt, Int]

Definition Classes
NumericTypes
object NonNegLong extends RefinedTypeOps[NonNegLong, Long]

Definition Classes
NumericTypes
object NonPosInt extends RefinedTypeOps[NonPosInt, Int]

Definition Classes
NumericTypes
object NonPosLong extends RefinedTypeOps[NonPosLong, Long]

Definition Classes
NumericTypes
object NonSystemPortNumber extends RefinedTypeOps[NonSystemPortNumber, Int]

Definition Classes
NetTypes
object PortNumber extends RefinedTypeOps[PortNumber, Int]

Definition Classes
NetTypes
object PosInt extends RefinedTypeOps[PosInt, Int]

Definition Classes
NumericTypes
object PosLong extends RefinedTypeOps[PosLong, Long]

Definition Classes
NumericTypes
object PrivateNetworks

Definition Classes
NetTypes
object Second extends RefinedTypeOps[Second, Int]

Definition Classes
TimeTypes
object SystemPortNumber extends RefinedTypeOps[SystemPortNumber, Int]

Definition Classes
NetTypes
object TrimmedString extends RefinedTypeOps[TrimmedString, String]

Definition Classes
StringTypes
object UpperCaseChar extends RefinedTypeOps[UpperCaseChar, Char]

Definition Classes
CharTypes
object UserPortNumber extends RefinedTypeOps[UserPortNumber, Int]

Definition Classes
NetTypes
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package types

trait AllTypes extends CharTypes with NetTypes with NumericTypes with StringTypes with TimeTypes

Type Members

type Day = Refined[Int, Closed[Int(1), Int(31)]]

type DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]

type Hour = Refined[Int, Closed[Int(0), Int(23)]]

type LowerCaseChar = Refined[Char, LowerCase]

type Millis = Refined[Int, Closed[Int(0), Int(999)]]

type Minute = Refined[Int, Closed[Int(0), Int(59)]]

type Month = Refined[Int, Closed[Int(1), Int(12)]]

type NegInt = Refined[Int, Negative]

type NegLong = Refined[Long, Negative]

type NonEmptyString = Refined[String, NonEmpty]

type NonNegInt = Refined[Int, NonNegative]

type NonNegLong = Refined[Long, NonNegative]

type NonPosInt = Refined[Int, NonPositive]

type NonPosLong = Refined[Long, NonPositive]

type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]

type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]

type PosInt = Refined[Int, Positive]

type PosLong = Refined[Long, Positive]

type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]

type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]

type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]

type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]

type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]

type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]

type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]

type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]

type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]

type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]

type Second = Refined[Int, Closed[Int(0), Int(59)]]

type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]

type TrimmedString = Refined[String, MatchesRegex[String("^(?!\\s).*(?<!\\s)")]]

type UpperCaseChar = Refined[Char, UpperCase]

type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Day extends RefinedTypeOps[Day, Int]

object DynamicPortNumber extends RefinedTypeOps[DynamicPortNumber, Int]

object Hour extends RefinedTypeOps[Hour, Int]

object LowerCaseChar extends RefinedTypeOps[LowerCaseChar, Char]

object Millis extends RefinedTypeOps[Millis, Int]

object Minute extends RefinedTypeOps[Minute, Int]

object Month extends RefinedTypeOps[Month, Int]

object NegInt extends RefinedTypeOps[NegInt, Int]

object NegLong extends RefinedTypeOps[NegLong, Long]

object NonEmptyString extends RefinedTypeOps[NonEmptyString, String]

object NonNegInt extends RefinedTypeOps[NonNegInt, Int]

object NonNegLong extends RefinedTypeOps[NonNegLong, Long]

object NonPosInt extends RefinedTypeOps[NonPosInt, Int]

object NonPosLong extends RefinedTypeOps[NonPosLong, Long]

object NonSystemPortNumber extends RefinedTypeOps[NonSystemPortNumber, Int]

object PortNumber extends RefinedTypeOps[PortNumber, Int]

object PosInt extends RefinedTypeOps[PosInt, Int]

object PosLong extends RefinedTypeOps[PosLong, Long]

object PrivateNetworks

object Second extends RefinedTypeOps[Second, Int]

object SystemPortNumber extends RefinedTypeOps[SystemPortNumber, Int]

object TrimmedString extends RefinedTypeOps[TrimmedString, String]

object UpperCaseChar extends RefinedTypeOps[UpperCaseChar, Char]

object UserPortNumber extends RefinedTypeOps[UserPortNumber, Int]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit