Module `Ppx_bitstring`Source

Sourcemodule Entity : sig ... end

Sourcemodule Context : sig ... end

Sourcemodule Type : sig ... end

Sourcemodule Sign : sig ... end

Sourcemodule Endian : sig ... end

Sourcemodule Qualifiers : sig ... end

Sourcemodule MatchField : sig ... end

Sourceval location_exn : loc:Ppxlib.Location.t -> string -> 'a

Sourceval split_string : on:string -> string -> string list

Sourceval option_bind : 'a option -> ('a -> 'b option) -> 'b option

Source

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

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

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

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

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

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

Sourceval stitch_ambiguous_operators : string list -> string list

Source

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val gen_match_check : 
  loc:Ppxlib__.Location.t ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval is_field_size_open_ended : ('a * int option) -> bool

Sourceval check_for_open_endedness : MatchField.t list -> MatchField.t list

Sourceval mark_optimized_fastpath : MatchField.t list -> MatchField.t list

Source

val gen_case_constant : 
  loc:Ppxlib.location ->
  Context.t ->
  Context.t ->
  Entity.t ->
  Ppxlib.case ->
  string ->
  string option ->
  Ppxlib_ast.Ast.expression

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Sourceval expression_rule : Ppxlib.Context_free.Rule.t

Source

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

Sourceval structure_item_rule : Ppxlib.Context_free.Rule.t

package ppx_bitstring

Module Ppx_bitstringSource

Module `Ppx_bitstring`Source