module Data: sig
.. end
Data Encoding
type
json = Json.t
val pretty : Format.formatter -> json -> unit
module type S = sig
.. end
module type Info = sig
.. end
Datatype registration.
type 'a
data = (module Server.Data.S with type t = 'a)
Collections
module type S_collection = sig
.. end
module Collection:
Constructors
module Joption: functor (
A
:
S
) ->
S
with type t = A.t option
module Jpair: functor (
A
:
S
) ->
functor (
B
:
S
) ->
S
with type t = A.t * B.t
module Jtriple: functor (
A
:
S
) ->
functor (
B
:
S
) ->
functor (
C
:
S
) ->
S
with type t = A.t * B.t * C.t
module Jlist: functor (
A
:
S
) ->
S
with type t = A.t list
module Jarray: functor (
A
:
S
) ->
S
with type t = A.t array
Atomic Data
module Junit: S
with type t = unit
module Jany: S
with type t = json
module Jbool: S_collection
with type t = bool
module Jint: S_collection
with type t = int
module Jfloat: S_collection
with type t = float
module Jstring: S_collection
with type t = string
module Jident: S_collection
with type t = string
Syntax is ident.
module Jtext: S
with type t = json
Rich text encoding, see Jbuffer
Records
type 'a
record
Records of type 'a
type 'a
signature
Opened signature for record of type 'a
type ('a, 'b)
field
Field of type 'b
for a record of type 'a
module Record: sig
.. end
Record factory.
Indexed Values
module type Map = sig
.. end
Simplified Map.S
module type Index = sig
.. end
module Static: functor (
M
:
Map
) ->
functor (
I
:
Info
) ->
Index
with type t = M.key
Builds an indexer that does not depend on current project.
module Index: functor (
M
:
Map
) ->
functor (
I
:
Info
) ->
Index
with type t = M.key
Builds a projectified index.
Identified Types
module type IdentifiedType = sig
.. end
module Identified:
Builds a projectified index on types with unique identifiers
Dictionary
module type Enum = sig
.. end
module Dictionary:
Error handling
exception InputError of string
Exception thrown during the decoding of a request's inputs
val failure : ?json:json ->
('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
Raises InputError
with provided message
val failure_from_type_error : string -> json -> 'a
Raises InputError
from Yojson.Basic.Util.Type_error arguments