Module Opaque

module Opaque : sig..end

Opaque types for int and string. This module provides a convenient way to convert int or string types to abstract types.

Motivation: type int may be used for representing several kinds of data. Confusion is easy, so we often need to make it abstract, while keeping:

• the functions that used to work with type int
• efficiency
• no creation of specific modules

This solution was suggested by Jacques Garrigue. What the user has to do is open Opaque and then use a type parameter to define the specialized version of int or string. We will write the type declarations as type port = [`Port] int_t or type date = [`Date] int_t. Data is converted with the int_t and t_int polymorphic functions as in let port : port = int_t 0. Author(s): Martin Jambon

Opaque types for int and string. This module provides a convenient way to convert int or string types to abstract types.

Motivation: type int may be used for representing several kinds of data. Confusion is easy, so we often need to make it abstract, while keeping:

• the functions that used to work with type int
• efficiency
• no creation of specific modules

This solution was suggested by Jacques Garrigue. What the user has to do is open Opaque and then use a type parameter to define the specialized version of int or string. We will write the type declarations as type port = [`Port] int_t or type date = [`Date] int_t. Data is converted with the int_t and t_int polymorphic functions as in let port : port = int_t 0.

Opaque ints ¶

type 'a int_t

module Json_int_t : functor (M_a : Deriving_Json.Json) -> 
  Deriving_Json.Json

val int_t : int -> 'a int_t

val t_int : 'a int_t -> int

val int_t_option : int option -> 'a int_t option

val t_int_option : 'a int_t option -> int option

val any_int : 'a int_t -> 'b int_t

val add : 'a int_t -> 'a int_t -> 'a int_t

val sub : 'a int_t -> 'a int_t -> 'a int_t

val mul : 'a int_t -> 'a int_t -> 'a int_t

val div : 'a int_t -> 'a int_t -> 'a int_t

val neg : 'a int_t -> 'a int_t

val successor : 'a int_t -> 'a int_t

val predecessor : 'a int_t -> 'a int_t

val increment : 'a int_t Pervasives.ref -> unit

val print_int_t : 'a int_t -> unit

Opaque int32s ¶

type 'a int32_t

module Json_int32_t : functor (M_a : Deriving_Json.Json) -> 
  Deriving_Json.Json

val int32_t : int32 -> 'a int32_t

val t_int32 : 'a int32_t -> int32

val int32_t_option : int32 option -> 'a int32_t option

val t_int32_option : 'a int32_t option -> int32 option

val any_int32 : 'a int32_t -> 'b int32_t

val int32_t_list : int32 list -> 'a int32_t list

val t_int32_list : 'a int32_t list -> int32 list

val print_int32_t : 'a int32_t -> unit

val int32_t_to_string : 'a int32_t -> string

Xform inputs

Opaque strings ¶

type 'a string_t

module Json_string_t : functor (M_a : Deriving_Json.Json) -> 
  Deriving_Json.Json

val string_t : string -> 'a string_t

val t_string : 'a string_t -> string

val string_t_option : string option -> 'a string_t option

val t_string_option : 'a string_t option -> string option

val any_string : 'a string_t -> 'b string_t

val concat : 'a string_t -> 'a string_t -> 'a string_t

val concat_list : string -> 'a string_t list -> 'a string_t

val print_string_t : 'a string_t -> unit

val int32_input_aux_xform : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  string ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt, 'a int32_t)
  Xform.XformLwt.t

val int32_input_xform : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  'a int32_t ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt, 'a int32_t)
  Xform.XformLwt.t

val int32_input_opt_aux_xform : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  string ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt,
   'a int32_t option)
  Xform.XformLwt.t

val int32_input_opt_xform : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  'a int32_t option ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt,
   'a int32_t option)
  Xform.XformLwt.t