Object

eu.timepit.refined.types

net

Related Doc: package types

Permalink

object net extends NetTypes

Module for refined types that are related to the Internet protocol suite.

Source
net.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. net
  2. NetTypes
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

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

    Permalink

    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
  2. type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]

    Permalink

    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
  3. type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]

    Permalink

    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
  4. type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]

    Permalink

    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
  5. type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

    Permalink

    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
  6. type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]

    Permalink

    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
  7. type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]

    Permalink

    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
  8. type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]

    Permalink

    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
  9. type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]

    Permalink

    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
  10. type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]

    Permalink

    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
  11. type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]

    Permalink

    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
  12. type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]

    Permalink

    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
  13. type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]

    Permalink

    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
  14. type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]

    Permalink

    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
  15. type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]

    Permalink

    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
  16. type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]

    Permalink

    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

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object DynamicPortNumber extends RefinedTypeOps[DynamicPortNumber, Int]

    Permalink
    Definition Classes
    NetTypes
  5. object NonSystemPortNumber extends RefinedTypeOps[NonSystemPortNumber, Int]

    Permalink
    Definition Classes
    NetTypes
  6. object PortNumber extends RefinedTypeOps[PortNumber, Int]

    Permalink
    Definition Classes
    NetTypes
  7. object PrivateNetworks

    Permalink
    Definition Classes
    NetTypes
  8. object SystemPortNumber extends RefinedTypeOps[SystemPortNumber, Int]

    Permalink
    Definition Classes
    NetTypes
  9. object UserPortNumber extends RefinedTypeOps[UserPortNumber, Int]

    Permalink
    Definition Classes
    NetTypes
  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. def clone(): AnyRef

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

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

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

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

    Permalink
    Definition Classes
    AnyRef
  19. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. final def notifyAll(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  22. def toString(): String

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from NetTypes

Inherited from AnyRef

Inherited from Any

Ungrouped