Ipv6.dcl 432 Bytes
Newer Older
Mart Lubbers's avatar
Mart Lubbers committed
1 2 3 4 5 6 7
definition module System.Socket.Ipv6

from StdOverloaded import class toString
from Network.IP import :: IPAddress
from StdMaybe import :: Maybe
from System.Socket import class SocketAddress

Mart Lubbers's avatar
Mart Lubbers committed
8
:: Ipv6SocketAddress =
Mart Lubbers's avatar
Mart Lubbers committed
9 10 11 12
	{ ipv6_socket_port     :: !Int
	, ipv6_socket_flowinfo :: !Int
	, ipv6_socket_addr     :: !Maybe String
	, ipv6_socket_scope_id :: !Int
Mart Lubbers's avatar
Mart Lubbers committed
13
	}
Mart Lubbers's avatar
Mart Lubbers committed
14 15
instance SocketAddress Ipv6SocketAddress
instance toString Ipv6SocketAddress