forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLanguage-Python-Validate.html
More file actions
6 lines (6 loc) · 19.8 KB
/
Language-Python-Validate.html
File metadata and controls
6 lines (6 loc) · 19.8 KB
1
2
3
4
5
6
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Python.Validate</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">hpython-0.1.0.1: Python language tools</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) CSIRO 2017-2019</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>Isaac Elliott <[email protected]></td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Python.Validate</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short">module <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html">Data.Validation</a></li><li class="src short">module <a href="Language-Python-Validate-Error.html">Language.Python.Validate.Error</a></li><li class="src short">module <a href="Language-Python-Validate-Indentation.html">Language.Python.Validate.Indentation</a></li><li class="src short">module <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></li><li class="src short">module <a href="Language-Python-Validate-Syntax.html">Language.Python.Validate.Syntax</a></li><li class="src short"><a href="#v:validateModuleAll">validateModuleAll</a> :: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a) => <a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> '[] a -> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</li><li class="src short"><a href="#v:validateStatementAll">validateStatementAll</a> :: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a) => <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> '[] a -> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</li><li class="src short"><a href="#v:validateExprAll">validateExprAll</a> :: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a) => <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> '[] a -> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</li><li class="src short"><a href="#v:validateAll">validateAll</a> :: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a) => (s '[] a -> <a href="Language-Python-Validate-Indentation.html#t:ValidateIndentation" title="Language.Python.Validate.Indentation">ValidateIndentation</a> e (s '[<a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)) -> (s '[<a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (s '[<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)) -> (s '[<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (s '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)) -> s '[] a -> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (s '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src">module <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html">Data.Validation</a></p></div><div class="top"><p class="src">module <a href="Language-Python-Validate-Error.html">Language.Python.Validate.Error</a></p></div><div class="top"><p class="src">module <a href="Language-Python-Validate-Indentation.html">Language.Python.Validate.Indentation</a></p></div><div class="top"><p class="src">module <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p></div><div class="top"><p class="src">module <a href="Language-Python-Validate-Syntax.html">Language.Python.Validate.Syntax</a></p></div><div class="top"><p class="src"><a id="v:validateModuleAll" class="def">validateModuleAll</a> <a href="#v:validateModuleAll" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> '[] a</td><td class="doc"><p><code><a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a></code> to validate</p></td></tr><tr><td class="src">-> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:validateStatementAll" class="def">validateStatementAll</a> <a href="#v:validateStatementAll" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> '[] a</td><td class="doc"><p><code><a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a></code> to validate</p></td></tr><tr><td class="src">-> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:validateExprAll" class="def">validateExprAll</a> <a href="#v:validateExprAll" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> '[] a</td><td class="doc"><p><code><a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a></code> to validate</p></td></tr><tr><td class="src">-> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:validateAll" class="def">validateAll</a> <a href="#v:validateAll" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="Language-Python-Validate-Indentation-Error.html#t:AsIndentationError" title="Language.Python.Validate.Indentation.Error">AsIndentationError</a> e a, <a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a)</td><td class="doc empty"> </td></tr><tr><td class="src">=> (s '[] a -> <a href="Language-Python-Validate-Indentation.html#t:ValidateIndentation" title="Language.Python.Validate.Indentation">ValidateIndentation</a> e (s '[<a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a))</td><td class="doc"><p>Indentation validator</p></td></tr><tr><td class="src">-> (s '[<a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (s '[<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a))</td><td class="doc"><p>Syntax validator</p></td></tr><tr><td class="src">-> (s '[<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (s '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a))</td><td class="doc"><p>Scope validator</p></td></tr><tr><td class="src">-> s '[] a</td><td class="doc empty"> </td></tr><tr><td class="src">-> <a href="file:///nix/store/k368ni5452h9hdrvz2mzgrvbl5mdzx2g-validation-1-doc/share/doc/validation-1/html/Data-Validation.html#t:Validation" title="Data.Validation">Validation</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> e) (s '[<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a>, <a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a>, <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a>] a)</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Validate a datatype for indentation, syntax, and scope correctness</p><p>e.g.</p><pre><code><a href="Language-Python-Validate.html#v:validateModuleAll" title="Language.Python.Validate">validateModuleAll</a></code> =
<code><a href="Language-Python-Validate.html#v:validateAll" title="Language.Python.Validate">validateAll</a></code>
<code><a href="Language-Python-Validate-Indentation.html#v:validateModuleIndentation" title="Language.Python.Validate.Indentation">validateModuleIndentation</a></code>
<code><a href="Language-Python-Validate-Syntax.html#v:validateModuleSyntax" title="Language.Python.Validate.Syntax">validateModuleSyntax</a></code>
<code><a href="Language-Python-Validate-Scope.html#v:validateModuleScope" title="Language.Python.Validate.Scope">validateModuleScope</a></code>
</pre></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.20.0</p></div></body></html>