package records

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Record.Type`Source

Sourcetype 'a t

How to convert a type to and from JSON.

Sourceval name : 'a t -> string

Sourceval of_yojson : 'a t -> Yojson.Safe.json -> ('a, string) Result.result

Sourceval to_yojson : 'a t -> 'a -> Yojson.Safe.json

val make : 
  name:string ->
  to_yojson:('a -> Yojson.Safe.json) ->
  of_yojson:(Yojson.Safe.json -> ('a, string) Result.result) ->
  unit ->
  'a t

Declare a new type.

val make_string : 
  name:string ->
  to_string:('a -> string) ->
  of_string:(string -> ('a, string) Result.result) ->
  unit ->
  'a t

Declare a new type that marshal/unmarshal to strings.

Sourceval exn : exn t

How to represent exceptions.

Sourceexception UnserializedException of string

Raised by exn.of_json

Sourceval unit : unit t

How to represent unit.

Sourceval string : string t

How to represent string.

Sourceval int : int t

How to represent int.

Sourceval int32 : int32 t

How to represent int32.

Sourceval int64 : int64 t

How to represent int64.

Sourceval list : 'a t -> 'a list t

Build a representation of a list.

Sourceval product_2 : string -> 'a t -> string -> 'b t -> ('a * 'b) t

Build a representation of a couple. The labels identify the elements, not their types.

Sourceval result : 'a t -> 'b t -> ('a, 'b) Result.result t

Build a representation of a result.

val view : 
  name:string ->
  read:('a -> ('b, string) Result.result) ->
  write:('b -> 'a) ->
  'a t ->
  'b t

Build a 'b type which has the same JSON encoding as the 'a type from conversion functions read and write.