Reverse the dependency between dns-client-lwt and happy-eyeballs-lwt (dns-client-mirage and happy-eyeballs-mirage) (#38)
* Reverse the dependency between dns, dns-client-lwt and happy-eyeballs-lwt and use an injection mechanism to resolve domain name instead of a direct usage of dns-client-lwt
* Rename the getaddrinfo field by dns
* Add a documentation about Happy_eyeballs_lwt.inject
* Simplify the required getaddrinfo for happy-eyeballs-lwt
* Install dependencies needed by dns{,client}{,-lwt,-mirage}
* Use Unix.getaddrinfo by default when we create an happy-eyeballs instance
* address review comments
* happy-eyeballs-mirage: reverse dns dependency
* adapt example code
---------
Co-authored-by: Hannes Mehnert <hannes@mehnert.org>
8e641b
-
May 19 16:39 +00:00