Network.DNS

This module provides Domain Name System data structures and (de)serialization routines.

Documentation

data HostName

Host name.

Instances

Read HostName

Defined in Network.DNS

Methods

readsPrec :: Int -> ReadS HostName

readList :: ReadS [HostName]

readPrec :: ReadPrec HostName

readListPrec :: ReadPrec [HostName]

Show HostName

Defined in Network.DNS

Methods

showsPrec :: Int -> HostName -> ShowS

show :: HostName -> String

showList :: [HostName] -> ShowS

Printable HostName

Defined in Network.DNS

Methods

print :: Printer p => HostName -> p

Textual HostName

Defined in Network.DNS

Methods

textual :: (Monad μ, CharParsing μ) => μ HostName

Eq HostName

Defined in Network.DNS

Methods

(==) :: HostName -> HostName -> Bool

(/=) :: HostName -> HostName -> Bool

Ord HostName

Defined in Network.DNS

Methods

compare :: HostName -> HostName -> Ordering

(<) :: HostName -> HostName -> Bool

(<=) :: HostName -> HostName -> Bool

(>) :: HostName -> HostName -> Bool

(>=) :: HostName -> HostName -> Bool

max :: HostName -> HostName -> HostName

min :: HostName -> HostName -> HostName

Hashable HostName

Defined in Network.DNS

Methods

hashWithSalt :: Int -> HostName -> Int

hash :: HostName -> Int

Printable (InetAddr HostName)

Defined in Network.DNS

Methods

print :: Printer p => InetAddr HostName -> p

Textual (InetAddr HostName)

Defined in Network.DNS

Methods

textual :: (Monad μ, CharParsing μ) => μ (InetAddr HostName)

aHostName :: Proxy HostName

HostName proxy value.

hostName :: HostName -> ByteString

Host name as a ByteString.

hostNameLabels :: HostName -> [ByteString]

List the HostName labels:

  hostNameLabels (fromJust (fromString "www.google.com")) = ["www", "google", "com"]

arpaHostName :: IP -> HostName

Host name for reverse DNS lookups.

  toString (arpaHostName (IPv4 (ip4FromOctets 1 2 3 4))) = "4.3.2.1.in-addr.arpa"
  toString (arpaHostName (IPv6 (ip6FromWords 1 2 3 4 5 6 7 8))) = "8.0.0.0.7.0.0.0.6.0.0.0.5.0.0.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.ip6.arpa"

data HostAddr a

Host address. Either a host name or an IP address.

Constructors

HostName !HostName

HostAddr !a

Instances

Read a => Read (HostAddr a)

Defined in Network.DNS

Methods

readsPrec :: Int -> ReadS (HostAddr a)

readList :: ReadS [HostAddr a]

readPrec :: ReadPrec (HostAddr a)

readListPrec :: ReadPrec [HostAddr a]

Show a => Show (HostAddr a)

Defined in Network.DNS

Methods

showsPrec :: Int -> HostAddr a -> ShowS

show :: HostAddr a -> String

showList :: [HostAddr a] -> ShowS

Printable a => Printable (HostAddr a)

Defined in Network.DNS

Methods

print :: Printer p => HostAddr a -> p

Printable (InetAddr a) => Printable (InetAddr (HostAddr a))

Defined in Network.DNS

Methods

print :: Printer p => InetAddr (HostAddr a) -> p

Textual a => Textual (HostAddr a)

Defined in Network.DNS

Methods

textual :: (Monad μ, CharParsing μ) => μ (HostAddr a)

Textual (InetAddr a) => Textual (InetAddr (HostAddr a))

Defined in Network.DNS

Methods

textual :: (Monad μ, CharParsing μ) => μ (InetAddr (HostAddr a))

Eq a => Eq (HostAddr a)

Defined in Network.DNS

Methods

(==) :: HostAddr a -> HostAddr a -> Bool

(/=) :: HostAddr a -> HostAddr a -> Bool

Ord a => Ord (HostAddr a)

Defined in Network.DNS

Methods

compare :: HostAddr a -> HostAddr a -> Ordering

(<) :: HostAddr a -> HostAddr a -> Bool

(<=) :: HostAddr a -> HostAddr a -> Bool

(>) :: HostAddr a -> HostAddr a -> Bool

(>=) :: HostAddr a -> HostAddr a -> Bool

max :: HostAddr a -> HostAddr a -> HostAddr a

min :: HostAddr a -> HostAddr a -> HostAddr a

type Host4Addr = HostAddr IP4

type Host6Addr = HostAddr IP6

aHostAddr :: Proxy HostAddr

HostAddr proxy value.

aHostAddrOf :: Proxy a -> Proxy (HostAddr a)

HostAddr a proxy value.

aHost4Addr :: Proxy Host4Addr

Host4Addr proxy value.

aHost6Addr :: Proxy Host6Addr

Host6Addr proxy value.

aHostAddrIP :: Proxy (HostAddr IP)

HostAddr IP proxy value.

type DnsId = Word16

Message identifier.

data DnsType α where

Resource Record type.

Constructors

AddrDnsType :: DnsType IP4

Addr6DnsType :: DnsType IP6

NsDnsType :: DnsType HostName

CNameDnsType :: DnsType HostName

PtrDnsType :: DnsType HostName

MxDnsType :: DnsType (Word16, HostName)

Instances

Show (DnsType α)

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsType α -> ShowS

show :: DnsType α -> String

showList :: [DnsType α] -> ShowS

Eq (DnsType α)

Defined in Network.DNS

Methods

(==) :: DnsType α -> DnsType α -> Bool

(/=) :: DnsType α -> DnsType α -> Bool

dnsTypeCode :: DnsType α -> Word16

Numeric representation of a Resource Record type.

data DnsData

Resource Record data.

Constructors

forall α. DnsData

Fields

• dnsType :: !(DnsType α)

  The type

• dnsData :: α

  The data

Instances

Show DnsData

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsData -> ShowS

show :: DnsData -> String

showList :: [DnsData] -> ShowS

data DnsRecord

Resource Record.

Constructors

DnsRecord

Fields

• dnsRecOwner :: !HostName

  Record owner

• dnsRecTtl :: !Word32

  Maximum caching time in secords

• dnsRecData :: !DnsData

  Record data

Instances

Show DnsRecord

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsRecord -> ShowS

show :: DnsRecord -> String

showList :: [DnsRecord] -> ShowS

data DnsQType

DNS query type.

Constructors

forall α. StdDnsType (DnsType α)

Record type

AllDnsType

All record types

Instances

Show DnsQType

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsQType -> ShowS

show :: DnsQType -> String

showList :: [DnsQType] -> ShowS

Deserializable DnsQType

Defined in Network.DNS

Methods

get :: Deserializer μ => μ DnsQType

Serializable DnsQType

Defined in Network.DNS

Methods

put :: Serializer s => DnsQType -> s

SizedSerializable DnsQType

Defined in Network.DNS

Methods

size :: Proxy DnsQType -> Int

Eq DnsQType

Defined in Network.DNS

Methods

(==) :: DnsQType -> DnsQType -> Bool

(/=) :: DnsQType -> DnsQType -> Bool

Ord DnsQType

Defined in Network.DNS

Methods

compare :: DnsQType -> DnsQType -> Ordering

(<) :: DnsQType -> DnsQType -> Bool

(<=) :: DnsQType -> DnsQType -> Bool

(>) :: DnsQType -> DnsQType -> Bool

(>=) :: DnsQType -> DnsQType -> Bool

max :: DnsQType -> DnsQType -> DnsQType

min :: DnsQType -> DnsQType -> DnsQType

dnsQTypeCode :: DnsQType -> Word16

Numeric representation of a DNS query type.

data DnsQuestion

DNS question.

Constructors

DnsQuestion

Fields

• dnsQName :: !HostName

  Ask about the specified host name

• dnsQType :: !DnsQType

  Query type

Instances

Show DnsQuestion

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsQuestion -> ShowS

show :: DnsQuestion -> String

showList :: [DnsQuestion] -> ShowS

Eq DnsQuestion

Defined in Network.DNS

Methods

(==) :: DnsQuestion -> DnsQuestion -> Bool

(/=) :: DnsQuestion -> DnsQuestion -> Bool

Ord DnsQuestion

Defined in Network.DNS

Methods

compare :: DnsQuestion -> DnsQuestion -> Ordering

(<) :: DnsQuestion -> DnsQuestion -> Bool

(<=) :: DnsQuestion -> DnsQuestion -> Bool

(>) :: DnsQuestion -> DnsQuestion -> Bool

(>=) :: DnsQuestion -> DnsQuestion -> Bool

max :: DnsQuestion -> DnsQuestion -> DnsQuestion

min :: DnsQuestion -> DnsQuestion -> DnsQuestion

data DnsReq

Request message.

Constructors

DnsReq

Standard query

Fields

• dnsReqId :: !DnsId

  Message identifier

• dnsReqTruncd :: !Bool

  Truncation flag

• dnsReqRec :: !Bool

  Recursion flag

• dnsReqQuestion :: !DnsQuestion

  Question

DnsInvReq

Inverse query

Fields

• dnsReqId :: !DnsId

  Message identifier

• dnsReqInv :: !IP

  IP address

Instances

Show DnsReq

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsReq -> ShowS

show :: DnsReq -> String

showList :: [DnsReq] -> ShowS

Deserializable DnsReq

Defined in Network.DNS

Methods

get :: Deserializer μ => μ DnsReq

Serializable DnsReq

Defined in Network.DNS

Methods

put :: Serializer s => DnsReq -> s

data DnsError

Errors returned in responses.

Constructors

FormatDnsError

FailureDnsError

NoNameDnsError

NotImplDnsError

RefusedDnsError

NameExistsDnsError

RsExistsDnsError

NoRsDnsError

NotAuthDnsError

NotInZoneDnsError

Instances

Enum DnsError

Defined in Network.DNS

Methods

succ :: DnsError -> DnsError

pred :: DnsError -> DnsError

toEnum :: Int -> DnsError

fromEnum :: DnsError -> Int

enumFrom :: DnsError -> [DnsError]

enumFromThen :: DnsError -> DnsError -> [DnsError]

enumFromTo :: DnsError -> DnsError -> [DnsError]

enumFromThenTo :: DnsError -> DnsError -> DnsError -> [DnsError]

Read DnsError

Defined in Network.DNS

Methods

readsPrec :: Int -> ReadS DnsError

readList :: ReadS [DnsError]

readPrec :: ReadPrec DnsError

readListPrec :: ReadPrec [DnsError]

Show DnsError

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsError -> ShowS

show :: DnsError -> String

showList :: [DnsError] -> ShowS

Eq DnsError

Defined in Network.DNS

Methods

(==) :: DnsError -> DnsError -> Bool

(/=) :: DnsError -> DnsError -> Bool

Ord DnsError

Defined in Network.DNS

Methods

compare :: DnsError -> DnsError -> Ordering

(<) :: DnsError -> DnsError -> Bool

(<=) :: DnsError -> DnsError -> Bool

(>) :: DnsError -> DnsError -> Bool

(>=) :: DnsError -> DnsError -> Bool

max :: DnsError -> DnsError -> DnsError

min :: DnsError -> DnsError -> DnsError

data DnsResp

Response message.

Constructors

DnsResp

Normal response.

Fields

• dnsRespId :: !DnsId

  Request identifer

• dnsRespTruncd :: !Bool

  Truncation flag

• dnsRespAuthd :: !Bool

  Authoritative answer flag

• dnsRespRec :: !Bool

  Recursive query support flag

• dnsRespQuestion :: !DnsQuestion

  Request question

• dnsRespAnswers :: [DnsRecord]

  Answer records

• dnsRespAuths :: [DnsRecord]

  Authority records

• dnsRespExtras :: [DnsRecord]

  Additional records

DnsErrResp

Error response.

Fields

• dnsRespId :: !DnsId

  Request identifer

• dnsRespError :: !DnsError

  Error

Instances

Show DnsResp

Defined in Network.DNS

Methods

showsPrec :: Int -> DnsResp -> ShowS

show :: DnsResp -> String

showList :: [DnsResp] -> ShowS

Deserializable DnsResp

Defined in Network.DNS

Methods

get :: Deserializer μ => μ DnsResp

Serializable DnsResp

Defined in Network.DNS

Methods

put :: Serializer s => DnsResp -> s