Idris2Doc : Utils.Handle.C

Utils.Handle.C

(source)

Definitions

socket_to_handle : Socket->Handle'Socket ()
  Turning a non-linear socket from Network.Socket into a Handle tailored for Network.TLS.Handle

Visibility: export