{-# LINE 1 "Network/Socket/Info.hsc" #-}{-# LANGUAGE CPP #-}{-# LANGUAGE RecordWildCards #-}{-# OPTIONS_GHC -fno-warn-orphans #-}
#include "HsNetDef.h"
moduleNetwork.Socket.InfowhereimportForeign.Marshal.Alloc(alloca,allocaBytes)importForeign.Marshal.Utils(maybeWith,with)importGHC.IO.Exception(IOErrorType(NoSuchThing))importSystem.IO.Error(ioeSetErrorString,mkIOError)importNetwork.Socket.ImportsimportNetwork.Socket.InternalimportNetwork.Socket.SyscallimportNetwork.Socket.Types------------------------------------------------------------------------------- | Either a host name e.g., @\"haskell.org\"@ or a numeric host-- address string consisting of a dotted decimal IPv4 address or an-- IPv6 address e.g., @\"192.168.0.1\"@.typeHostName=String-- | Either a service name e.g., @\"http\"@ or a numeric port number.typeServiceName=String------------------------------------------------------------------------------- Address and service lookups-- | Flags that control the querying behaviour of 'getAddrInfo'.-- For more information, see <https://tools.ietf.org/html/rfc3493#page-25>dataAddrInfoFlag=-- | The list of returned 'AddrInfo' values will-- only contain IPv4 addresses if the local system has at least-- one IPv4 interface configured, and likewise for IPv6.-- (Only some platforms support this.)AI_ADDRCONFIG-- | If 'AI_ALL' is specified, return all matching IPv6 and-- IPv4 addresses. Otherwise, this flag has no effect.-- (Only some platforms support this.)|AI_ALL-- | The 'addrCanonName' field of the first returned-- 'AddrInfo' will contain the "canonical name" of the host.|AI_CANONNAME-- | The 'HostName' argument /must/ be a numeric-- address in string form, and network name lookups will not be-- attempted.|AI_NUMERICHOST-- | The 'ServiceName' argument /must/ be a port-- number in string form, and service name lookups will not be-- attempted. (Only some platforms support this.)|AI_NUMERICSERV-- | If no 'HostName' value is provided, the network-- address in each 'SockAddr'-- will be left as a "wild card".-- This is useful for server applications that-- will accept connections from any client.|AI_PASSIVE-- | If an IPv6 lookup is performed, and no IPv6-- addresses are found, IPv6-mapped IPv4 addresses will be-- returned. (Only some platforms support this.)|AI_V4MAPPEDderiving(Eq,Read,Show)aiFlagMapping::[(AddrInfoFlag,CInt)]aiFlagMapping=[{-# LINE 72 "Network/Socket/Info.hsc" #-}(AI_ADDRCONFIG,32),{-# LINE 73 "Network/Socket/Info.hsc" #-}{-# LINE 76 "Network/Socket/Info.hsc" #-}{-# LINE 77 "Network/Socket/Info.hsc" #-}(AI_ALL,16),{-# LINE 78 "Network/Socket/Info.hsc" #-}{-# LINE 81 "Network/Socket/Info.hsc" #-}(AI_CANONNAME,2),{-# LINE 82 "Network/Socket/Info.hsc" #-}(AI_NUMERICHOST,4),{-# LINE 83 "Network/Socket/Info.hsc" #-}{-# LINE 84 "Network/Socket/Info.hsc" #-}(AI_NUMERICSERV,1024),{-# LINE 85 "Network/Socket/Info.hsc" #-}{-# LINE 88 "Network/Socket/Info.hsc" #-}(AI_PASSIVE,1),{-# LINE 89 "Network/Socket/Info.hsc" #-}{-# LINE 90 "Network/Socket/Info.hsc" #-}(AI_V4MAPPED,8){-# LINE 91 "Network/Socket/Info.hsc" #-}{-# LINE 94 "Network/Socket/Info.hsc" #-}]-- | Indicate whether the given 'AddrInfoFlag' will have any effect on-- this system.addrInfoFlagImplemented::AddrInfoFlag->BooladdrInfoFlagImplementedf=packBitsaiFlagMapping[f]/=0dataAddrInfo=AddrInfo{addrFlags::[AddrInfoFlag],addrFamily::Family,addrSocketType::SocketType,addrProtocol::ProtocolNumber,addrAddress::SockAddr,addrCanonName::MaybeString}deriving(Eq,Show)instanceStorableAddrInfowheresizeOf_=48{-# LINE 112 "Network/Socket/Info.hsc" #-}alignment_=alignment(0::CInt)peekp=doai_flags<-((\hsc_ptr->peekByteOffhsc_ptr0))p{-# LINE 116 "Network/Socket/Info.hsc" #-}ai_family<-((\hsc_ptr->peekByteOffhsc_ptr4))p{-# LINE 117 "Network/Socket/Info.hsc" #-}ai_socktype<-((\hsc_ptr->peekByteOffhsc_ptr8))p{-# LINE 118 "Network/Socket/Info.hsc" #-}ai_protocol<-((\hsc_ptr->peekByteOffhsc_ptr12))p{-# LINE 119 "Network/Socket/Info.hsc" #-}ai_addr<-((\hsc_ptr->peekByteOffhsc_ptr24))p>>=peekSockAddr{-# LINE 120 "Network/Socket/Info.hsc" #-}ai_canonname_ptr<-((\hsc_ptr->peekByteOffhsc_ptr32))p{-# LINE 121 "Network/Socket/Info.hsc" #-}ai_canonname<-ifai_canonname_ptr==nullPtrthenreturnNothingelseJust<$>peekCStringai_canonname_ptrreturn$AddrInfo{addrFlags=unpackBitsaiFlagMappingai_flags,addrFamily=unpackFamilyai_family,addrSocketType=unpackSocketTypeai_socktype,addrProtocol=ai_protocol,addrAddress=ai_addr,addrCanonName=ai_canonname}pokep(AddrInfoflagsfamilysockTypeprotocol__)=doletc_stype=packSocketTypesockType((\hsc_ptr->pokeByteOffhsc_ptr0))p(packBitsaiFlagMappingflags){-# LINE 139 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr4))p(packFamilyfamily){-# LINE 140 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr8))pc_stype{-# LINE 141 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr12))pprotocol{-# LINE 142 "Network/Socket/Info.hsc" #-}-- stuff below is probably not needed, but let's zero it for safety((\hsc_ptr->pokeByteOffhsc_ptr16))p(0::CSize){-# LINE 146 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr24))pnullPtr{-# LINE 147 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr32))pnullPtr{-# LINE 148 "Network/Socket/Info.hsc" #-}((\hsc_ptr->pokeByteOffhsc_ptr40))pnullPtr{-# LINE 149 "Network/Socket/Info.hsc" #-}-- | Flags that control the querying behaviour of 'getNameInfo'.-- For more information, see <https://tools.ietf.org/html/rfc3493#page-30>dataNameInfoFlag=-- | Resolve a datagram-based service name. This is-- required only for the few protocols that have different port-- numbers for their datagram-based versions than for their-- stream-based versions.NI_DGRAM-- | If the hostname cannot be looked up, an IO error is thrown.|NI_NAMEREQD-- | If a host is local, return only the hostname part of the FQDN.|NI_NOFQDN-- | The name of the host is not looked up.-- Instead, a numeric representation of the host's-- address is returned. For an IPv4 address, this will be a-- dotted-quad string. For IPv6, it will be colon-separated-- hexadecimal.|NI_NUMERICHOST-- | The name of the service is not-- looked up. Instead, a numeric representation of the-- service is returned.|NI_NUMERICSERVderiving(Eq,Read,Show)niFlagMapping::[(NameInfoFlag,CInt)]niFlagMapping=[(NI_DGRAM,16),{-# LINE 177 "Network/Socket/Info.hsc" #-}(NI_NAMEREQD,8),{-# LINE 178 "Network/Socket/Info.hsc" #-}(NI_NOFQDN,4),{-# LINE 179 "Network/Socket/Info.hsc" #-}(NI_NUMERICHOST,1),{-# LINE 180 "Network/Socket/Info.hsc" #-}(NI_NUMERICSERV,2)]{-# LINE 181 "Network/Socket/Info.hsc" #-}-- | Default hints for address lookup with 'getAddrInfo'.---- >>> addrFlags defaultHints-- []-- >>> addrFamily defaultHints-- AF_UNSPEC-- >>> addrSocketType defaultHints-- NoSocketType-- >>> addrProtocol defaultHints-- 0defaultHints::AddrInfodefaultHints=AddrInfo{addrFlags=[],addrFamily=AF_UNSPEC,addrSocketType=NoSocketType,addrProtocol=defaultProtocol,addrAddress=SockAddrInet00,addrCanonName=Nothing}------------------------------------------------------------------------------- | Resolve a host or service name to one or more addresses.-- The 'AddrInfo' values that this function returns contain 'SockAddr'-- values that you can pass directly to 'connect' or-- 'bind'.---- This function is protocol independent. It can return both IPv4 and-- IPv6 address information.---- The 'AddrInfo' argument specifies the preferred query behaviour,-- socket options, or protocol. You can override these conveniently-- using Haskell's record update syntax on 'defaultHints', for example-- as follows:---- >>> let hints = defaultHints { addrFlags = [AI_NUMERICHOST], addrSocketType = Stream }---- You must provide a 'Just' value for at least one of the 'HostName'-- or 'ServiceName' arguments. 'HostName' can be either a numeric-- network address (dotted quad for IPv4, colon-separated hex for-- IPv6) or a hostname. In the latter case, its addresses will be-- looked up unless 'AI_NUMERICHOST' is specified as a hint. If you-- do not provide a 'HostName' value /and/ do not set 'AI_PASSIVE' as-- a hint, network addresses in the result will contain the address of-- the loopback interface.---- If the query fails, this function throws an IO exception instead of-- returning an empty list. Otherwise, it returns a non-empty list-- of 'AddrInfo' values.---- There are several reasons why a query might result in several-- values. For example, the queried-for host could be multihomed, or-- the service might be available via several protocols.---- Note: the order of arguments is slightly different to that defined-- for @getaddrinfo@ in RFC 2553. The 'AddrInfo' parameter comes first-- to make partial application easier.---- >>> addr:_ <- getAddrInfo (Just hints) (Just "127.0.0.1") (Just "http")-- >>> addrAddress addr-- 127.0.0.1:80getAddrInfo::MaybeAddrInfo-- ^ preferred socket type or protocol->MaybeHostName-- ^ host name to look up->MaybeServiceName-- ^ service name to look up->IO[AddrInfo]-- ^ resolved addresses, with "best" firstgetAddrInfohintsnodeservice=allocgetaddrinfowhereallocbody=withSocketsDo$maybeWithwithCStringnode$\c_node->maybeWithwithCStringservice$\c_service->maybeWithwithfilteredHints$\c_hints->alloca$\ptr_ptr_addrs->bodyc_nodec_servicec_hintsptr_ptr_addrsgetaddrinfoc_nodec_servicec_hintsptr_ptr_addrs=doret<-c_getaddrinfoc_nodec_servicec_hintsptr_ptr_addrsifret==0thendoptr_addrs<-peekptr_ptr_addrsais<-followAddrInfoptr_addrsc_freeaddrinfoptr_addrs-- POSIX requires that getaddrinfo(3) returns at least one addrinfo.-- See: http://pubs.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.htmlcaseaisof[]->ioError$mkIOErrorNoSuchThingmessageNothingNothing_->returnaiselsedoerr<-gai_strerrorretioError$ioeSetErrorString(mkIOErrorNoSuchThingmessageNothingNothing)errmessage=concat["Network.Socket.getAddrInfo (called with preferred socket type/protocol: ",maybe"Nothing"showhints,", host name: ",shownode,", service name: ",showservice,")"]{-# LINE 290 "Network/Socket/Info.hsc" #-}filteredHints=hints{-# LINE 292 "Network/Socket/Info.hsc" #-}followAddrInfo::PtrAddrInfo->IO[AddrInfo]followAddrInfoptr_ai|ptr_ai==nullPtr=return[]|otherwise=doa<-peekptr_aias<-((\hsc_ptr->peekByteOffhsc_ptr40))ptr_ai>>=followAddrInfo{-# LINE 299 "Network/Socket/Info.hsc" #-}return(a:as)foreignimportccallsafe"hsnet_getaddrinfo"c_getaddrinfo::CString->CString->PtrAddrInfo->Ptr(PtrAddrInfo)->IOCIntforeignimportccallsafe"hsnet_freeaddrinfo"c_freeaddrinfo::PtrAddrInfo->IO()gai_strerror::CInt->IOString{-# LINE 311 "Network/Socket/Info.hsc" #-}gai_strerrorn=c_gai_strerrorn>>=peekCStringforeignimportccallsafe"gai_strerror"c_gai_strerror::CInt->IOCString{-# LINE 318 "Network/Socket/Info.hsc" #-}-----------------------------------------------------------------------------withCStringIf::Bool->Int->(CSize->CString->IOa)->IOawithCStringIfFalse_f=f0nullPtrwithCStringIfTruenf=allocaBytesn(f(fromIntegraln))-- | Resolve an address to a host or service name.-- This function is protocol independent.-- The list of 'NameInfoFlag' values controls query behaviour.---- If a host or service's name cannot be looked up, then the numeric-- form of the address or service will be returned.---- If the query fails, this function throws an IO exception.---- >>> addr:_ <- getAddrInfo (Just defaultHints) (Just "127.0.0.1") (Just "http")-- >>> getNameInfo [NI_NUMERICHOST, NI_NUMERICSERV] True True $ addrAddress addr-- (Just "127.0.0.1",Just "80"){-
-- >>> getNameInfo [] True True $ addrAddress addr
-- (Just "localhost",Just "http")
-}getNameInfo::[NameInfoFlag]-- ^ flags to control lookup behaviour->Bool-- ^ whether to look up a hostname->Bool-- ^ whether to look up a service name->SockAddr-- ^ the address to look up->IO(MaybeHostName,MaybeServiceName)getNameInfoflagsdoHostdoServiceaddr=allocgetnameinfowhereallocbody=withSocketsDo$withCStringIfdoHost(1025)$\c_hostlenc_host->{-# LINE 351 "Network/Socket/Info.hsc" #-}withCStringIfdoService(32)$\c_servlenc_serv->{-# LINE 352 "Network/Socket/Info.hsc" #-}withSockAddraddr$\ptr_addrsz->bodyc_hostlenc_hostc_servlenc_servptr_addrszgetnameinfoc_hostlenc_hostc_servlenc_servptr_addrsz=doret<-c_getnameinfoptr_addr(fromIntegralsz)c_hostc_hostlenc_servc_servlen(packBitsniFlagMappingflags)ifret==0thendoletpeekIfdoIfc_val=ifdoIfthenJust<$>peekCStringc_valelsereturnNothinghost<-peekIfdoHostc_hostserv<-peekIfdoServicec_servreturn(host,serv)elsedoerr<-gai_strerrorretioError$ioeSetErrorString(mkIOErrorNoSuchThingmessageNothingNothing)errmessage=concat["Network.Socket.getNameInfo (called with flags: ",showflags,", hostname lookup: ",showdoHost,", service name lookup: ",showdoService,", socket address: ",showaddr,")"]foreignimportccallsafe"hsnet_getnameinfo"c_getnameinfo::PtrSockAddr->CInt{-CSockLen???-}->CString->CSize->CString->CSize->CInt->IOCInt-- | Pack a list of values into a bitmask. The possible mappings from-- value to bit-to-set are given as the first argument. We assume-- that each value can cause exactly one bit to be set; unpackBits will-- break if this property is not true.-----------------------------------------------------------------------------packBits::(Eqa,Numb,Bitsb)=>[(a,b)]->[a]->bpackBitsmappingxs=foldl'pack0mappingwherepackacc(k,v)|k`elem`xs=acc.|.v|otherwise=acc-- | Unpack a bitmask into a list of values.unpackBits::(Numb,Bitsb)=>[(a,b)]->b->[a]-- Be permissive and ignore unknown bit values. At least on OS X,-- getaddrinfo returns an ai_flags field with bits set that have no-- entry in <netdb.h>.unpackBits[]_=[]unpackBits((k,v):xs)r|r.&.v/=0=k:unpackBitsxs(r.&.complementv)|otherwise=unpackBitsxsr------------------------------------------------------------------------------- SockAddrinstanceShowSockAddrwhere{-# LINE 417 "Network/Socket/Info.hsc" #-}showsPrec_(SockAddrUnixstr)=showStringstr{-# LINE 421 "Network/Socket/Info.hsc" #-}showsPrec_(SockAddrInetportha)=showHostAddressha.showString":".showsportshowsPrec_(SockAddrInet6port_ha6_)=showChar'['.showHostAddress6ha6.showString"]:".showsport-- Taken from on the implementation of showIPv4 in Data.IP.AddrshowHostAddress::HostAddress->ShowSshowHostAddressip=let(u3,u2,u1,u0)=hostAddressToTupleipinfoldr1(.).intersperse(showChar'.')$mapshowInt[u3,u2,u1,u0]-- Taken from showIPv6 in Data.IP.Addr.-- | Show an IPv6 address in the most appropriate notation, based on recommended-- representation proposed by <http://tools.ietf.org/html/rfc5952 RFC 5952>.---- /The implementation is completely compatible with the current implementation-- of the `inet_ntop` function in glibc./showHostAddress6::HostAddress6->ShowSshowHostAddress6ha6@(a1,a2,a3,a4)-- IPv4-Mapped IPv6 Address|a1==0&&a2==0&&a3==0xffff=showString"::ffff:".showHostAddressa4-- IPv4-Compatible IPv6 Address (exclude IPRange ::/112)|a1==0&&a2==0&&a3==0&&a4>=0x10000=showString"::".showHostAddressa4-- length of longest run > 1, replace it with "::"|end-begin>1=showFieldsprefix.showString"::".showFieldssuffix|otherwise=showFieldsfieldswherefields=let(u7,u6,u5,u4,u3,u2,u1,u0)=hostAddress6ToTupleha6in[u7,u6,u5,u4,u3,u2,u1,u0]showFields=foldr(.)id.intersperse(showChar':').mapshowHexprefix=takebeginfields-- fields before "::"suffix=dropendfields-- fields after "::"begin=end+diff-- the longest run of zeros(diff,end)=minimum$scanl(\ci->ifi==0thenc-1else0)0fields`zip`[0..]------------------------------------------------------------------------------- | A utility function to open a socket with `AddrInfo`.-- This is a just wrapper for the following code:---- > \addr -> socket (addrFamily addr) (addrSocketType addr) (addrProtocol addr)openSocket::AddrInfo->IOSocketopenSocketaddr=socket(addrFamilyaddr)(addrSocketTypeaddr)(addrProtocoladdr)