var searchIndex = {};
searchIndex["identity"] = {"doc":"","items":[[3,"Refl","identity","",null,null],[0,"lift","","",null,null],[3,"LiToTy","identity::lift","",null,null],[3,"LiFunToTyFun","","",null,null],[3,"TyFunToLiFun","","",null,null],[3,"Compose","","Type-level function composition.",null,null],[3,"Id","","Type-level I combinator.",null,null],[3,"Const","","Type-level K combinator.",null,null],[3,"ConstTyFun","","",null,null],[3,"Ap","","Type-level S combinator.",null,null],[3,"ApTyFun0","","",null,null],[3,"ApTyFun1","","",null,null],[3,"Flip","","",null,null],[3,"Flipped","","",null,null],[3,"FlipTyFun","","",null,null],[5,"ty_compose","","",null,{"inputs":[{"name":"tfa"},{"name":"tfb"}],"output":{"name":"compose"}}],[5,"ty_id","","",null,{"inputs":[],"output":{"name":"id"}}],[5,"ty_const","","",null,{"inputs":[],"output":{"name":"const"}}],[5,"ty_ap","","",null,{"inputs":[{"name":"f"},{"name":"g"}],"output":{"name":"ap"}}],[5,"ty_flip","","",null,{"inputs":[{"name":"f"}],"output":{"name":"flip"}}],[8,"TyFun","","",null,null],[16,"Result","","",0,null],[8,"LiFun","","",null,null],[16,"Result","","",1,null],[8,"ForAll","","",null,null],[10,"call","","",2,null],[8,"Exists","","",null,null],[16,"A","","",3,null],[10,"fst","","",3,null],[10,"snd","","",3,null],[11,"fmt","","",4,null],[11,"clone","","",4,null],[11,"clone_from","","",4,null],[11,"default","","",4,{"inputs":[],"output":{"name":"self"}}],[11,"hash","","",4,null],[11,"hash","","",5,null],[11,"default","","",5,{"inputs":[],"output":{"name":"lifuntotyfun"}}],[11,"clone","","",5,null],[11,"fmt","","",5,null],[11,"hash","","",6,null],[11,"default","","",6,{"inputs":[],"output":{"name":"tyfuntolifun"}}],[11,"clone","","",6,null],[11,"fmt","","",6,null],[11,"hash","","",7,null],[11,"default","","",7,{"inputs":[],"output":{"name":"compose"}}],[11,"clone","","",7,null],[11,"fmt","","",7,null],[11,"hash","","",8,null],[11,"default","","",8,{"inputs":[],"output":{"name":"id"}}],[11,"clone","","",8,null],[11,"fmt","","",8,null],[11,"fmt","","",9,null],[11,"clone","","",9,null],[11,"clone_from","","",9,null],[11,"default","","",9,{"inputs":[],"output":{"name":"self"}}],[11,"hash","","",9,null],[11,"hash","","",10,null],[11,"default","","",10,{"inputs":[],"output":{"name":"consttyfun"}}],[11,"clone","","",10,null],[11,"fmt","","",10,null],[11,"hash","","",11,null],[11,"default","","",11,{"inputs":[],"output":{"name":"ap"}}],[11,"clone","","",11,null],[11,"fmt","","",11,null],[11,"hash","","",12,null],[11,"default","","",12,{"inputs":[],"output":{"name":"aptyfun0"}}],[11,"clone","","",12,null],[11,"fmt","","",12,null],[11,"hash","","",13,null],[11,"default","","",13,{"inputs":[],"output":{"name":"aptyfun1"}}],[11,"clone","","",13,null],[11,"fmt","","",13,null],[11,"hash","","",14,null],[11,"default","","",14,{"inputs":[],"output":{"name":"flip"}}],[11,"clone","","",14,null],[11,"fmt","","",14,null],[11,"fmt","","",15,null],[11,"clone","","",15,null],[11,"clone_from","","",15,null],[11,"default","","",15,{"inputs":[],"output":{"name":"self"}}],[11,"hash","","",15,null],[11,"hash","","",16,null],[11,"default","","",16,{"inputs":[],"output":{"name":"fliptyfun"}}],[11,"clone","","",16,null],[11,"fmt","","",16,null],[8,"Identity","identity","An identity type; that is, the type of “equality witnesses.”",null,null],[10,"conv","","",17,null],[10,"conv_ref","","",17,null],[10,"conv_mut","","",17,null],[10,"conv_box","","",17,null],[10,"conv_under","","Leibniz's identity rule, approximately.",17,null],[10,"inv","","",17,null],[10,"elim","","Paulin-Mohring's J rule, approximately.",17,null],[8,"IdentityUtil","","",null,null],[16,"Inverse","","",18,null],[8,"Equals","","",null,null],[16,"IdentityWitness","","",19,null],[10,"identity_witness","","",19,{"inputs":[],"output":{"name":"identitywitness"}}],[11,"fmt","","",20,null],[11,"clone","","",20,null],[11,"clone_from","","",20,null],[11,"default","","",20,{"inputs":[],"output":{"name":"refl"}}],[11,"hash","","",20,null]],"paths":[[8,"TyFun"],[8,"LiFun"],[8,"ForAll"],[8,"Exists"],[3,"LiToTy"],[3,"LiFunToTyFun"],[3,"TyFunToLiFun"],[3,"Compose"],[3,"Id"],[3,"Const"],[3,"ConstTyFun"],[3,"Ap"],[3,"ApTyFun0"],[3,"ApTyFun1"],[3,"Flip"],[3,"Flipped"],[3,"FlipTyFun"],[8,"Identity"],[8,"IdentityUtil"],[8,"Equals"],[3,"Refl"]]};
initSearch(searchIndex);