ppx_bitstring 4.1.0 · OCaml Package

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:Ppxlib.Location.t -> string -> 'a

val split_string : on:string -> string -> string list

val option_bind : 'a option -> ('b -> 'c option) -> 'c option

val process_expr_loc : 
  loc:Ppxlib.Location.t ->
  Ppxlib.expression ->
  Ppxlib.expression

val parse_expr : string Ppxlib.loc -> Ppxlib.expression

val process_pat_loc : loc:Ppxlib.Location.t -> Ppxlib.pattern -> Ppxlib.pattern

val parse_pattern : string Ppxlib.loc -> Ppxlib.pattern

val find_loc_boundaries : 
  loc:Ppxlib.Location.t ->
  int ->
  int list ->
  Ppxlib.Location.t * Ppxlib.Location.t

val split_loc_rec : 
  loc:Ppxlib.Location.t ->
  string list ->
  Ppxlib.Location.t list

val split_loc : 
  loc:Ppxlib.Location.t ->
  string list ->
  string Ppxlib.Loc.t list

val check_map_functor : 
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression option

val process_qual : Qualifiers.t -> Ppxlib.expression -> Qualifiers.t

val parse_quals : string Ppxlib.loc -> Qualifiers.t

val evaluate_expr : Ppxlib_ast.Ast.expression -> int option

val parse_match_fields : string Ppxlib.loc -> MatchField.t

val stitch_ambiguous_operators : string list -> string list

val parse_const_fields : 
  string Ppxlib.loc ->
  Ppxlib.expression * Ppxlib.expression option * Qualifiers.t option

val check_field_len : loc:Ppxlib.Location.t -> MatchField.tuple -> int option

val get_inttype : loc:Ppxlib.Location.t -> fastpath:bool -> int -> string

val gen_int_extractor_static : 
  loc:Ppxlib.Location.t ->
  Context.t ->
  int ->
  Sign.t ->
  Endian.t ->
  Ppxlib_ast.Ast.expression

val gen_int_extractor_dynamic : 
  loc:Ppxlib.Location.t ->
  Context.t ->
  int ->
  Sign.t ->
  Endian.t ->
  Ppxlib_ast.Ast.expression

val gen_int_extractor : 
  loc:Ppxlib.location ->
  Context.t ->
  MatchField.tuple ->
  Ppxlib_ast.Ast.expression

val gen_extractor : 
  loc:Ppxlib.location ->
  Context.t ->
  MatchField.tuple ->
  Ppxlib_ast.Ast.expression

val gen_value : 
  loc:Ppxlib.location ->
  MatchField.tuple ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

val gen_next : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_next_all : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_match_check : 
  loc:Ppxlib.Location.t ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

val gen_match : 
  loc:Ppxlib.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_offset : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

val gen_offset_saver : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

val gen_unbound_string : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_bound_bitstring : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_bound_string : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_bound_int_with_size : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_bound_int : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_fields_with_quals_by_type : 
  loc:Ppxlib.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_fields_with_quals : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.expression

val gen_fields : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  (Ppxlib_ast.Ast.expression * string option) ->
  MatchField.t list ->
  Ppxlib_ast.Ast.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:Ppxlib.location ->
  Context.t ->
  Context.t ->
  Entity.t ->
  Ppxlib.case ->
  string ->
  string option ->
  Ppxlib_ast.Ast.expression

val gen_case : 
  Context.t ->
  Context.t ->
  Entity.t ->
  Ppxlib.case ->
  Ppxlib_ast.Ast.expression

val gen_cases_sequence : 
  loc:Ppxlib.Location.t ->
  Ppxlib_ast.Ast.expression list ->
  Ppxlib_ast.Ast.expression

val gen_cases : 
  loc:Ppxlib.Location.t ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib.case list ->
  Ppxlib_ast.Ast.expression

val gen_function : 
  loc:Ppxlib.Location.t ->
  Ppxlib.case list ->
  Ppxlib_ast.Ast.expression

val gen_constructor_exn : loc:Ppxlib.Location.t -> Ppxlib_ast.Ast.expression

val gen_constructor_bitstring : 
  loc:Ppxlib.location ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression * 'a * 'b) ->
  Ppxlib_ast.Ast.expression

val gen_constructor_string : 
  loc:Ppxlib.location ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression * 'a * 'b) ->
  Ppxlib_ast.Ast.expression

val get_1_bit_constr_value : 
  loc:Ppxlib.location ->
  (Ppxlib_ast.Ast.expression * 'a * 'b) ->
  Ppxlib_ast.Ast.expression

val gen_constructor_int : 
  loc:Ppxlib.Location.t ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression * Ppxlib_ast.Ast.expression * Qualifiers.t) ->
  Ppxlib_ast.Ast.expression

val gen_constructor_complete : 
  loc:Ppxlib.location ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression * Ppxlib_ast.Ast.expression * Qualifiers.t) ->
  Ppxlib_ast.Ast.expression

val gen_constructor : 
  loc:Ppxlib.location ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression
   * Ppxlib_ast.Ast.expression option
   * Qualifiers.t option) ->
  Ppxlib_ast.Ast.expression

val gen_assignment_size_of_sized_field : 
  loc:Ppxlib.location ->
  (Ppxlib_ast.Ast.expression * Ppxlib_ast.Ast.expression * Qualifiers.t option) ->
  Ppxlib_ast.Ast.expression

val gen_assignment_size_of_field : 
  loc:Ppxlib.location ->
  (Ppxlib_ast.Ast.expression
   * Ppxlib_ast.Ast.expression option
   * Qualifiers.t option) ->
  Ppxlib_ast.Ast.expression

val gen_assignment_size : 
  loc:Ppxlib.location ->
  (Ppxlib_ast.Ast.expression
   * Ppxlib_ast.Ast.expression option
   * Qualifiers.t option)
    list ->
  Ppxlib_ast.Ast.expression

val gen_assignment_behavior : 
  loc:Ppxlib.location ->
  Entity.t ->
  (Ppxlib_ast.Ast.expression
   * Ppxlib_ast.Ast.expression option
   * Qualifiers.t option)
    list ->
  Ppxlib_ast.Ast.expression

val parse_assignment_behavior : 
  loc:Ppxlib.location ->
  Entity.t ->
  string ->
  Ppxlib_ast.Ast.expression

val gen_constructor_expr : 
  loc:Ppxlib.Location.t ->
  string ->
  Ppxlib_ast.Ast.expression

val transform_single_let : 
  loc:Ppxlib.Location.t ->
  Ppxlib.value_binding ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

val expression_expander : Ppxlib.expression -> Ppxlib_ast.Ast.expression

val expression_rule : Ppxlib.Context_free.Rule.t

val structure_item_rewriter : 
  ctxt:Ppxlib.Expansion_context.Extension.t ->
  Ppxlib_ast.Ast.pattern ->
  Ppxlib.expression ->
  Ppxlib_ast.Ast.structure_item

val structure_item_rule : Ppxlib.Context_free.Rule.t

package ppx_bitstring