var searchIndex = {};
searchIndex["adapton"] = {"doc":"Adapton for Rust","items":[[0,"adapton_syntax","adapton","",null,null],[3,"ProgPt","adapton::adapton_syntax","",null,null],[12,"hash","","",0,null],[12,"symbol","","",0,null],[12,"file","","",0,null],[12,"line","","",0,null],[12,"column","","",0,null],[5,"my_hash","","",null,{"inputs":[{"name":"t"}],"output":{"name":"u64"}}],[11,"fmt","","",0,null],[11,"hash","","",0,null],[11,"clone","","",0,null],[11,"eq","","",0,null],[11,"ne","","",0,null],[0,"adapton_sigs","adapton","",null,null],[3,"MutArt","adapton::adapton_sigs","",null,null],[12,"loc","","",1,null],[12,"phantom","","",1,null],[4,"Art","","",null,null],[13,"Rc","","",2,null],[13,"Loc","","",2,null],[4,"ArtIdChoice","","",null,null],[13,"Eager","","",3,null],[13,"Structural","","",3,null],[13,"Nominal","","",3,null],[8,"Adapton","","",null,null],[16,"Name","","",4,null],[16,"Loc","","",4,null],[10,"new","","",4,{"inputs":[],"output":{"name":"self"}}],[10,"name_of_u64","","",4,{"inputs":[{"name":"self"},{"name":"u64"}],"output":{"name":"name"}}],[10,"name_of_string","","",4,{"inputs":[{"name":"self"},{"name":"string"}],"output":{"name":"name"}}],[10,"name_pair","","",4,{"inputs":[{"name":"self"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[10,"name_fork","","",4,null],[11,"name_fork3","","",4,null],[11,"name_fork4","","",4,null],[10,"ns","","",4,{"inputs":[{"name":"self"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[10,"put","","",4,{"inputs":[{"name":"self"},{"name":"t"}],"output":{"name":"art"}}],[10,"cell","","",4,{"inputs":[{"name":"self"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[10,"set","","",4,{"inputs":[{"name":"self"},{"name":"mutart"},{"name":"t"}],"output":null}],[10,"thunk","","",4,{"inputs":[{"name":"self"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"}],"output":{"name":"art"}}],[10,"force","","",4,{"inputs":[{"name":"self"},{"name":"art"}],"output":{"name":"t"}}],[8,"AdaptonData","","",null,null],[11,"clone","","",2,null],[11,"eq","","",2,null],[11,"ne","","",2,null],[11,"fmt","","",2,null],[11,"hash","","",2,null],[11,"clone","","",1,null],[11,"eq","","",1,null],[11,"ne","","",1,null],[11,"fmt","","",1,null],[11,"hash","","",1,null],[11,"clone","","",3,null],[11,"eq","","",3,null],[11,"ne","","",3,null],[11,"fmt","","",3,null],[11,"hash","","",3,null],[0,"adapton_state","adapton","",null,null],[3,"Name","adapton::adapton_state","",null,null],[3,"Loc","","",null,null],[3,"AdaptonState","","",null,null],[5,"main","","",null,{"inputs":[],"output":null}],[11,"clone","","",5,null],[11,"eq","","",5,null],[11,"ne","","",5,null],[11,"fmt","","",5,null],[11,"hash","","",5,null],[11,"clone","","",6,null],[11,"eq","","",6,null],[11,"ne","","",6,null],[11,"fmt","","",6,null],[11,"hash","","",6,null],[11,"fmt","","",7,null],[11,"new","","",7,{"inputs":[],"output":{"name":"adaptonstate"}}],[11,"name_of_string","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"string"}],"output":{"name":"name"}}],[11,"name_of_u64","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"u64"}],"output":{"name":"name"}}],[11,"name_pair","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"name"},{"name":"name"}],"output":{"name":"name"}}],[11,"name_fork","","",7,null],[11,"ns","","",7,{"inputs":[{"name":"self"},{"name":"name"},{"name":"f"}],"output":{"name":"t"}}],[11,"put","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"t"}],"output":{"name":"art"}}],[11,"cell","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"name"},{"name":"t"}],"output":{"name":"mutart"}}],[11,"set","","",7,{"inputs":[{"name":"self"},{"name":"mutart"},{"name":"t"}],"output":null}],[11,"thunk","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"artidchoice"},{"name":"progpt"},{"name":"rc"},{"name":"arg"}],"output":{"name":"art"}}],[11,"force","","",7,{"inputs":[{"name":"adaptonstate"},{"name":"art"}],"output":{"name":"t"}}],[0,"structures","adapton","",null,null],[5,"tree_reduce_monoid","adapton::structures","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"elm"},{"name":"binop"}],"output":{"name":"elm"}}],[5,"list_reduce_monoid","","",null,{"inputs":[{"name":"a"},{"name":"list"},{"name":"elm"},{"name":"binop"}],"output":{"name":"elm"}}],[5,"tree_map","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"f"},{"name":"g"}],"output":{"name":"tree"}}],[5,"tree_filter","","",null,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"f"}],"output":{"name":"tree"}}],[5,"list_of_tree","","",null,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"list"}}],[5,"rev_list_of_tree","","",null,{"inputs":[{"name":"a"},{"name":"tree"}],"output":{"name":"list"}}],[5,"tree_of_list","","",null,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"tree"}}],[5,"list_merge","","",null,{"inputs":[{"name":"a"},{"name":"option"},{"name":"list"},{"name":"option"},{"name":"list"}],"output":{"name":"list"}}],[5,"list_merge_sort","","",null,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"list"}}],[8,"ListT","","",null,null],[16,"List","","",8,null],[10,"nil","","",8,{"inputs":[{"name":"a"}],"output":{"name":"list"}}],[10,"cons","","",8,{"inputs":[{"name":"a"},{"name":"hd"},{"name":"list"}],"output":{"name":"list"}}],[10,"name","","",8,{"inputs":[{"name":"a"},{"name":"name"},{"name":"list"}],"output":{"name":"list"}}],[10,"art","","",8,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"list"}}],[10,"rc","","",8,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"list"}}],[10,"elim","","",8,{"inputs":[{"name":"a"},{"name":"list"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[10,"elim_with","","",8,{"inputs":[{"name":"a"},{"name":"list"},{"name":"arg"},{"name":"nil"},{"name":"cons"},{"name":"name"}],"output":{"name":"res"}}],[11,"singleton","","",8,{"inputs":[{"name":"a"},{"name":"hd"}],"output":{"name":"list"}}],[11,"is_empty","","",8,{"inputs":[{"name":"a"},{"name":"list"}],"output":{"name":"bool"}}],[8,"TreeT","","",null,null],[16,"Tree","","",9,null],[10,"nil","","",9,{"inputs":[{"name":"a"}],"output":{"name":"tree"}}],[10,"leaf","","",9,{"inputs":[{"name":"a"},{"name":"leaf"}],"output":{"name":"tree"}}],[10,"bin","","",9,{"inputs":[{"name":"a"},{"name":"bin"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"name","","",9,{"inputs":[{"name":"a"},{"name":"name"},{"name":"tree"},{"name":"tree"}],"output":{"name":"tree"}}],[10,"art","","",9,{"inputs":[{"name":"a"},{"name":"art"}],"output":{"name":"tree"}}],[10,"rc","","",9,{"inputs":[{"name":"a"},{"name":"rc"}],"output":{"name":"tree"}}],[10,"elim_with","","",9,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"arg"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[10,"elim","","",9,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_lr","","",9,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_rl","","",9,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"res"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[11,"fold_up","","",9,{"inputs":[{"name":"a"},{"name":"tree"},{"name":"nilc"},{"name":"leafc"},{"name":"binc"},{"name":"namec"}],"output":{"name":"res"}}],[14,"prog_pt!","adapton","",null,null]],"paths":[[3,"ProgPt"],[3,"MutArt"],[4,"Art"],[4,"ArtIdChoice"],[8,"Adapton"],[3,"Name"],[3,"Loc"],[3,"AdaptonState"],[8,"ListT"],[8,"TreeT"]]};
initSearch(searchIndex);