Module `Kappa_data_structures.NamedDecls`Source

Stores a bunch of stuff the user gave a name to

Sourcetype 'a t = private {

decls : (string * 'a) array;
(*
the name of the stuff * the stuff
*)
finder : int Kappa_data_structures.Mods.StringMap.t;
(*
fst (fst d.decls.(StringMap.find s d.finder)) MUST be equal to s
*)

}

val create : 
  ?forbidden:Kappa_data_structures.Mods.StringSet.t ->
  (string Loc.annoted * 'a) array ->
  'a t

create ~forbidden string_val_assoc evaluates to a namedDecls.t from the string-to-variable associations string_val_assoc except from strings in forbidden. Loc info is not kept.

Source

val create_from_list : 
  ?forbidden:Kappa_data_structures.Mods.StringSet.t ->
  (string Loc.annoted * 'a) list ->
  'a t

Source

val create_no_loc : 
  ?forbidden:Kappa_data_structures.Mods.StringSet.t ->
  (string * 'a) array ->
  'a t

create_no_loc behaves the same as create, but without the need to provide the Loc info that will be trashed

Sourceval size : 'a t -> int

Sourceval elt_name : 'a t -> int -> string

elt_name nd i evaluates to the name declaration of id i in nd, or raises an exception if it doesn't exist

Sourceval elt_id : ?kind:string -> 'a t -> string Loc.annoted -> int

elt_id ~kind nd (s, pos) evaluates to the data matching declaration s in nd, or if it doesn't exist, throw and exception with info about kind and pos

Sourceval elt_val : 'a t -> int -> 'a

Access data by id

Sourceval fold : (int -> string -> 'a -> 'b -> 'a) -> 'a -> 'b t -> 'a

Sourceval map : (string -> 'a -> 'b) -> 'a t -> 'b t

Sourceval mapi : (int -> string -> 'a -> 'b) -> 'a t -> 'b t

Source

val print : 
  sep:(Format.formatter -> unit) ->
  (int -> string -> Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Source

val debug_print : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a t ->
  unit

Sourceval to_json : ('a -> Yojson.Basic.t) -> 'a t -> Yojson.Basic.t

Sourceval of_json : (Yojson.Basic.t -> 'a) -> Yojson.Basic.t -> 'a t

raises Yojson.Basic.Util.Type_error
if it fails

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.generic/Kappa_data_structures/NamedDecls/index.html

Module `Kappa_data_structures.NamedDecls`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.generic/Kappa_data_structures/NamedDecls/index.html

Module Kappa_data_structures.NamedDeclsSource

Module `Kappa_data_structures.NamedDecls`Source