Crate generate_ml

Generate ocaml deserialization code for our types.

This binary runs charon on itself and generates the appropriate <type>_of_json functions for our types. The generated functions are inserted into ./generate-ml/GAstOfJson.template.ml to construct the final GAstOfJson.ml.

To run it, call cargo run --bin generate-ml. It is also run by make generate-ml in the crate root. Don’t forget to format the output code after regenerating.

Structs

DeriveVisitors 🔒

GenerateCodeFor 🔒

Replace markers in template with auto-generated code.

GenerateCtx 🔒

Enums

GenerationKind 🔒

The kind of code generation to perform.

Functions

build_branch 🔒

build_doc_comment 🔒

Make a doc comment that contains the given string, indenting it if necessary.

build_function 🔒

build_type 🔒

convert_vars 🔒

extract_doc_comments 🔒

generate_ml 🔒

generate_visitor_bases 🔒

main 🔒

make_ocaml_ident 🔒

repr_name 🔒

Name is a complex datastructure; to inspect it we serialize it a little bit.

type_decl_to_json_deserializer 🔒

type_decl_to_ocaml_decl 🔒

Generate an ocaml type declaration that mirrors decl.

type_name_to_ocaml_ident 🔒

type_to_ocaml_call 🔒

Converts a type to the appropriate *_of_json call. In case of generics, this combines several functions, e.g. list_of_json bool_of_json.

type_to_ocaml_name 🔒

Converts a type to the appropriate ocaml name. In case of generics, this provides appropriate parameters.