fungi-lang 0.1.63

//! Convert fungi execution traces into HTML files

use std::io::prelude::*;
use std::collections::HashMap;

use crate::dynamics;

use adapton::engine::Name;
use adapton::reflect::{string_of_name,succs_of_node,trace,Node,Loc,Path,Succ,Effect,DCG};
use adapton::reflect::trace::EffectEdge;

//use adapton::engine::reflect::{trace, string_of_name, string_of_loc};
//use labdef::{LabParams,Lab,LabResults, Sample};

/// 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 `enum`s in the `reflect`
/// module).  For Rust structures that have subfields and/or
/// substructure, the `Div`'s `extent` field lists their reflections
/// into `Div`s.  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 `Name`s, for giving the text of the name.
#[derive(Debug,Clone)]
pub struct Div {
    pub tag:     String,
    pub classes: Vec<String>,
    pub extent:  Box<Vec<Div>>,
    pub text:    Option<String>,
}

// Questions:
// Reflections of names? 
// Do we expose their internal structure as `div`s, or stringify them?
// For paths, clearly we wanted to expose their structure.
// Perhaps for forked names such as `11.L.r.L` we'll want something similar?

// Thoughts:

// Both: We want names to be like strings when they are used as CSS
// classes that control when, during user interaction, certain div
// elements highlight, focus or toggle between hide/show.  On the
// other hand, we may also want the user to be able to see and inspect
// the internal structure of names, e.g., to select/highlight related
// names in the lineage.  E.g., `11.L.r.L` is likely related to
// `11.L.r.r` since a single `fork` operation produced them both.

pub fn html_string_of_name (n:&Name) -> String {
    use regex::Regex;
    let re = Regex::new(r"▲").unwrap();
    format!("{}", re.replace_all(&string_of_name(n), "leaf"))
}

pub fn div_of_name (n:&Name) -> Div {
    Div{ tag: String::from("name"),
         // TODO: Remove illegal chars for CSS classes (check spec)
         // classes: vec![ format!("{:?}", n) ],
         classes: vec![ html_string_of_name(n) ],
         extent: Box::new( vec![ ] ),
         text: Some( format!("{}", html_string_of_name(n) ) ) }
}

pub fn div_of_path (p:&Path) -> Div {
    Div{ tag: String::from("path"),
         //classes: vec![ format!("{:?}", p) ],
         classes: vec![ ],
         extent: Box::new(
             p.iter().map( div_of_name ).collect()
         ),
         text: None }
}

pub fn div_of_loc (l:&Loc) -> Div {
    Div{ tag: String::from("loc"),
         // TODO: Remove illegal chars for CSS classes (check spec)
         //classes: vec![ format!("{:?}", l) ],
         classes: vec![ ],       
         extent: Box::new(vec![ div_of_path(&l.path), div_of_name(&l.name) ]),
         //text: Some( format!("{:?}",l) )
         text:None,
    }
}

pub fn div_of_oploc (ol:&Option<Loc>) -> Div {
    if true {
        Div{ tag: String::from("oploc"), 
             classes: vec![],
             extent: Box::new(vec![]),
             text: None,
        }
    } else {
        Div{ tag: String::from("oploc"),
             classes: vec![],
             extent: Box::new(match *ol { 
                 None => vec![],
                 Some(ref l) => vec![ div_of_loc(l)]}),
             text: None
        }
    }
}

pub fn div_of_succ (s:&Succ) -> Div {
    Div{ tag: String::from("succ"),
         classes: vec![
             String::from(match s.effect {
                 Effect::Alloc => "succ-alloc",
                 Effect::Force => "succ-force"
             }),
             String::from(match s.dirty {
                 true  => "succ-dirty",
                 false => "succ-not-dirty"
             }),
         ],
         text: None,
         extent: Box::new(vec![
             div_of_loc(&s.loc),
         ])}
}

pub fn div_of_edge (e:&trace::Edge) -> Div {
    Div{ tag: String::from("edge"),
         classes: vec![],
         text: None,
         extent: Box::new(
             vec![ div_of_oploc(&e.loc),
                   div_of_succ(&e.succ) ]) }
}

pub fn div_of_effect_edge (e:&trace::EffectEdge) -> Div {
    match e {
        EffectEdge::Fwd(e) => {
            Div{ tag: String::from("edge"),
                 classes: vec![],
                 text: None,
                 extent: Box::new(
                     vec![ div_of_oploc(&e.loc),
                           div_of_succ(&e.succ) ]) }
        }
        // TODO: Distinguish this case?
        EffectEdge::Bwd(e) => {
            Div{ tag: String::from("edge"),
                 classes: vec![],
                 text: None,
                 extent: Box::new(
                     vec![ div_of_oploc(&e.loc),
                           div_of_succ(&e.succ) ]) }
        }
        EffectEdge::None => {
            Div{ tag: String::from("none"),
                 classes: vec![],
                 text: None,
                 extent: Box::new(vec![ ]) }
        }
    }
}

pub fn div_of_env_pair(
    var:&String, 
    val:&dynamics::RtVal) -> Div
{
    Div {
        tag: "fgi-env-pair".to_string(),
        classes: vec![],
        text: None,
        extent:Box::new(vec![
            Div {
                tag: "fgi-env-var noextent".to_string(),
                classes: vec![],
                text: Some(var.clone()),
                extent:Box::new(vec![])
            },
            Div {
                tag: "fgi-env-val".to_string(),
                classes: vec![],
                text: Some(format!("{:?}", val)),
                extent:Box::new(vec![])
            },
        ])
    }
}

/*
pub fn div_of_env (env:&dynamics::Env) -> Div {
    Div {
        tag: "fgi-env".to_string(),
        classes: vec![],
        text: None,
        extent:Box::new(
            env.iter().map(|(ref x, ref v)| 
                           div_of_env_pair(x,v)).collect())
    }
}
 */

// pub fn div_of_value_tree (dcg:&DCG, visited:&mut HashMap<Loc, ()>, val:&Val) -> Div {
//     let div = Div {
//         tag: match *val {
//             Val::Constr(ref n, _) => { format!("val-constr constr-{}", string_of_name(n) ) },
//             Val::Struct(ref n, _) => { format!("val-struct struct-{}", string_of_name(n) ) },
//             Val::Const( ref c )     => { format!("val-const  const-{}" , match *c {
//                 Const::Nat( ref n ) => format!("{}", n),
//                 Const::Num( ref n ) => format!("{}", n),
//                 Const::String( ref s ) => s.clone(),
//             })},
//             Val::Tuple(ref vs) => { format!("val-tuple tuple-{}", vs.len()) },
//             Val::Vec(ref vs) => { format!("val-vec vec-{}", vs.len()) },
//             Val::Art(ref loc, _) => { format!("val-art {}", string_of_loc( loc ) ) },
//             Val::ValTODO => { format!("val-TODO") },
//             Val::Name(ref n) => { format!("name val-name {}", string_of_name(n)) },
//         },
//         classes: vec![],
//         text: 
//         match *val {
//             Val::Constr(ref n, _) => { Some(string_of_name(n)) },
//             Val::Struct(ref n, _) => { Some(string_of_name(n)) },
//             Val::Const( ref c )     => Some(match *c {
//                 Const::Nat( ref n ) => format!("{}", n),
//                 Const::Num( ref n ) => format!("{}", n),
//                 Const::String( ref s ) => format!("{:?}", s),
//             }),
//             Val::Tuple( _ ) => None,
//             Val::Vec( _ ) => None,
//             Val::ValTODO => None,
//             Val::Art( ref l, _ ) => {
//                 Some(format!("{}", string_of_loc(l)))
//             }
//             Val::Name(ref n) => {
//                 Some(format!("{}", string_of_name(n)))
//             }
//         },
        
//         extent: Box::new(
//             match *val {
//                 Val::Constr(_, ref vs) => { let ds : Vec<_> = vs.iter().map( |v| div_of_value_tree(dcg, visited,  v) ).collect() ; ds },
//                 Val::Struct(_, ref fs) => { let ds : Vec<_> = fs.iter().map(  |&(ref _f, ref v) | 
//                                                                                  div_of_value_tree(dcg, visited, &v) ).collect() ; ds },
//                 Val::Tuple(ref vs) =>     { let ds : Vec<_> = vs.iter().map( |v| div_of_value_tree(dcg, visited,  v) ).collect() ; ds },
//                 Val::Vec(ref vs) =>       { let ds : Vec<_> = vs.iter().map( |v| div_of_value_tree(dcg, visited,  v) ).collect() ; ds },
//                 Val::Const( _ ) => vec![],
//                 Val::ValTODO => vec![],
//                 Val::Name(_) => vec![],
//                 Val::Art( ref l, _ ) => vec![
//                     div_of_loc(l), 
//                     match dcg.table.get(l) {
//                         None => Div{ tag: String::from("dangling"), 
//                                      classes:vec![String::from("no-extent")], 
//                                      text:Some(String::from("Dangling")), 
//                                      extent:Box::new(vec![]),
//                         },
//                         Some(node) => {
//                             match *node {
//                                 Node::Pure(ref p) => div_of_value_tree(dcg, visited, &p.value),
//                                 Node::Ref(ref n) => div_of_value_tree(dcg, visited, &n.value),
//                                 Node::Comp(ref n) => match n.value {
//                                     None => 
//                                         Div{ tag: String::from("Unevald"), 
//                                              classes:vec![String::from("no-extent")], 
//                                              text:Some(String::from("Uneval'd")), 
//                                              extent:Box::new(vec![]),
//                                         },
//                                     Some(ref v) => div_of_value_tree(dcg, visited, v),
//                                 }
//                             }
//                         }
//                     }
//                 ],
//             }
//         )
//     }
//     ;
//     div
// }

pub fn div_of_force_tree (dcg:&DCG, visited:&mut HashMap<Loc, ()>, loc:&Loc) -> Div {  
    let mut div = Div {
        tag:String::from("force-tree"),
        text:None,
        classes: vec![],
        extent: Box::new(vec![ div_of_loc( loc ) ]),
    };
    visited.insert( loc.clone(), () );
    let no_extent = match dcg.table.get( loc ) {
        None => panic!("dangling pointer in reflected DCG!"),
        Some( nd ) => {
            match succs_of_node( nd ) {
                None => true, // No succs; E.g., ref cells have no succs
                Some( succs ) => {
                    let mut no_extent = true;
                    for succ in succs {
                        if succ.effect == Effect::Force {
                            no_extent = false;
                            let succ_div = div_of_force_tree (dcg, visited, &succ.loc);
                            div.extent.push( succ_div )
                        }
                    };
                    no_extent
                }
            }
        }
    };
    if no_extent {
        div.classes.push(String::from("no-extent"))
    };
    div
}

pub fn div_of_alloc_tree (dcg:&DCG, visited:&mut HashMap<Loc, ()>, loc:&Loc) -> Div {  
    let mut div = Div {
        tag:String::from("alloc-tree"),
        text:None,
        classes: vec![],
        extent: Box::new(vec![ div_of_loc( loc ) ]),
    };
    visited.insert( loc.clone(), () );
    let no_extent = match dcg.table.get( loc ) {
        None => panic!("dangling pointer in reflected DCG!"),
        Some( nd ) => {
            match succs_of_node( nd ) {
                None => true, // No succs; E.g., ref cells have no succs
                Some( succs ) => {
                    let mut no_extent = true;
                    for succ in succs {
                        if succ.effect == Effect::Alloc {
                            no_extent = false;
                            let succ_div = div_of_alloc_tree (dcg, visited, &succ.loc);
                            div.extent.push( succ_div )
                        }
                    };
                    no_extent
                }
            }
        }
    };
    if no_extent {
        div.classes.push(String::from("no-extent"))
    };
    div
}


pub fn class_of_dcg_node (nd:&Node) -> String {
    match *nd {
        Node::Comp(_) => String::from("dcg-node-comp"),
        Node::Ref(_) => String::from("dcg-node-ref"),
        Node::Pure(_) => String::from("dcg-node-pure"),
    }
}

pub fn div_of_dcg_alloc_edge (src:Option<&Loc>, loc:&Loc, nd:&Node, is_dirty:bool) -> Div {
    let div = Div {
        tag:String::from("dcg-alloc-edge"),
        text:None,
        classes: vec![ if is_dirty { String::from("dirty") } else { String::from("clean") },
                       if src == None { String::from("editor-edge") } else { String::from("dcg-edge") },
                       class_of_dcg_node( nd ) ],
        extent: Box::new(vec![ div_of_loc( loc ) ]),
    };
    div
}

pub fn div_of_dcg_succs (dcg:&DCG, visited:&mut HashMap<Loc, ()>, loc:Option<&Loc>, 
                         succs: &Vec<Succ>,
                         extent: &mut Vec<Div>) {  
    for succ in succs {
        match succ.effect {
            Effect::Alloc => {
                let node = dcg.table.get( &succ.loc ).unwrap();
                let succ_div = div_of_dcg_alloc_edge (loc, &succ.loc, &node, succ.dirty);
                extent.push( succ_div )
            },
            Effect::Force => {
                let succ_div = div_of_dcg_force_edge (loc, dcg, visited, &succ.loc, succ.dirty, succ.is_dup);
                extent.push( succ_div )
            }
        }     
    }
}

pub fn div_of_dcg_force_edge (src:Option<&Loc>, dcg:&DCG, visited:&mut HashMap<Loc, ()>, 
                              loc:&Loc, is_dirty:bool, is_dup:bool) -> Div 
{  
    let mut div = Div {
        tag:String::from("dcg-force-edge"),
        text:None,
        classes: vec![ 
            if is_dup   { String::from("dup-edge") } else { String::from("not-dup-edge") },
            if is_dirty { String::from("dirty") } else { String::from("clean") }, 
            if src == None { String::from("editor-edge") } else { String::from("dcg-edge") },
        ],    
        extent: Box::new(vec![ div_of_loc( loc ) ]),
    };
    visited.insert( loc.clone(), () );
    let no_extent = match dcg.table.get( loc ) {
        None => panic!("dangling pointer in reflected DCG!"),
        Some( nd ) => {
            div.classes.push( class_of_dcg_node(nd) );
            match succs_of_node( nd ) {
                None => true, // No succs; E.g., ref cells have no succs
                Some( succs ) => { 
                    div_of_dcg_succs(dcg, visited, Some(loc), succs, &mut div.extent);
                    false
                }
            }
        }
    };
    if no_extent {
        div.classes.push(String::from("no-extent"))
    };
    div
}

pub fn div_of_trace (tr:&trace::Trace) -> Div {
    // For linking to rustdoc documentation from the output HTML
    let _tr_eff_url = "https://docs.rs/adapton/0/adapton/reflect/trace/enum.Effect.html";
    let mut div = 
        Div{ 
            tag: String::from("trace"),
            text: None,
            classes: vec![
                match tr.effect {
                    trace::Effect::Debug(None,Some(_)) => "tr-doc".to_string(),
                    trace::Effect::Debug(_,_) => "tr-debug".to_string(),
                    trace::Effect::CleanRec  => "tr-clean-rec".to_string(),
                    trace::Effect::CleanEval => "tr-clean-eval".to_string(),
                    trace::Effect::CleanEdge => "tr-clean-edge".to_string(),
                    trace::Effect::Dirty     => "tr-dirty".to_string(),
                    trace::Effect::Remove    => "tr-remove".to_string(),
                    trace::Effect::Alloc(trace::AllocCase::LocFresh,_)     => "tr-alloc-loc-fresh".to_string(),
                    trace::Effect::Alloc(trace::AllocCase::LocExists(trace::ChangeFlag::ContentSame),_) => "tr-alloc-loc-exists-same".to_string(),
                    trace::Effect::Alloc(trace::AllocCase::LocExists(trace::ChangeFlag::ContentDiff),_) => "tr-alloc-loc-exists-diff".to_string(),
                    //trace::Effect::Force(_) if tr.edge.succ.is_dup         => "tr-force-dup",
                    trace::Effect::Force(trace::ForceCase::CompCacheMiss)  => "tr-force-compcache-miss".to_string(),
                    trace::Effect::Force(trace::ForceCase::CompCacheHit)   => "tr-force-compcache-hit".to_string(),
                    trace::Effect::Force(trace::ForceCase::RefGet)         => "tr-force-refget".to_string(),
                }
            ],
            extent: Box::new(
                vec![                    
                    Div{ 
                        tag:
                        // Special case of tag for debug labels, which we want to show independently of the other (more verbose) effects:
                        match tr.effect {
                            trace::Effect::Debug(Some(_),None   ) => String::from("debug"),
                            trace::Effect::Debug(None,   Some(_)) => String::from("doc"),
                            _ => String::from("tr-effect"),
                        },
                        text: Some(              
                            match tr.effect {
                                trace::Effect::Debug(None,       None) => "Debug(None,None)".to_string(),
                                trace::Effect::Debug(None,       Some(ref s)) => s.clone(),
                                trace::Effect::Debug(Some(ref n),None       ) => string_of_name(n),
                                trace::Effect::Debug(Some(ref n),Some(ref s)) => format!("{}: {}", string_of_name(n), s),
                                trace::Effect::CleanRec  => "CleanRec".to_string(),
                                trace::Effect::CleanEval => "CleanEval".to_string(),
                                trace::Effect::CleanEdge => "CleanEdge".to_string(),
                                trace::Effect::Dirty     => "Dirty".to_string(),
                                trace::Effect::Remove    => "Remove".to_string(),
                                trace::Effect::Alloc(trace::AllocCase::LocFresh,_)     => "Alloc(LocFresh)".to_string(),
                                trace::Effect::Alloc(trace::AllocCase::LocExists(trace::ChangeFlag::ContentSame),_) => "Alloc(LocExists(SameContent))".to_string(),
                                trace::Effect::Alloc(trace::AllocCase::LocExists(trace::ChangeFlag::ContentDiff),_) => "Alloc(LocExists(DiffContent))".to_string(),
                                //trace::Effect::Force(_) if tr.edge.succ.is_dup         => "ForceDup",
                                trace::Effect::Force(trace::ForceCase::CompCacheMiss)  => "Force(CompCacheMiss)".to_string(),
                                trace::Effect::Force(trace::ForceCase::CompCacheHit)   => "Force(CompCacheHit)".to_string(),
                                trace::Effect::Force(trace::ForceCase::RefGet)         => "Force(RefGet)".to_string(),
                            }),
                        classes: vec![],
                        extent: Box::new(vec![]),
                    },
                    // Div{
                    //     tag: String::from("tr-symbols"),
                    //     text: match tr.effect {
                    //         trace::Effect::Alloc(_,trace::AllocKind::RefCell) => Some(String::from("▣")),
                    //         trace::Effect::Alloc(_,trace::AllocKind::Thunk)   => Some(String::from("◯")),
                    //         _ => None,              
                    //     },
                    //     classes:vec![],
                    //     extent: Box::new(vec![]),
                    // },            
                    div_of_effect_edge(&tr.edge)
                ])}
    ;
    match tr.effect {
        trace::Effect::Alloc(_,trace::AllocKind::RefCell) => div.classes.push(String::from("alloc-kind-refcell")),
        trace::Effect::Alloc(_,trace::AllocKind::Thunk)   => div.classes.push(String::from("alloc-kind-thunk")),
        _ => ()
    };
    if tr.extent.len() > 0 {
        div.classes.push( String::from("has-extent") );
        div.extent.push(
            Div{ tag: String::from("tr-extent"),
                 text: None,
                 classes: vec![],
                 extent: 
                 Box::new(tr.extent.iter().map(div_of_trace).collect())
            }
        )
    } else {
        div.classes.push( String::from("no-extent") );
    };
    return div
}

pub trait WriteHTML {
    fn write_html<Wr:Write>(&self, wr: &mut Wr);
}

impl WriteHTML for Div {
    fn write_html<Wr:Write>(&self, wr: &mut Wr) {    
        writeln!(wr, "<div class=\"{} {}\">", 
                 self.tag, 
                 self.classes.iter().fold(
                     String::new(), 
                     |mut cs,c|{cs.push_str(" ");
                                cs.push_str(c.as_str()); cs}
                 )
        ).unwrap();
        match self.text {
            None => (),
            Some(ref text) => writeln!(wr, "{}", text).unwrap()
        };
        for div in self.extent.iter() {
            div.write_html(wr);
        };
        writeln!(wr, "</div>").unwrap();
    }
}

impl<T:WriteHTML> WriteHTML for Vec<T> {
    fn write_html<Wr:Write>(&self, wr:&mut Wr) {
        for x in self.iter() {
            x.write_html(wr);
        }
    }
}

pub fn style_string() -> &'static str {
"
<html>
<head>
<script src=\"https://ajax.googleapis.com/ajax/libs/jquery/3.1.1/jquery.min.js\"></script>

<style>
div { 
  display: inline
}
body {
  display: inline;
  color: #aa88cc;
  background: #552266;
  font-family: sans-serif;
  text-decoration: none;
  padding: 0px;
  margin: 0px;
}
body:visited {
  color: #aa88cc;
}
a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
hr {
  display: block;
  float: left;
  clear: both;
  width: 0px;
  border: none;
}

.toggles {
  blackground: #653276;
  display: block;
}

.trace, .force-tree, .alloc-tree, .dcg-alloc-edge, .dcg-force-edge {
  color: black;
  display: inline-block;
  border-style: solid;
  border-color: red;
  border-width: 1px;
  font-size: 0px;
  padding: 0px;
  margin: 1px;
  border-radius: 5px;
}

.debug { 
  font-size: 0px;
}
.tr-effect { 
  display: inline;
  display: none;
  font-size: 10px;
  background-color: white;
  border-radius: 2px;
}
.tr-symbols {  
  font-size: 10px;
  display: inline;
  display: none;
}

.path {  
  display: inline-block;
  display: none;

  margin: 0px;
  padding: 1px;
  border-radius: 1px;
  border-style: solid;
  border-width: 1px;
  border-color: #664466;
  background-color: #664466; 
}

.alloc-kind-thunk {
  border-color: green;
  border-radius:20px;
}
.alloc-kind-refcell {
  border-color: green;
  border-radius:0;
}
.tr-force-compcache-miss {  
  background: #ccccff;
  border-color: blue;
  padding: 0px;
}
.tr-force-compcache-hit {  
  background: #ccccff;
  border-color: blue;
  border-width: 4px;
  padding: 3px;
}
.tr-force-refget {  
  border-radius: 0;
  border-color: blue;
}
.tr-force-dup {  
  border-width: 0px;
  padding: 0px;
  background: #666666;
  display: none;
}
.tr-doc {  
  color: black;
  background: white;
  border-color: black;
  border-width: 3px; 
  margin: 1px;
  padding: 2px;
  display: block;
  font-size: 20px;
}
.tr-debug {  
  background: white;
  border-color: black;
  border-width: 1px; 
  margin: 0px;
  padding: 1px;
  display: none;
}
.tr-clean-rec {  
  background: #222244;
  border-color: #aaaaff;
  border-width: 1px; 
}
.tr-clean-eval {  
  background: #8888ff;
  border-color: white;
  border-width: 4px; 
}
.tr-clean-edge {  
  background: white;
  border-color: #aaaaff;
  border-width: 2px; 
  padding: 3px;
}
.tr-alloc-loc-fresh {  
  padding: 3px;
  background: #ccffcc;
}
.tr-alloc-loc-exists-same {  
  padding: 3px;
  background: #ccffcc;
  border-width: 4px;
  border-color: green;
}
.tr-alloc-loc-exists-diff {  
  padding: 3px;
  background: #ffcccc;
  border-width: 4px;
  border-color: red;
}
.tr-dirty {  
  background: #550000;
  border-color: #ffaaaa;
  border-width: 1px;
}
.tr-remove {  
  background: red;
  border-color: black;
  border-width: 2px;
  padding: 2px;
}

.force-tree {
  background: #ccccff;
  border-color: blue;
}
.alloc-tree {
  background: #ccffcc;
  border-color: green;
}

.no-extent {
  padding: 3px;
}
.page-title {
  display: block;
  font-size: 32px;
  color: #ccaadd;
  margin: 8px;
}

.val-name,
.val-constr,
.val-struct,
.val-tuple,
.val-vec,
.val-art
{
  display: inline-block;
  border-style: solid;
  border-width: 1px;
  border-color: #dd88ff;
  background-color: #220033;
  padding: 1px;
  margin: 1px;
  border-radius 2px;  
  font-size: 0px;  
}
.val-constr,
.val-struct,
.val-tuple,
.val-vec {
  border-color: #dd88ff;
  background-color: #773388;
}
.val-art
{
  padding: 2px;
}

.name {
  display: inline;
  display: none;

  font-size: 9px;
  color: black;
  background: white;
  border-style: solid;
  border-width: 1px;
  border-color: #664466; 
  border-radius: 2px;
  padding: 1px;
  margin: 1px;
}

.val-const
{
  display: inline-block;
  border-style: solid;
  border-color: black;
  border-width: 1px;
  color: black;
  background-color: grey;
  padding: 2px;
  margin: 1px;
  border-radius 5px;  
  font-size: 8px;  
}

</style>

<script>
function toggleDebug() {
 var selection = document.getElementById(\"checkbox-debug\");
 if (selection.checked) {
   $('.tr-debug').css('display', 'inline-block')
 } else {
   $('.tr-debug').css('display', 'none')
 }
}

function toggleDebugText() {
 var selection = document.getElementById(\"checkbox-debug-text\");
 if (selection.checked) {
   $('.debug').css('font-size', '10')
 } else {
   $('.debug').css('font-size', '0')
 }
}

function togglePaths() {
 var selection = document.getElementById(\"checkbox-1\");
 if (selection.checked) {
   $('.path').css('display', 'inline-block')
 } else {
   $('.path').css('display', 'none')
 }
}

function toggleNames() {
 var selection = document.getElementById(\"checkbox-2\");
 if (selection.checked) {
   $('.name').css('display', 'inline')
 } else {
   $('.name').css('display', 'none')
 }
}

function toggleEffects() {
 var selection = document.getElementById(\"checkbox-3\");
 if (selection.checked) {
   $('.tr-effect').css('display', 'inline')
 } else {
   $('.tr-effect').css('display', 'none')
 }
}

function toggleDupForces() {
 var selection = document.getElementById(\"checkbox-4\");
 if (selection.checked) {
   $('.tr-force-dup').css('display', 'inline')
 } else {
   $('.tr-force-dup').css('display', 'none')
 }
}
</script>
</head>

<body>
<fieldset class=\"toggles\">
 <legend>Toggles:</legend>
 <label for=\"show-debug-checkbox\">debug steps</label>
 <input type=\"checkbox\" name=\"show-debug-checkbox\" id=\"checkbox-debug\" onchange=\"toggleDebug()\">
 </br>
 <label for=\"show-debug-checkbox\">debug step names</label>
 <input type=\"checkbox\" name=\"show-debug-text-checkbox\" id=\"checkbox-debug-text\" onchange=\"toggleDebugText()\">
 </br>
 <label for=\"show-paths-checkbox\">paths</label>
 <input type=\"checkbox\" name=\"show-paths-checkbox\" id=\"checkbox-1\" onchange=\"togglePaths()\">
 </br>
 <label for=\"show-names-checkbox\">names</label>
 <input type=\"checkbox\" name=\"show-names-checkbox\" id=\"checkbox-2\" onchange=\"toggleNames()\">
 </br>
 <label for=\"show-effects-checkbox\">
 <a href=\"https://docs.rs/adapton/0/adapton/reflect/trace/enum.Effect.html\">effects</a>
 </label>
 <input type=\"checkbox\" name=\"show-effects-checkbox\" id=\"checkbox-3\" onchange=\"toggleEffects()\">
 </br>
 <label for=\"show-effects-checkbox\">duplicate forces</label>
 <input type=\"checkbox\" name=\"show-effects-checkbox\" id=\"checkbox-4\" onchange=\"toggleDupForces()\">
</fieldset>
"
}