package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SocExecValueSource

Manipulating data in the Soc interpreter

Sourcetype path = Soc.ident list
Sourcetype subst = path * Data.v
Sourcetype substs
Sourceval sadd : substs -> path -> Data.v -> substs
Sourceval sadd_partial : substs -> Soc.var_expr -> path -> Data.v -> substs
Sourcetype ctx = {
  1. cpath : Soc.ident list;
  2. s : substs;
}
Sourceval create_ctx : Soc.tbl -> Soc.t -> ctx
Sourceval get_val : Soc.ident -> ctx -> Data.v
Sourceval get_value : ctx -> Soc.var_expr -> Data.v
Sourceval get_enum : Soc.ident -> ctx -> Soc.ident
Sourceval get_vals : ctx -> Data.subst list
Sourceval string_of_substs : substs -> string
Sourceval dump_substs : substs -> unit
Sourceval read_enum : Soc.ident list -> Soc.ident
Sourceval read_value : Soc.var -> Data.v
Sourceval substitute_args_and_params : Soc.var_expr list -> Soc.var list -> ctx -> substs
Sourceval substitute_params_and_args : Soc.var list -> Soc.var_expr list -> ctx -> substs
Sourceval filter_top_subst : substs -> Data.subst list
Sourceval substs_to_data_subst : substs -> Data.subst list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct