This module contains Lean representations of IP and socket addresses:
IPv4Addr
: Representing IPv4 addresses.SocketAddressV4
: Representing a pair of IPv4 address and port.IPv6Addr
: Representing IPv6 addresses.SocketAddressV6
: Representing a pair of IPv6 address and port.IPAddr
: Can either be anIPv4Addr
or anIPv6Addr
.SocketAddress
: Can either be aSocketAddressV4
orSocketAddressV6
.
Representation of a MAC address.
This structure represents the address:
octets[0]:octets[1]:octets[2]:octets[3]:octets[4]:octets[5]
.
Instances For
Representation of an IPv4 address.
This structure represents the address:
octets[0].octets[1].octets[2].octets[3]
.
Instances For
Representation of an IPv6 address.
This structure represents the address:
segments[0]:segments[1]:...
.
Instances For
Either a SocketAddressV4
or SocketAddressV6
.
- v4 (addr : SocketAddressV4) : SocketAddress
- v6 (addr : SocketAddressV6) : SocketAddress
Instances For
The kinds of address families supported by Lean, currently only IP variants.
- ipv4 : AddressFamily
- ipv6 : AddressFamily
Instances For
Build the IPv4 address a.b.c.d
.
Equations
Instances For
Try to parse s
as an IPv4 address, returning none
on failure.
Equations
Build the IPv6 address a:b:c:d:e:f:g:h
.
Equations
Instances For
Equations
Represents an interface address, including details such as the interface name, whether it is internal, the associated address, and the network mask.
- name : String
The name of the network interface.
- physicalAddress : MACAddr
- isLoopback : Bool
Indicates whether the interface is a loopback interface.
- address : IPAddr
The IP address assigned to the interface.
- netMask : IPAddr
The subnet mask associated with the interface.
Instances For
Gets address information about the network interfaces on the system, including disabled ones and multiple addresses for each interface.