Module `Ocsigen_lib`

This module contains some auxiliaries for the Ocsigenserver. In contrast to Ocsigen_lib_base, the function may also refer to libraries other than the standard library.

include module type of Ocsigen_lib_base
  with type poly = Ocsigen_lib_base.poly
   and type yesnomaybe = Ocsigen_lib_base.yesnomaybe
   and type ('a, 'b) leftright = ('a, 'b) Ocsigen_lib_base.leftright
   and type 'a Clist.t = 'a Ocsigen_lib_base.Clist.t
   and type 'a Clist.node = 'a Ocsigen_lib_base.Clist.node

exception Ocsigen_Internal_Error of string

exception Input_is_too_large

exception Ocsigen_Bad_Request

exception Ocsigen_Request_too_long

include module type of Lwt.Infix

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

val (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t

val (<&>) : unit Lwt.t -> unit Lwt.t -> unit Lwt.t

val (<?>) : 'a Lwt.t -> 'a Lwt.t -> 'a Lwt.t

val (=<<) : ('a -> 'b Lwt.t) -> 'a Lwt.t -> 'b Lwt.t

val (=|<) : ('a -> 'b) -> 'a Lwt.t -> 'b Lwt.t

module Let_syntax : sig ... end

val (!!) : 'a Stdlib.Lazy.t -> 'a

val (|>) : 'a -> ('a -> 'b) -> 'b

val (@@) : ('a -> 'b) -> 'a -> 'b

val id : 'a -> 'a

val comp : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

val curry : (('a * 'b) -> 'c) -> 'a -> 'b -> 'c

val uncurry : ('a -> 'b -> 'c) -> ('a * 'b) -> 'c

module Tuple3 : sig ... end

type poly = Ocsigen_lib_base.poly

val to_poly : 'a -> poly

val from_poly : poly -> 'a

type yesnomaybe = Ocsigen_lib_base.yesnomaybe =

| Yes
| No
| Maybe

type ('a, 'b) leftright = ('a, 'b) Ocsigen_lib_base.leftright =

| Left of 'a
| Right of 'b

val advert : string

module Option : sig ... end

Module Option to compute type 'a option

module List : sig ... end

Improvement of module List

module Clist : sig ... end

Circular lists

module Int : sig ... end

module String_base : sig ... end

Improvement of module String

module Url_base : sig ... end

val debug : string -> unit

val make_cryptographic_safe_string : unit -> string

Generate an unique and cryptographically safe random string. It is impossible to guess for other people and will never return twice the same value (with very good probabilities).

module String : module type of String_base

Improvement of module String

module Ip_address : sig ... end

module Filename : sig ... end

module Url : sig ... end