Îõ³h$ « û     None ÇIPv6Addr;A four hexadecimal digits group representing a 16-Bit chunkIPv6AddrAn all zeros 16-Bit chunkIPv6Addr!A separator between 16-Bit chunksIPv6AddrÐA double-colon stands for a unique compression of many consecutive 16-Bit chunksIPv6Addr=An embedded IPv4 address as representation of the last 32-BitIPv6AddrReturns ) the text representation of a canonized # in conformation with RFC 5952, or . ÍmaybeIPv6Addr "0:0::FFFF:192.0.2.128" == Just (IPv6Addr "::ffff:192.0.2.128") IPv6AddrReturns  a pure , or . ËmaybePureIPv6Addr "::ffff:192.0.2.128" == Just (IPv6Addr "::ffff:c000:280") IPv6AddrReturns  a pure and fully expanded , or . ãmaybeFullIPv6Addr "::ffff:192.0.2.128" == Just (IPv6Addr "0000:0000:0000:0000:0000:ffff:c000:0280") IPv6AddrReturns  Å if arguments are two textual representations of a same IPv6 address. IPv6AddræReturns the reverse lookup domain name corresponding of the given IPv6 address (RFC 3596 Section 2.5). ýtoIP6ARPA (IPv6Addr "4321:0:1:2:3:4:567:89ab") == "b.a.9.8.7.6.5.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.0.0.0.0.1.2.3.4.IP6.ARPA." IPv6Addr