package eliom

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eliom_libSource

Eliom standard library

See <<a_api project="ocsigenserver"| module Ocsigen_lib_base >> .

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
val (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
val (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t
val (!!) : 'a 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 =
  1. | Yes
  2. | No
  3. | Maybe
type (!'a, !'b) leftright = ('a, 'b) Ocsigen_lib_base.leftright =
  1. | Left of 'a
  2. | Right of 'b
val advert : string
module Option : sig ... end
module List : sig ... end
module Clist : sig ... end
module Int : sig ... end
module String_base : sig ... end
module Url_base : sig ... end
include module type of Eliom_lib_base with type 'a Int64_map.t = 'a Eliom_lib_base.Int64_map.t with type 'a String_map.t = 'a Eliom_lib_base.String_map.t with type 'a Int_map.t = 'a Eliom_lib_base.Int_map.t
Sourceexception Eliom_Internal_Error of string
Sourcemodule Lwt_ops : sig ... end

Module with Lwt operators: Open to use them without polluting your scope.

Sourcemodule type Map_S = sig ... end
Sourcemodule Int64_map : Map_S with type key = int64 with type 'a t = 'a Eliom_lib_base.Int64_map.t
Sourcemodule Int_map : Map_S with type key = int with type 'a t = 'a Eliom_lib_base.Int_map.t
Sourcemodule String_map : Map_S with type key = string with type 'a t = 'a Eliom_lib_base.String_map.t
Sourceval to_json : ?typ:'a Deriving_Json.t -> 'a -> string
Sourceval of_json : ?typ:'a Deriving_Json.t -> string -> 'a
Sourcemodule Url : sig ... end

URL manipulation

Sourcemodule String : sig ... end

Extension of <<a_api project="ocsigenserver"| module Ocsigen_lib_base.String_base >> .

Sourcemodule Lwt_log : sig ... end

Extension of <<a_api project="js_of_ocaml" subproject="js_of_ocaml-lwt" | module Lwt_log_js >> .

Sourceval error : ('a, unit, string, 'b) format4 -> 'a

Deprecated. Use Lwt_log.ign_raise_error_f instead

Sourceval error_any : _ -> ('a, unit, string, 'b) format4 -> 'a

Deprecated. Use Lwt_log.ign_raise_error_f (with ~inspect argument) instead

Sourceval debug : ('a, unit, string, unit) format4 -> 'a

Deprecated. Use Lwt_log.ign_info_f instead

Sourceval debug_exn : ('a, unit, string, unit) format4 -> exn -> 'a

Deprecated. Use Lwt_log.ign_info_f instead

Sourceval jsdebug : 'a -> unit

Deprecated. Use Lwt_log.ign_info (with ~inspect argument) instead

Sourceval alert : ('a, unit, string, unit) format4 -> 'a
Sourceval confirm : ('a, unit, string, bool) format4 -> 'a
Sourceval debug_var : string -> 'a -> unit
Sourceval trace : ('a, unit, string, unit) format4 -> 'a
Sourceval lwt_ignore : ?message:string -> unit Lwt.t -> unit
Sourceval encode_header_value : typ:'a Deriving_Json.t -> 'a -> string
Sourceval make_cryptographic_safe_string : ?len:int -> unit -> string

Return a base-64 encoded cryptographic safe string of the given length. Not implemented client-side.

Sourcemodule Dom_reference : sig ... end
OCaml

Innovation. Community. Security.