Utils.IPAddr

Definitions

record IPv4Addr : Type

Totality: total
Visibility: public export
Constructor: 

MkIPv4Addr : Vect 4 Bits8 -> IPv4Addr

Projection: 

.body : IPv4Addr -> Vect 4 Bits8

Hints:

Eq IPv4Addr

Show IPv4Addr

.body : IPv4Addr -> Vect 4 Bits8

Visibility: public export

body : IPv4Addr -> Vect 4 Bits8

Visibility: public export

record IPv6Addr : Type

Totality: total
Visibility: public export
Constructor: 

MkIPv6Addr : Vect 16 Bits8 -> IPv6Addr

Projection: 

.body : IPv6Addr -> Vect 16 Bits8

Hints:

Eq IPv6Addr

Show IPv6Addr

.body : IPv6Addr -> Vect 16 Bits8

Visibility: public export

body : IPv6Addr -> Vect 16 Bits8

Visibility: public export

parse_ipv4 : String -> Either String IPv4Addr

Visibility: export

parse_ipv6 : String -> Either String IPv6Addr

Visibility: export