net

Type Members

1. 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

2. 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

3. 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

4. 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

5. type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

   A String representing a valid IPv4 in the private network 10.

   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]

   A String representing a valid IPv4 in the private network 172.

   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]

   A String representing a valid IPv4 in the private network 192.

   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]

   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]

   A String representing a valid IPv4 in the benchmarking network 198.

   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]

    A String representing a valid IPv4 in the local link network 169.

    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]

    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]

    A String representing a valid IPv4 in the private network 192.

    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]

    A String representing a valid IPv4 in the private network 198.

    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]

    A String representing a valid IPv4 in the private network 203.

    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)]]

    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)]]

    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