1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
open Functoria.DSL
open Stack
open Misc
open Happy_eyeballs
type dns_client = Dns_client
let dns_client = typ Dns_client
let generic_dns_client ?group ?timeout ?nameservers ?cache_size () =
let packages = [ package "dns-client-mirage" ~min:"10.0.0" ~max:"11.0.0" ] in
let nameservers = Runtime_arg.dns_servers ?group nameservers
and timeout = Runtime_arg.dns_timeout ?group timeout
and cache_size = Runtime_arg.dns_cache_size ?group cache_size in
let runtime_args = Runtime_arg.[ v nameservers; v timeout; v cache_size ] in
let connect _info modname = function
| [ stackv4v6; happy_eyeballs; nameservers; timeout; cache_size ] ->
code ~pos:__POS__
{ocaml|%s.connect @[?nameservers:%s ?timeout:%s ?cache_size:%s@ (%s, %s)@]|ocaml}
modname nameservers timeout cache_size stackv4v6 happy_eyeballs
| _ -> connect_err "generic_dns_client" 5
in
impl ~runtime_args ~packages ~connect "Dns_client_mirage.Make"
(stackv4v6 @-> happy_eyeballs @-> dns_client)