System.UV.DNS

Definitions

record SockInfo : Type

Totality: total
Visibility: public export
Constructor: 

SI : SockFamily -> SockType -> Protocol -> SockInfo

Projections:

.family : SockInfo -> SockFamily

.protocol : SockInfo -> Protocol

.type : SockInfo -> SockType

.family : SockInfo -> SockFamily

Totality: total
Visibility: public export

family : SockInfo -> SockFamily

Totality: total
Visibility: public export

.type : SockInfo -> SockType

Totality: total
Visibility: public export

type : SockInfo -> SockType

Totality: total
Visibility: public export

.protocol : SockInfo -> Protocol

Totality: total
Visibility: public export

protocol : SockInfo -> Protocol

Totality: total
Visibility: public export

addrInfo : UVLoop => Has UVError es => String -> String -> SockInfo -> Async es (Ptr AddrInfo)

Totality: total
Visibility: export