/
modulePage.hamlet
39 lines (39 loc) · 2.09 KB
/
modulePage.hamlet
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
$doctype 5
<html>
^{header}
<body>
^{menu}
<div id="content">
<h1>#{mname}: exported symbols usage examples
<h2>Symbols
<div id="symbols">
<input id="search" class="search" placeholder="Search for a symbol" autocomplete="off" />
<div class="symbol-list">
<ul class="list">
<li>
$forall (HighlightedSymbolOccurs sname exs) <- soccs
<div class="ex">
<div class="symbol-occ">
<span class="symbolName">#{sname}
$if length exs > 0
<a id="hide#{sname}" class="symbolOccurNb hide" href="#hide#{sname}">
See #{length exs} Occurences [+]
$else
<span class="no-occ">
No usage example found for this symbol :(
<a id="show#{sname}" class="symbolOccurNb show" href="#show#{sname}">
Collapse [-]
<div id="occ1" class="details">
$forall (_,_,(HighlightedSourceCodeFile sourceex (ModuleNameT modn) (PackageNameT packn))) <- exs
<div>
Found in #{modn} from the package #{packn}
<div class="example">
#{preEscapedToHtml sourceex}
<hr>
<script src="/static/list.min.js">
<script>
document.addEventListener("DOMContentLoaded", function(event) {
var list = new List('symbols', {
valueNames: ['symbolName']
});
});