links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Lens . Phrase . Value
type t =
| Bool of bool
| Int of int
| Serial of [ `Key of int | `NewKey | `NewKeyMapped of int ]
| Float of float
| String of string
| Char of char
| Tuple of t list
| Record of (string * t) list
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
module Unbox_error : sig ... end
type values = t list
val show_values : values -> Ppx_deriving_runtime.string
val equal : t -> t -> bool
val is_new_key : t -> bool

Determine if the phrase value is a new key that should be determined by the database.

val box_bool : bool -> t
val unbox_bool : t -> bool
val box_int : int -> t
val unbox_int : t -> int
val unbox_serial_newkeymapped : t -> int
val unbox_serial_key : t -> int
val box_float : float -> t
val unbox_float : t -> float
val box_string : string -> t
val unbox_string : t -> string
val box_tuple : t list -> t
val unbox_tuple : t -> t list
val box_record : (string * t) list -> t
val unbox_record : t -> (string * t) list
val type_of : t -> Links_lens__Phrase_type.t

Determine the type of a value.

val default_value : Links_lens__Phrase_type.t -> t

Get a default value of a type.

module Record : sig ... end