object net
Module for refined types that are related to the Internet protocol suite.
- Source
- net.scala
- Alphabetic
- By Inheritance
- net
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- type DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]
An
Intin the range from 49152 to 65535 representing a port number. - type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]
An
Intin the range from 1024 to 65535 representing a port number. - type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]
An
Intin the range from 0 to 65535 representing a port number. - type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]
A
Stringrepresenting a valid IPv4 in a private network according to RFC1918, RFC5737, RFC3927 or RFC2544 - type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]
A
Stringrepresenting a valid IPv4 in the private network 10.0.0.0/8 (RFC1918) - type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]
A
Stringrepresenting a valid IPv4 in the private network 172.15.0.0/12 (RFC1918) - type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]
A
Stringrepresenting a valid IPv4 in the private network 192.168.0.0/16 (RFC1918) - type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]
A
Stringrepresenting a valid IPv4 in a private network according to RFC1918 - type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]
A
Stringrepresenting a valid IPv4 in the benchmarking network 198.18.0.0/15 (RFC2544) - type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]
A
Stringrepresenting a valid IPv4 in the local link network 169.254.0.0/16 (RFC3927) - type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]
A
Stringrepresenting a valid IPv4 in a private network according to RFC5737 - type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]
A
Stringrepresenting a valid IPv4 in the private network 192.0.2.0/24 (RFC5737) - type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]
A
Stringrepresenting a valid IPv4 in the private network 198.51.100.0/24 (RFC5737) - type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]
A
Stringrepresenting a valid IPv4 in the private network 203.0.113.0/24 (RFC5737) - type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]
An
Intin the range from 0 to 1023 representing a port number. - type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]
An
Intin the range from 1024 to 49151 representing a port number.
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 clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): 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[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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(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()
- object DynamicPortNumber extends RefinedTypeOps[DynamicPortNumber, Int]
- object NonSystemPortNumber extends RefinedTypeOps[NonSystemPortNumber, Int]
- object PortNumber extends RefinedTypeOps[PortNumber, Int]
- object PrivateNetworks
- object SystemPortNumber extends RefinedTypeOps[SystemPortNumber, Int]
- object UserPortNumber extends RefinedTypeOps[UserPortNumber, Int]