bitstring 2.1.1 · OCaml Package

type patt = Camlp4.PreCast.Syntax.Ast.patt

type expr = Camlp4.PreCast.Syntax.Ast.expr

type loc_t = Camlp4.PreCast.Syntax.Ast.Loc.t

type 'a field

type pattern = patt field list

type constructor = expr field list

type named = string * alt

and alt =

| Pattern of pattern
| Constructor of constructor

val string_of_pattern : pattern -> string

val string_of_constructor : constructor -> string

val string_of_pattern_field : patt field -> string

val string_of_constructor_field : expr field -> string

val named_to_channel : Pervasives.out_channel -> named -> unit

val named_to_string : named -> string

val named_to_buffer : string -> int -> int -> named -> int

val named_from_channel : Pervasives.in_channel -> named

val named_from_string : string -> int -> named

val create_pattern_field : loc_t -> patt field

val set_lident_patt : patt field -> string -> patt field

val set_int_patt : patt field -> int -> patt field

val set_string_patt : patt field -> string -> patt field

val set_unbound_patt : patt field -> patt field

val set_patt : patt field -> patt -> patt field

val set_length_int : 'a field -> int -> 'a field

val set_length : 'a field -> expr -> 'a field

val set_endian : 'a field -> Bitstring.endian -> 'a field

val set_endian_expr : 'a field -> expr -> 'a field

val set_signed : 'a field -> bool -> 'a field

val set_type_int : 'a field -> 'a field

val set_type_string : 'a field -> 'a field

val set_type_bitstring : 'a field -> 'a field

val set_location : 'a field -> loc_t -> 'a field

val set_offset_int : 'a field -> int -> 'a field

val set_offset : 'a field -> expr -> 'a field

val set_no_offset : 'a field -> 'a field

val set_check : 'a field -> expr -> 'a field

val set_no_check : 'a field -> 'a field

val set_bind : 'a field -> expr -> 'a field

val set_no_bind : 'a field -> 'a field

val set_save_offset_to : 'a field -> patt -> 'a field

val set_save_offset_to_lident : 'a field -> string -> 'a field

val set_no_save_offset_to : 'a field -> 'a field

val create_constructor_field : loc_t -> expr field

val set_lident_expr : expr field -> string -> expr field

val set_int_expr : expr field -> int -> expr field

val set_string_expr : expr field -> string -> expr field

val set_expr : expr field -> expr -> expr field

val get_patt : patt field -> patt

val get_expr : expr field -> expr

val get_length : 'a field -> expr

type endian_expr =

| ConstantEndian of Bitstring.endian
| EndianExpr of expr

val get_endian : 'a field -> endian_expr

val get_signed : 'a field -> bool

type field_type =

| Int
| String
| Bitstring

val get_type : 'a field -> field_type

val get_location : 'a field -> loc_t

val get_offset : 'a field -> expr option

val get_check : 'a field -> expr option

val get_bind : 'a field -> expr option

val get_save_offset_to : 'a field -> patt option

package bitstring