Module fungi_lang::html

Convert fungi execution traces into HTML files

Structs

Div

The Div struct represents a restricted form of a <div> element in HTML. The field tag is a string, which corresponds to a distinguished tag CSS class that indicates the Rust datatype reflected into this Div. The other CSS classes hold bits that signal various subcases (e.g., of enums in the reflect module). For Rust structures that have subfields and/or substructure, the Div’s extent field lists their reflections into Divs. In principle, the produced Div structure has an equivalent amount of information to the corresponding Rust datatype, and could be “parsed” back into this Rust datatype later (let’s not do that, though!). The text field is useful for Div versions of Names, for giving the text of the name.

Traits

WriteHTML

Functions

class_of_dcg_node

div_of_alloc_tree

div_of_dcg_alloc_edge

div_of_dcg_force_edge

div_of_dcg_succs

div_of_edge

div_of_effect_edge

div_of_env_pair

div_of_force_tree

div_of_loc

div_of_name

div_of_oploc

div_of_path

div_of_succ

div_of_trace

html_string_of_name

style_string