<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <title>RightTab - issie</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/> <meta name="description" content=""/> <meta name="author" content="tomcl"/> <script src="https://code.jquery.com/jquery-1.8.0.js"></script> <script src="https://code.jquery.com/ui/1.8.23/jquery-ui.js"></script> <script src="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/js/bootstrap.min.js"></script> <link href="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css" rel="stylesheet"/> <link type="text/css" rel="stylesheet" href="https://tomcl.github.io/issie//content/style.css" /> <script type="text/javascript" src="https://tomcl.github.io/issie//content/tips.js"></script> <!-- HTML5 shim, for IE6-8 support of HTML5 elements --> <!--[if lt IE 9]> <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script> <![endif]--> </head> <body> <div class="container"> <div class="masthead"> <ul class="nav nav-pills pull-right"> <li><a href="http://fsharp.org">fsharp.org</a></li> </ul> <h3 class="muted"><a href="https://tomcl.github.io/issie//index.html">issie</a></h3> </div> <hr /> <div class="row"> <div class="span9" id="main"> <h1>RightTab</h1> <p> <span>Namespace: global</span><br /> <span>Parent Module: <a href="global-diagrammessagetype.html">DiagramMessageType</a></span><br /> </p> <div class="xmldoc"> </div> <h3>Union Cases</h3> <table class="table table-bordered member-list"> <thead> <tr><td>Union Case</td><td>Description</td></tr> </thead> <tbody> <tr> <td class="member-name"> <code onmouseout="hideTip(event, '238', 238)" onmouseover="showTip(event, '238', 238)"> Catalogue </code> <div class="tip" id="238"> <strong>Signature:</strong> <br /> </div> </td> <td class="xmldoc"> <a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L10-10" class="github-link"> <img src="../content/img/github.png" class="normal" /> <img src="../content/img/github-blue.png" class="hover" /> </a> </td> </tr> <tr> <td class="member-name"> <code onmouseout="hideTip(event, '239', 239)" onmouseover="showTip(event, '239', 239)"> Properties </code> <div class="tip" id="239"> <strong>Signature:</strong> <br /> </div> </td> <td class="xmldoc"> <a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L9-9" class="github-link"> <img src="../content/img/github.png" class="normal" /> <img src="../content/img/github-blue.png" class="hover" /> </a> </td> </tr> <tr> <td class="member-name"> <code onmouseout="hideTip(event, '240', 240)" onmouseover="showTip(event, '240', 240)"> Simulation </code> <div class="tip" id="240"> <strong>Signature:</strong> <br /> </div> </td> <td class="xmldoc"> <a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L11-11" class="github-link"> <img src="../content/img/github.png" class="normal" /> <img src="../content/img/github-blue.png" class="hover" /> </a> </td> </tr> <tr> <td class="member-name"> <code onmouseout="hideTip(event, '241', 241)" onmouseover="showTip(event, '241', 241)"> WaveSim </code> <div class="tip" id="241"> <strong>Signature:</strong> <br /> </div> </td> <td class="xmldoc"> <a href="https://github.com/tomcl/ISSIE/tree/master/src/Renderer/UI/MessageType.fs#L12-12" class="github-link"> <img src="../content/img/github.png" class="normal" /> <img src="../content/img/github-blue.png" class="hover" /> </a> </td> </tr> </tbody> </table> </div> <div class="span3"> <ul class="nav nav-list" id="menu" style="margin-top: 20px;"> <li class="nav-header">issie</li> <li class="divider"></li> <li><a href="https://github.com/tomcl/ISSIE">Source Code</a></li> <li><a href="https://tomcl.github.io/issie//release-notes.html">Release Notes</a></li> <li><a href="https://tomcl.github.io/issie//contributing.html">Contributing</a></li> <li class="nav-header">Documentation</li> <li><a href="https://tomcl.github.io/issie//index.html">Introduction</a></li> <li class="divider"></li> <li><a href="https://tomcl.github.io/issie//community.html">Community</a></li> <li class="nav-header">Reference</li> <li><a href="https://tomcl.github.io/issie//reference/index.html">API Reference</a></li> </ul> </div> </div> </div> </body> </html>