Permalink
Browse files

[doc] display record types

  • Loading branch information...
1 parent fedfb64 commit 51f225650a4b2b7ce5774651f03de8c41cdfa606 @samoht samoht committed Sep 22, 2011
Showing with 48 additions and 0 deletions.
  1. +12 −0 docs/node/js/search.js
  2. +12 −0 docs/unix-direct/js/search.js
  3. +12 −0 docs/unix-socket/js/search.js
  4. +12 −0 docs/xen/js/search.js
View
@@ -70,6 +70,18 @@ $(document).ready(function () {
if (con.description) s += " (* " + con.description + " *)";
});
}
+ if (x.type.kind.type == "record") {
+ s += " = {";
+ $.each(x.type.kind.fields, function(k,field) {
+ s += "<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
+ if (field.type.mutable) {
+ s += "mutable";
+ };
+ s += field.name + " : " + field.type + ";";
+ });
+ s += "<br/>}";
+ }
+
d.append($("<div />")
.addClass('sig-type')
.addClass("alert-message block-message success")
@@ -70,6 +70,18 @@ $(document).ready(function () {
if (con.description) s += " (* " + con.description + " *)";
});
}
+ if (x.type.kind.type == "record") {
+ s += " = {";
+ $.each(x.type.kind.fields, function(k,field) {
+ s += "<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
+ if (field.type.mutable) {
+ s += "mutable";
+ };
+ s += field.name + " : " + field.type + ";";
+ });
+ s += "<br/>}";
+ }
+
d.append($("<div />")
.addClass('sig-type')
.addClass("alert-message block-message success")
@@ -70,6 +70,18 @@ $(document).ready(function () {
if (con.description) s += " (* " + con.description + " *)";
});
}
+ if (x.type.kind.type == "record") {
+ s += " = {";
+ $.each(x.type.kind.fields, function(k,field) {
+ s += "<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
+ if (field.type.mutable) {
+ s += "mutable";
+ };
+ s += field.name + " : " + field.type + ";";
+ });
+ s += "<br/>}";
+ }
+
d.append($("<div />")
.addClass('sig-type')
.addClass("alert-message block-message success")
View
@@ -70,6 +70,18 @@ $(document).ready(function () {
if (con.description) s += " (* " + con.description + " *)";
});
}
+ if (x.type.kind.type == "record") {
+ s += " = {";
+ $.each(x.type.kind.fields, function(k,field) {
+ s += "<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
+ if (field.type.mutable) {
+ s += "mutable";
+ };
+ s += field.name + " : " + field.type + ";";
+ });
+ s += "<br/>}";
+ }
+
d.append($("<div />")
.addClass('sig-type')
.addClass("alert-message block-message success")

0 comments on commit 51f2256

Please sign in to comment.