package bitstring

  1. Overview
  2. Docs
bitstrings and bitstring matching for OCaml

Install 

dune-project
 Dependency

bitstring.software Readme Edit opam file Versions (8)

Authors

  1. R
    Richard W.M. Jones
  2. X
    Xavier R. Guérin

Maintainers

  1. X
    Xavier R. Guérin <ghub@applepine.org>

Sources

bitstring.3.1.0.tar.gz
sha256=fa6248c6c022cff30ef8e5f0323a2906f8d2cd534527425f08a3ef80af985296
md5=22807a9517ede34823ebdb36d6bacef8

doc/ppx_bitstring/Ppx_bitstring/index.html

Module Ppx_bitstring

val ocaml_version : Migrate_parsetree.Versions.OCaml_405.types Migrate_parsetree.Versions.ocaml_version
module Entity : sig ... end
module Context : sig ... end
module Type : sig ... end
module Sign : sig ... end
module Endian : sig ... end
module Qualifiers : sig ... end
module MatchField : sig ... end
val location_exn : loc:Migrate_parsetree.Ast_405.Location.t -> string -> 'a
val split_string : on:string -> string -> string list
val option_bind : 'a option -> ('a -> 'b option) -> 'b option
val process_expr_loc : loc:Migrate_parsetree.Ast_405.Location.t -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val parse_expr : string Migrate_parsetree.Ast_405.Asttypes.loc -> Migrate_parsetree.Ast_405.Parsetree.expression
val process_pat_loc : loc:Migrate_parsetree.Ast_405.Location.t -> Migrate_parsetree.Ast_405.Parsetree.pattern -> Migrate_parsetree.Ast_405.Parsetree.pattern
val parse_pattern : string Migrate_parsetree.Ast_405.Asttypes.loc -> Migrate_parsetree.Ast_405.Parsetree.pattern
val find_loc_boundaries : loc:Migrate_parsetree.Ast_405.Location.t -> int -> int list -> Migrate_parsetree.Ast_405.Location.t * Migrate_parsetree.Ast_405.Location.t
val split_loc_rec : loc:Migrate_parsetree.Ast_405.Location.t -> string list -> Migrate_parsetree.Ast_405.Location.t list
val split_loc : loc:Migrate_parsetree.Ast_405.Location.t -> string list -> string Migrate_parsetree.Ast_405.Location.loc list
val check_map_functor : Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression option
val process_qual : Qualifiers.t -> Migrate_parsetree.Ast_405.Parsetree.expression -> Qualifiers.t
val parse_quals : string Migrate_parsetree.Ast_405.Asttypes.loc -> Qualifiers.t
val evaluate_expr : Migrate_parsetree.Ast_405.Parsetree.expression -> int option
val parse_match_fields : string Migrate_parsetree.Ast_405.Asttypes.loc -> MatchField.t
val stitch_ambiguous_operators : string list -> string list
val parse_const_fields : string Migrate_parsetree.Ast_405.Asttypes.loc -> Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression option * Qualifiers.t option
val check_field_len : loc:Migrate_parsetree.Ast_405.Location.t -> MatchField.tuple -> int option
val get_inttype : loc:Migrate_parsetree.Ast_405.Location.t -> fastpath:bool -> int -> string
val gen_int_extractor_static : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> int -> Sign.t -> Endian.t -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_int_extractor_dynamic : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> int -> Sign.t -> Endian.t -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_int_extractor : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> MatchField.tuple -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_extractor : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> MatchField.tuple -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_value : loc:Migrate_parsetree__Ast_405.Location.t -> MatchField.tuple -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_next : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_next_all : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_match_check : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> Migrate_parsetree.Ast_405.Parsetree.expression option -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_match : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_offset : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_offset_saver : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_unbound_string : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_bound_bitstring : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_bound_string : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_bound_int_with_size : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_bound_int : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_fields_with_quals_by_type : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_fields_with_quals : loc:Migrate_parsetree.Ast_405.Location.t -> Context.t -> Context.t -> MatchField.tuple -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_fields : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * string option) -> MatchField.t list -> Migrate_parsetree.Ast_405.Parsetree.expression
val is_field_size_open_ended : ('a * int option) -> bool
val check_for_open_endedness : MatchField.t list -> MatchField.t list
val mark_optimized_fastpath : MatchField.t list -> MatchField.t list
val gen_case_constant : loc:Migrate_parsetree__Ast_405.Location.t -> Context.t -> Context.t -> Entity.t -> Migrate_parsetree.Ast_405.Parsetree.case -> string -> string option -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_case : Context.t -> Context.t -> Entity.t -> Migrate_parsetree.Ast_405.Parsetree.case -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_cases_sequence : loc:Migrate_parsetree.Ast_405.Location.t -> Migrate_parsetree.Ast_405.Parsetree.expression list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_cases : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.case list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_function : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> Migrate_parsetree.Ast_405.Parsetree.case list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_exn : loc:Migrate_parsetree__Ast_405.Location.t -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_bitstring : loc:Migrate_parsetree__Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_string : loc:Migrate_parsetree__Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) -> Migrate_parsetree.Ast_405.Parsetree.expression
val get_1_bit_constr_value : loc:Migrate_parsetree__Ast_405.Location.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_int : loc:Migrate_parsetree__Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression * Qualifiers.t) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_complete : loc:Migrate_parsetree__Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression * Qualifiers.t) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor : loc:Migrate_parsetree__Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression option * Qualifiers.t option) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_assignment_size_of_sized_field : loc:Migrate_parsetree.Ast_405.Location.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression * Qualifiers.t option) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_assignment_size_of_field : loc:Migrate_parsetree.Ast_405.Location.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression option * Qualifiers.t option) -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_assignment_size : loc:Migrate_parsetree.Ast_405.Location.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression option * Qualifiers.t option) list -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_assignment_behavior : loc:Migrate_parsetree.Ast_405.Location.t -> Entity.t -> (Migrate_parsetree.Ast_405.Parsetree.expression * Migrate_parsetree.Ast_405.Parsetree.expression option * Qualifiers.t option) list -> Migrate_parsetree.Ast_405.Parsetree.expression
val parse_assignment_behavior : loc:Migrate_parsetree.Ast_405.Location.t -> Entity.t -> string -> Migrate_parsetree.Ast_405.Parsetree.expression
val gen_constructor_expr : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> string -> Migrate_parsetree.Ast_405.Parsetree.expression
val transform_single_let : loc:Migrate_parsetree.Ast_405.Ast_helper.loc -> Migrate_parsetree.Ast_405.Parsetree.value_binding -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val extension : Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree.Ast_405.Parsetree.expression
val expression : Migrate_parsetree.Ast_405.Ast_mapper.mapper -> Migrate_parsetree.Ast_405.Parsetree.expression -> Migrate_parsetree__Ast_405.Parsetree.expression
val structure_item_mapper : Migrate_parsetree.Ast_405.Ast_mapper.mapper -> Migrate_parsetree.Ast_405.Parsetree.structure_item -> Migrate_parsetree.Ast_405.Parsetree.structure_item
val rewriter : 'a -> 'b -> Migrate_parsetree.Ast_405.Ast_mapper.mapper