Module Data

module Data: sig .. end
Data Encoding

Simplified Map.S


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 Data.S with type t = 'a) 

Collections


module type S_collection = sig .. end
module Collection: 
functor (A : S-> S_collection with type t = A.t

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: 
functor (A : IdentifiedType-> Index with type t = A.t
Builds a projectified index on types with unique identifiers

Dictionary


module type Enum = sig .. end
module Dictionary: 
functor (E : Enum-> S_collection with type t = E.t

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