Http (p.mirage.4.10.2.doc.mirage.devices.Devices.Http)

Sourcetype http

Sourceval 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

Sourcetype http_client

Sourceval 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

Sourcetype http_server

Sourceval http_server : http_server Functoria.DSL.typ

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

Sourcetype alpn_client

Sourceval alpn_client : alpn_client Functoria.DSL.typ

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