-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploying to gh-pages from @ 5e22e65 🚀
- Loading branch information
Showing
41 changed files
with
39 additions
and
50 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
<!DOCTYPE html> | ||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Pretty (dolmen.Dolmen_intf.Pretty)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">dolmen</a> » <a href="../index.html">Dolmen_intf</a> » Pretty</nav><header class="odoc-preamble"><h1>Module <code><span>Dolmen_intf.Pretty</span></code></h1><p>Pretty printing annotations</p><p>This module defines types to specify pretty printing annotations (such as associtativity, infix notations, etc...).</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-name"><a href="#type-name" class="anchor"></a><code><span><span class="keyword">type</span> name</span><span> = </span></code><ol><li id="type-name.Exact" class="def variant constructor anchored"><a href="#type-name.Exact" class="anchor"></a><code><span>| </span><span><span class="constructor">Exact</span> <span class="keyword">of</span> string</span></code></li><li id="type-name.Renamed" class="def variant constructor anchored"><a href="#type-name.Renamed" class="anchor"></a><code><span>| </span><span><span class="constructor">Renamed</span> <span class="keyword">of</span> string</span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pos"><a href="#type-pos" class="anchor"></a><code><span><span class="keyword">type</span> pos</span><span> = </span></code><ol><li id="type-pos.Infix" class="def variant constructor anchored"><a href="#type-pos.Infix" class="anchor"></a><code><span>| </span><span><span class="constructor">Infix</span></span></code></li><li id="type-pos.Prefix" class="def variant constructor anchored"><a href="#type-pos.Prefix" class="anchor"></a><code><span>| </span><span><span class="constructor">Prefix</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-assoc"><a href="#type-assoc" class="anchor"></a><code><span><span class="keyword">type</span> assoc</span><span> = </span></code><ol><li id="type-assoc.Left" class="def variant constructor anchored"><a href="#type-assoc.Left" class="anchor"></a><code><span>| </span><span><span class="constructor">Left</span></span></code></li><li id="type-assoc.Right" class="def variant constructor anchored"><a href="#type-assoc.Right" class="anchor"></a><code><span>| </span><span><span class="constructor">Right</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-print"><a href="#type-print" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a print</span></span><span> = </span></code><ol><li id="type-print.Ignore" class="def variant constructor anchored"><a href="#type-print.Ignore" class="anchor"></a><code><span>| </span><span><span class="constructor">Ignore</span> : <span><span class="type-var">_</span> <a href="#type-print">print</a></span></span></code></li><li id="type-print.P" class="def variant constructor anchored"><a href="#type-print.P" class="anchor"></a><code><span>| </span><span><span class="constructor">P</span> : <span>(<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit)</span> <span class="arrow">-></span> <span><span class="type-var">'a</span> <a href="#type-print">print</a></span></span></code></li></ol></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
<!DOCTYPE html> | ||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>S (dolmen.Dolmen_intf.Tag.S)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> » <a href="../../index.html">Dolmen_intf</a> » <a href="../index.html">Tag</a> » S</nav><header class="odoc-preamble"><h1>Module type <code><span>Tag.S</span></code></h1><p>Base signature for tags.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span></code></div><div class="spec-doc"><p>Polymorphic tags</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Create a new tag.</p></div></div></div></body></html> | ||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>S (dolmen.Dolmen_intf.Tag.S)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> » <a href="../../index.html">Dolmen_intf</a> » <a href="../index.html">Tag</a> » S</nav><header class="odoc-preamble"><h1>Module type <code><span>Tag.S</span></code></h1><p>Base signature for tags.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span></code></div><div class="spec-doc"><p>Polymorphic tags</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span><span class="optlabel">?print</span>:<span><span class="type-var">'a</span> <a href="../../Pretty/index.html#type-print">Pretty.print</a></span> <span class="arrow">-></span></span> <span>unit <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>Create a new tag.</p></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
<!DOCTYPE html> | ||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dolmen_intf (dolmen.Dolmen_intf)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">dolmen</a> » Dolmen_intf</nav><header class="odoc-preamble"><h1>Module <code><span>Dolmen_intf</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Ext"><a href="#module-Ext" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Ext/index.html">Ext</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Extensions</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Id"><a href="#module-Id" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Id/index.html">Id</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Language"><a href="#module-Language" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Language/index.html">Language</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen languages modules</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Lex"><a href="#module-Lex" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Lex/index.html">Lex</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen lexers.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Location"><a href="#module-Location" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Location/index.html">Location</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for file locations. This module defines an interface to store locations in files. These locations are used by the parsers to specify the locations of all parsed expressions whenever it is possible. This interface also requires some exceptions to be defined. These exceptions make use of locations to specify at which point in the file the parsing went wrong.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Map"><a href="#module-Map" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Map/index.html">Map</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Msg"><a href="#module-Msg" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Msg/index.html">Msg</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Messages</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Parse"><a href="#module-Parse" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Parse/index.html">Parse</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen parsers.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Stmt"><a href="#module-Stmt" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Stmt/index.html">Stmt</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for statements. This module defines interfaces for statements, i.e top-level declarations in files.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tag"><a href="#module-Tag" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tag/index.html">Tag</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Tags. Tags are used to attach arbitrary information to ndoes in an ast.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Term"><a href="#module-Term" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Term/index.html">Term</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Terms. This module defines Interfaces that implementation of terms must respect in order to be used to instantiated the corresponding language classes.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tok"><a href="#module-Tok" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tok/index.html">Tok</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for token descriptions This doe snot define an interface for token descriptions but rather defines a type for token description, that will then be used by others interfaces.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Ty"><a href="#module-Ty" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Ty/index.html">Ty</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Types This module defines Interfaces that implementation of types must respect in order to be used to instantiate functors.</p></div></div></div></body></html> | ||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dolmen_intf (dolmen.Dolmen_intf)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">dolmen</a> » Dolmen_intf</nav><header class="odoc-preamble"><h1>Module <code><span>Dolmen_intf</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Ext"><a href="#module-Ext" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Ext/index.html">Ext</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Extensions</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Id"><a href="#module-Id" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Id/index.html">Id</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Language"><a href="#module-Language" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Language/index.html">Language</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen languages modules</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Lex"><a href="#module-Lex" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Lex/index.html">Lex</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen lexers.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Location"><a href="#module-Location" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Location/index.html">Location</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for file locations. This module defines an interface to store locations in files. These locations are used by the parsers to specify the locations of all parsed expressions whenever it is possible. This interface also requires some exceptions to be defined. These exceptions make use of locations to specify at which point in the file the parsing went wrong.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Map"><a href="#module-Map" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Map/index.html">Map</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Msg"><a href="#module-Msg" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Msg/index.html">Msg</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Messages</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Parse"><a href="#module-Parse" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Parse/index.html">Parse</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for Dolmen parsers.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Pretty"><a href="#module-Pretty" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Pretty/index.html">Pretty</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Pretty printing annotations</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Stmt"><a href="#module-Stmt" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Stmt/index.html">Stmt</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for statements. This module defines interfaces for statements, i.e top-level declarations in files.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tag"><a href="#module-Tag" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tag/index.html">Tag</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Tags. Tags are used to attach arbitrary information to ndoes in an ast.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Term"><a href="#module-Term" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Term/index.html">Term</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Terms. This module defines Interfaces that implementation of terms must respect in order to be used to instantiated the corresponding language classes.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tok"><a href="#module-Tok" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Tok/index.html">Tok</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interface for token descriptions This doe snot define an interface for token descriptions but rather defines a type for token description, that will then be used by others interfaces.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Ty"><a href="#module-Ty" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Ty/index.html">Ty</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Interfaces for Types This module defines Interfaces that implementation of types must respect in order to be used to instantiate functors.</p></div></div></div></body></html> |
Oops, something went wrong.