package bap-std

  1. Overview
  2. No Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

doc/bap/Bap/Std/Addr/Unsigned_value_order/Hash_queue/index.html

Module Unsigned_value_order.Hash_queue

type key = t
val length : ('a, 'b) Core__.Hash_queue.t -> int
val is_empty : ('a, 'b) Core__.Hash_queue.t -> bool
val iter : ('b, 'a) Core__.Hash_queue.t -> f:('a -> unit) -> unit
val fold : ('b, 'a) Core__.Hash_queue.t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum
val fold_result : ('b, 'a) Core__.Hash_queue.t -> init:'accum -> f:('accum -> 'a -> ('accum, 'e) Base__.Result.t) -> ('accum, 'e) Base__.Result.t
val fold_until : ('b, 'a) Core__.Hash_queue.t -> init:'accum -> f:('accum -> 'a -> ('accum, 'final) Base__.Container_intf.Continue_or_stop.t) -> finish:('accum -> 'final) -> 'final
val exists : ('b, 'a) Core__.Hash_queue.t -> f:('a -> bool) -> bool
val for_all : ('b, 'a) Core__.Hash_queue.t -> f:('a -> bool) -> bool
val count : ('b, 'a) Core__.Hash_queue.t -> f:('a -> bool) -> int
val sum : (module Base__.Container_intf.Summable with type t = 'sum) -> ('b, 'a) Core__.Hash_queue.t -> f:('a -> 'sum) -> 'sum
val find : ('b, 'a) Core__.Hash_queue.t -> f:('a -> bool) -> 'a option
val find_map : ('c, 'a) Core__.Hash_queue.t -> f:('a -> 'b option) -> 'b option
val to_list : ('b, 'a) Core__.Hash_queue.t -> 'a list
val to_array : ('b, 'a) Core__.Hash_queue.t -> 'a array
val min_elt : ('b, 'a) Core__.Hash_queue.t -> compare:('a -> 'a -> int) -> 'a option
val max_elt : ('b, 'a) Core__.Hash_queue.t -> compare:('a -> 'a -> int) -> 'a option
val invariant : ('key, 'data) Core__.Hash_queue.t -> Core__.Import.unit
val create : ?growth_allowed:Core__.Import.bool -> ?size:Core__.Import.int -> Core__.Import.unit -> (key, 'data) Core__.Hash_queue.t
val clear : ('key, 'data) Core__.Hash_queue.t -> Core__.Import.unit
val copy : ('key, 'data) Core__.Hash_queue.t -> ('key, 'data) Core__.Hash_queue.t
val mem : ('key, 'data) Core__.Hash_queue.t -> 'key -> Core__.Import.bool
val lookup : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data Core__.Import.option
val lookup_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data
val enqueue : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> 'key -> 'data -> [ `Key_already_present | `Ok ]
val enqueue_exn : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> 'key -> 'data -> Core__.Import.unit
val enqueue_back : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> [ `Key_already_present | `Ok ]
val enqueue_back_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> Core__.Import.unit
val enqueue_front : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> [ `Key_already_present | `Ok ]
val enqueue_front_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> Core__.Import.unit
val lookup_and_move_to_back : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data Core__.Import.option
val lookup_and_move_to_back_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data
val lookup_and_move_to_front : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data Core__.Import.option
val lookup_and_move_to_front_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data
val last : ('key, 'data) Core__.Hash_queue.t -> 'data Core__.Import.option
val last_with_key : ('key, 'data) Core__.Hash_queue.t -> ('key * 'data) Core__.Import.option
val first : ('key, 'data) Core__.Hash_queue.t -> 'data Core__.Import.option
val first_with_key : ('key, 'data) Core__.Hash_queue.t -> ('key * 'data) Core__.Import.option
val keys : ('key, 'data) Core__.Hash_queue.t -> 'key Core__.Import.list
val dequeue : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> 'data Core__.Import.option
val dequeue_exn : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> 'data
val dequeue_back : ('key, 'data) Core__.Hash_queue.t -> 'data Core__.Import.option
val dequeue_back_exn : ('key, 'data) Core__.Hash_queue.t -> 'data
val dequeue_front : ('key, 'data) Core__.Hash_queue.t -> 'data Core__.Import.option
val dequeue_front_exn : ('key, 'data) Core__.Hash_queue.t -> 'data
val dequeue_with_key : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> ('key * 'data) Core__.Import.option
val dequeue_with_key_exn : ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> 'key * 'data
val dequeue_back_with_key : ('key, 'data) Core__.Hash_queue.t -> ('key * 'data) Core__.Import.option
val dequeue_back_with_key_exn : ('key, 'data) Core__.Hash_queue.t -> 'key * 'data
val dequeue_front_with_key : ('key, 'data) Core__.Hash_queue.t -> ('key * 'data) Core__.Import.option
val dequeue_front_with_key_exn : ('key, 'data) Core__.Hash_queue.t -> 'key * 'data
val dequeue_all : ('key, 'data) Core__.Hash_queue.t -> f:('data -> Core__.Import.unit) -> Core__.Import.unit
val remove : ('key, 'data) Core__.Hash_queue.t -> 'key -> [ `No_such_key | `Ok ]
val remove_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> Core__.Import.unit
val lookup_and_remove : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data Core__.Import.option
val replace : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> [ `No_such_key | `Ok ]
val replace_exn : ('key, 'data) Core__.Hash_queue.t -> 'key -> 'data -> Core__.Import.unit
val drop : ?n:Core__.Import.int -> ('key, 'data) Core__.Hash_queue.t -> [ `back | `front ] -> Core__.Import.unit
val drop_front : ?n:Core__.Import.int -> ('key, 'data) Core__.Hash_queue.t -> Core__.Import.unit
val drop_back : ?n:Core__.Import.int -> ('key, 'data) Core__.Hash_queue.t -> Core__.Import.unit
val iteri : ('key, 'data) Core__.Hash_queue.t -> f:(key:'key -> data:'data -> Core__.Import.unit) -> Core__.Import.unit
val foldi : ('key, 'data) Core__.Hash_queue.t -> init:'b -> f:('b -> key:'key -> data:'data -> 'b) -> 'b
type 'data t = (key, 'data) Core__.Hash_queue.t
val sexp_of_t : ('data -> Sexplib0.Sexp.t) -> 'data t -> Sexplib0.Sexp.t