package eliom

  1. Overview
  2. Docs
package eliom
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 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
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 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
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
exception Eliom_Internal_Error of string
module Lwt_ops : sig ... end

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

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

URL manipulation

module String : sig ... end

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

module Lwt_log : sig ... end

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

val error : ('a, unit, string, 'b) Stdlib.format4 -> 'a

Deprecated. Use Lwt_log.ign_raise_error_f instead

val error_any : _ -> ('a, unit, string, 'b) Stdlib.format4 -> 'a

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

val debug : ('a, unit, string, unit) Stdlib.format4 -> 'a

Deprecated. Use Lwt_log.ign_info_f instead

val debug_exn : ('a, unit, string, unit) Stdlib.format4 -> exn -> 'a

Deprecated. Use Lwt_log.ign_info_f instead

val jsdebug : 'a -> unit

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

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

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

module Dom_reference : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct