package cohttp-lwt-unix

You can search for identifiers within the package.

in-package search v0.2.0

cohttp-lwt-unix
- Cohttp_lwt_unix
  - Client
  - Connection
    
    Net
    
    IO
  - Connection_cache
  - Debug
  - IO
  - Net
    
    IO
  - Private
    
    IO
    
    Input_channel
  - Request
    
    IO
  - Response
    
    IO
  - Server
    
    IO

Legend:
Library
Module
Module type
Parameter
Class
Class type

The Io module contains the IO implementation for cohttp-lwt-unix.

The Logs source name for this module logger is "cohttp.lwt.io". Refer to the Debug module for further details.

include Cohttp_lwt.S.IO
  with type ic = Cohttp_lwt_unix__.Input_channel.t
   and type oc = Lwt_io.output_channel
   and type conn = Conduit_lwt_unix.flow
   and type error = exn

include Cohttp.S.IO
  with type 'a t = 'a Lwt.t
  with type ic = Cohttp_lwt_unix__.Input_channel.t
  with type oc = Lwt_io.output_channel
  with type conn = Conduit_lwt_unix.flow

type 'a t = 'a Lwt.t

'a t represents a blocking monad state

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

a >>= b will pass the result of a to the b function. This is a monadic bind.

val return : 'a -> 'a t

return a will construct a constant IO value.

type ic

ic represents an input channel

type oc = Lwt_io.output_channel

oc represents an output channel

type conn = Conduit_lwt_unix.flow

conn represents the underlying network flow

val refill : ic -> [ `Ok | `Eof ] t

val with_input_buffer : 
  ic ->
  f:(string -> pos:int -> len:int -> 'a * int) ->
  'a

val read_line : ic -> string option t

read_line ic will read a single line terminated by CR or CRLF from the input channel ic. It returns None if EOF or other error condition is reached.

val read : ic -> int -> string t

read ic len will block until a maximum of len characters are read from the input channel ic. It returns an empty string if EOF or some other error condition occurs on the input channel, and can also return fewer than len characters if input buffering is not sufficient to satisfy the request.

val write : oc -> string -> unit t

write oc s will block until the complete s string is written to the output channel oc.

val flush : oc -> unit t

flush oc will return when all previously buffered content from calling write have been written to the output channel oc.

type error = exn

val catch : (unit -> 'a t) -> ('a, error) result t

catch f is f () >|= Result.ok, unless f fails with an IO error, in which case it returns the error.

val pp_error : Format.formatter -> error -> unit