effecttraits.html 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190
  1. <?xml version="1.0" encoding="utf-8" ?>
  2. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  3. <!-- This file is generated by Nim. -->
  4. <html xmlns="https://www.w3.org/1999/xhtml" xml:lang="en" lang="en" data-theme="auto">
  5. <head>
  6. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  7. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  8. <title>std/effecttraits</title>
  9. <!-- Google fonts -->
  10. <link href='https://fonts.googleapis.com/css?family=Lato:400,600,900' rel='stylesheet' type='text/css'/>
  11. <link href='https://fonts.googleapis.com/css?family=Source+Code+Pro:400,500,600' rel='stylesheet' type='text/css'/>
  12. <!-- Favicon -->
  13. <link rel="shortcut icon" href="data:image/x-icon;base64,AAABAAEAEBAAAAEAIABoBAAAFgAAACgAAAAQAAAAIAAAAAEAIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAUAAAAF////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAIAAABbAAAAlQAAAKIAAACbAAAAmwAAAKIAAACVAAAAWwAAAAL///8A////AP///wD///8A////AAAAABQAAADAAAAAYwAAAA3///8A////AP///wD///8AAAAADQAAAGMAAADAAAAAFP///wD///8A////AP///wAAAACdAAAAOv///wD///8A////AP///wD///8A////AP///wD///8AAAAAOgAAAJ3///8A////AP///wAAAAAnAAAAcP///wAAAAAoAAAASv///wD///8A////AP///wAAAABKAAAAKP///wAAAABwAAAAJ////wD///8AAAAAgQAAABwAAACIAAAAkAAAAJMAAACtAAAAFQAAABUAAACtAAAAkwAAAJAAAACIAAAAHAAAAIH///8A////AAAAAKQAAACrAAAAaP///wD///8AAAAARQAAANIAAADSAAAARf///wD///8AAAAAaAAAAKsAAACk////AAAAADMAAACcAAAAnQAAABj///8A////AP///wAAAAAYAAAAGP///wD///8A////AAAAABgAAACdAAAAnAAAADMAAAB1AAAAwwAAAP8AAADpAAAAsQAAAE4AAAAb////AP///wAAAAAbAAAATgAAALEAAADpAAAA/wAAAMMAAAB1AAAAtwAAAOkAAAD/AAAA/wAAAP8AAADvAAAA3gAAAN4AAADeAAAA3gAAAO8AAAD/AAAA/wAAAP8AAADpAAAAtwAAAGUAAAA/AAAA3wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAADfAAAAPwAAAGX///8A////AAAAAEgAAADtAAAAvwAAAL0AAADGAAAA7wAAAO8AAADGAAAAvQAAAL8AAADtAAAASP///wD///8A////AP///wD///8AAAAAO////wD///8A////AAAAAIcAAACH////AP///wD///8AAAAAO////wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A//8AAP//AAD4HwAA7/cAAN/7AAD//wAAoYUAAJ55AACf+QAAh+EAAAAAAADAAwAA4AcAAP5/AAD//wAA//8AAA=="/>
  14. <link rel="icon" type="image/png" sizes="32x32" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAgCAYAAABzenr0AAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAA3XAAAN1wFCKJt4AAAAB3RJTUUH4QQQEwksSS9ZWwAAAk1JREFUWMPtll2ITVEUx39nn/O7Y5qR8f05wtCUUr6ZIS++8pEnkZInPImneaCQ5METNdOkeFBKUhMPRIkHKfEuUZSUlGlKPN2TrgfncpvmnntnmlEyq1Z7t89/rf9a6+y99oZxGZf/XeIq61EdtgKXgdXA0xrYAvBjOIF1AI9zvjcC74BSpndrJPkBWDScTF8Aa4E3wDlgHbASaANmVqlcCnwHvgDvgVfAJ+AikAAvgfVZwLnSVZHZaOuKoQi3ZOMi4NkYkpe1p4J7A8BpYAD49hfIy/oqG0+hLomiKP2L5L+1ubn5115S+3OAn4EnwBlgMzCjyt6ZAnQCJ4A7wOs88iRJHvw50HoujuPBoCKwHWiosy8MdfZnAdcHk8dxXFJ3VQbQlCTJvRBCGdRbD4M6uc5glpY3eAihpN5S5w12diSEcCCEcKUO4ljdr15T76ur1FDDLIQQ3qv71EdDOe3Kxj3leRXyk+pxdWnFWod6Wt2bY3de3aSuUHcPBVimHs7mK9WrmeOF6lR1o9qnzskh2ar2qm1qizpfXaPeVGdlmGN5pb09qMxz1Xb1kLqgzn1RyH7JUXW52lr5e/Kqi9qpto7V1atuUzfnARrV7jEib1T76gG2qxdGmXyiekkt1GswPTtek0aBfJp6YySGBfWg2tPQ0FAYgf1stUfdmdcjarbYJEniKIq6gY/Aw+zWHAC+p2labGpqiorFYgGYCEzN7oQdQClN07O1/EfDyGgC0ALMBdYAi4FyK+4H3gLPsxfR1zRNi+NP7nH5J+QntnXe5B5mpfQAAAAASUVORK5CYII=">
  15. <!-- CSS -->
  16. <link rel="stylesheet" type="text/css" href="nimdoc.out.css?v=2.3.1">
  17. <!-- JS -->
  18. <script type="text/javascript" src="dochack.js?v=2.3.1"></script>
  19. </head>
  20. <body>
  21. <div class="document" id="documentId">
  22. <div class="container">
  23. <h1 class="title">std/effecttraits</h1>
  24. <div class="row">
  25. <div class="three columns">
  26. <div class="theme-select-wrapper">
  27. <label for="theme-select">Theme:&nbsp;</label>
  28. <select id="theme-select" onchange="setTheme(this.value)">
  29. <option value="auto">🌗 Match OS</option>
  30. <option value="dark">🌑 Dark</option>
  31. <option value="light">🌕 Light</option>
  32. </select>
  33. </div>
  34. <div id="global-links">
  35. <ul class="simple-boot">
  36. <li><a href="manual.html">Manual</a></li>
  37. <li><a href="lib.html">Standard library</a></li>
  38. <li> <a id="indexLink" href="theindex.html">Index</a></li>
  39. <li><a href="compiler/theindex.html">Compiler docs</a></li>
  40. <li><a href="https://nim-lang.github.io/fusion/theindex.html">Fusion docs</a></li>
  41. <li><a href="https://nim-lang.github.io/Nim/">devel</a>, <a href="https://nim-lang.org/documentation.html">stable</a></li>
  42. </ul>
  43. </div>
  44. <div id="searchInputDiv">
  45. Search: <input type="search" id="searchInput"
  46. oninput="search()" />
  47. </div>
  48. <ul class="simple simple-toc" id="toc-list">
  49. <li>
  50. <a class="reference reference-toplevel" href="#6" id="56">Imports</a>
  51. </li>
  52. <li>
  53. <details open>
  54. <summary><a class="reference reference-toplevel" href="#12" id="62">Procs</a></summary>
  55. <ul class="simple simple-toc-section">
  56. <ul class="simple nested-toc-section">getForbidsList
  57. <li><a class="reference" href="#getForbidsList%2CNimNode" title="getForbidsList(fn: NimNode): NimNode">getForbidsList(fn: NimNode): NimNode</a></li>
  58. </ul>
  59. <ul class="simple nested-toc-section">getRaisesList
  60. <li><a class="reference" href="#getRaisesList%2CNimNode" title="getRaisesList(fn: NimNode): NimNode">getRaisesList(fn: NimNode): NimNode</a></li>
  61. </ul>
  62. <ul class="simple nested-toc-section">getTagsList
  63. <li><a class="reference" href="#getTagsList%2CNimNode" title="getTagsList(fn: NimNode): NimNode">getTagsList(fn: NimNode): NimNode</a></li>
  64. </ul>
  65. <ul class="simple nested-toc-section">hasNoSideEffects
  66. <li><a class="reference" href="#hasNoSideEffects%2CNimNode" title="hasNoSideEffects(fn: NimNode): bool">hasNoSideEffects(fn: NimNode): bool</a></li>
  67. </ul>
  68. <ul class="simple nested-toc-section">isGcSafe
  69. <li><a class="reference" href="#isGcSafe%2CNimNode" title="isGcSafe(fn: NimNode): bool">isGcSafe(fn: NimNode): bool</a></li>
  70. </ul>
  71. </ul>
  72. </details>
  73. </li>
  74. </ul>
  75. </div>
  76. <div class="nine columns" id="content">
  77. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L1" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  78. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L1" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  79. <div id="tocRoot"></div>
  80. <p class="module-desc"><p>This module provides access to the inferred .raises effects for Nim's macro system. <strong>Since</strong>: Version 1.4.</p>
  81. <p>One can test for the existence of this standard module via <tt class="docutils literal"><span class="pre"><span class="Identifier">defined</span><span class="Punctuation">(</span><span class="Identifier">nimHasEffectTraitsModule</span><span class="Punctuation">)</span></span></tt>.</p>
  82. </p>
  83. <div class="section" id="6">
  84. <h1><a class="toc-backref" href="#6">Imports</a></h1>
  85. <dl class="item">
  86. <a class="reference external" href="macros.html">macros</a>, <a class="reference external" href="assertions.html">assertions</a>
  87. </dl>
  88. </div>
  89. <div class="section" id="12">
  90. <h1><a class="toc-backref" href="#12">Procs</a></h1>
  91. <dl class="item">
  92. <div id="getForbidsList-procs-all">
  93. <div id="getForbidsList,NimNode">
  94. <dt><pre><span class="Keyword">proc</span> <a href="#getForbidsList%2CNimNode"><span class="Identifier">getForbidsList</span></a><span class="Other">(</span><span class="Identifier">fn</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a><span class="Other">)</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">forbids</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span>.}</pre></dt>
  95. <dd>
  96. Extracts the <tt class="docutils literal"><span class="pre"><span class="Operator">.</span><span class="Identifier">forbids</span></span></tt> list of the func/proc/etc <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt>. <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has to be a resolved symbol of kind <tt class="docutils literal"><span class="pre"><span class="Identifier">nnkSym</span></span></tt>. This implies that the macro that calls this proc should accept <tt class="docutils literal"><span class="pre"><span class="Identifier">typed</span></span></tt> arguments and not <tt class="docutils literal"><span class="pre"><span class="Identifier">untyped</span></span></tt> arguments.
  97. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L44" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  98. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L44" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  99. </dd>
  100. </div>
  101. </div>
  102. <div id="getRaisesList-procs-all">
  103. <div id="getRaisesList,NimNode">
  104. <dt><pre><span class="Keyword">proc</span> <a href="#getRaisesList%2CNimNode"><span class="Identifier">getRaisesList</span></a><span class="Other">(</span><span class="Identifier">fn</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a><span class="Other">)</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">forbids</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span>.}</pre></dt>
  105. <dd>
  106. Extracts the <tt class="docutils literal"><span class="pre"><span class="Operator">.</span><span class="Identifier">raises</span></span></tt> list of the func/proc/etc <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt>. <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has to be a resolved symbol of kind <tt class="docutils literal"><span class="pre"><span class="Identifier">nnkSym</span></span></tt>. This implies that the macro that calls this proc should accept <tt class="docutils literal"><span class="pre"><span class="Identifier">typed</span></span></tt> arguments and not <tt class="docutils literal"><span class="pre"><span class="Identifier">untyped</span></span></tt> arguments.
  107. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L28" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  108. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L28" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  109. </dd>
  110. </div>
  111. </div>
  112. <div id="getTagsList-procs-all">
  113. <div id="getTagsList,NimNode">
  114. <dt><pre><span class="Keyword">proc</span> <a href="#getTagsList%2CNimNode"><span class="Identifier">getTagsList</span></a><span class="Other">(</span><span class="Identifier">fn</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a><span class="Other">)</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">forbids</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span>.}</pre></dt>
  115. <dd>
  116. Extracts the <tt class="docutils literal"><span class="pre"><span class="Operator">.</span><span class="Identifier">tags</span></span></tt> list of the func/proc/etc <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt>. <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has to be a resolved symbol of kind <tt class="docutils literal"><span class="pre"><span class="Identifier">nnkSym</span></span></tt>. This implies that the macro that calls this proc should accept <tt class="docutils literal"><span class="pre"><span class="Identifier">typed</span></span></tt> arguments and not <tt class="docutils literal"><span class="pre"><span class="Identifier">untyped</span></span></tt> arguments.
  117. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L36" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  118. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L36" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  119. </dd>
  120. </div>
  121. </div>
  122. <div id="hasNoSideEffects-procs-all">
  123. <div id="hasNoSideEffects,NimNode">
  124. <dt><pre><span class="Keyword">proc</span> <a href="#hasNoSideEffects%2CNimNode"><span class="Identifier">hasNoSideEffects</span></a><span class="Other">(</span><span class="Identifier">fn</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a><span class="Other">)</span><span class="Other">:</span> <a href="system.html#bool"><span class="Identifier">bool</span></a> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">forbids</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span>.}</pre></dt>
  125. <dd>
  126. Return true if the func/proc/etc <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has <tt class="docutils literal"><span class="pre"><span class="Identifier">noSideEffect</span></span></tt>. <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has to be a resolved symbol of kind <tt class="docutils literal"><span class="pre"><span class="Identifier">nnkSym</span></span></tt>. This implies that the macro that calls this proc should accept <tt class="docutils literal"><span class="pre"><span class="Identifier">typed</span></span></tt> arguments and not <tt class="docutils literal"><span class="pre"><span class="Identifier">untyped</span></span></tt> arguments.
  127. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L60" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  128. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L60" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  129. </dd>
  130. </div>
  131. </div>
  132. <div id="isGcSafe-procs-all">
  133. <div id="isGcSafe,NimNode">
  134. <dt><pre><span class="Keyword">proc</span> <a href="#isGcSafe%2CNimNode"><span class="Identifier">isGcSafe</span></a><span class="Other">(</span><span class="Identifier">fn</span><span class="Other">:</span> <a href="system.html#NimNode"><span class="Identifier">NimNode</span></a><span class="Other">)</span><span class="Other">:</span> <a href="system.html#bool"><span class="Identifier">bool</span></a> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">forbids</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span>.}</pre></dt>
  135. <dd>
  136. Return true if the func/proc/etc <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> is <tt class="docutils literal"><span class="pre"><span class="Identifier">gcsafe</span></span></tt>. <tt class="docutils literal"><span class="pre"><span class="Identifier">fn</span></span></tt> has to be a resolved symbol of kind <tt class="docutils literal"><span class="pre"><span class="Identifier">nnkSym</span></span></tt>. This implies that the macro that calls this proc should accept <tt class="docutils literal"><span class="pre"><span class="Identifier">typed</span></span></tt> arguments and not <tt class="docutils literal"><span class="pre"><span class="Identifier">untyped</span></span></tt> arguments.
  137. <a href="https://github.com/nim-lang/Nim/tree/devel/lib/std/effecttraits.nim#L52" class="link-seesrc" target="_blank">Source</a>&nbsp;&nbsp;
  138. <a href="https://github.com/nim-lang/Nim/edit/devel/lib/std/effecttraits.nim#L52" class="link-seesrc" target="_blank" >Edit</a>&nbsp;&nbsp;
  139. </dd>
  140. </div>
  141. </div>
  142. </dl>
  143. </div>
  144. </div>
  145. </div>
  146. <div class="twelve-columns footer">
  147. <span class="nim-sprite"></span>
  148. <br>
  149. <small style="color: var(--hint);">Made with Nim. Generated: 2024-12-25 08:36:31 UTC</small>
  150. </div>
  151. </div>
  152. </div>
  153. <script defer data-domain="nim-lang.org" src="https://plausible.io/js/plausible.js"></script>
  154. </body>
  155. </html>