Http (mirage.Devices.Http)

type http

val http : http Functoria.DSL.typ

val cohttp_server : 
  Conduit.conduit Functoria.DSL.impl ->
  http Functoria.DSL.impl

val httpaf_server : 
  Conduit.conduit Functoria.DSL.impl ->
  http Functoria.DSL.impl

type http_client

val http_client : http_client Functoria.DSL.typ

val cohttp_client : 
  Resolver.resolver Functoria.DSL.impl ->
  Conduit.conduit Functoria.DSL.impl ->
  http_client Functoria.DSL.impl

type http_server

val http_server : http_server Functoria.DSL.typ

val paf_server : 
  int Functoria.DSL.runtime_arg ->
  (Tcp.tcpv4v6 -> http_server) Functoria.DSL.impl

type alpn_client

val alpn_client : alpn_client Functoria.DSL.typ

val paf_client : (Tcp.tcpv4v6 -> Mimic.mimic -> alpn_client) Functoria.DSL.impl