forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLanguage-Python-Validate-Syntax.html
More file actions
1 lines (1 loc) · 68.8 KB
/
Language-Python-Validate-Syntax.html
File metadata and controls
1 lines (1 loc) · 68.8 KB
1
<!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.Syntax</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.Syntax</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Main validation functions</a></li><li><a href="#g:2">Miscellany</a><ul><li><a href="#g:3">Extra types</a></li><li><a href="#g:4">Extra functions</a></li><li><a href="#g:5">Validation functions</a></li></ul></li></ul></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-Syntax-Error.html">Language.Python.Validate.Syntax.Error</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Syntax">Syntax</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ValidateSyntax">ValidateSyntax</a> e = <a href="Data-Validate-Monadic.html#t:ValidateM" title="Data.Validate.Monadic">ValidateM</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="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-Reader.html#t:ReaderT" title="Control.Monad.Reader">ReaderT</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-State-Lazy.html#t:State" title="Control.Monad.State.Lazy">State</a> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]))</li><li class="src short"><a href="#v:runValidateSyntax">runValidateSyntax</a> :: <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e 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</li><li class="src short"><a href="#v:validateModuleSyntax">validateModuleSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateStatementSyntax">validateStatementSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateExprSyntax">validateExprSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><span class="keyword">data</span> <a href="#t:SyntaxContext">SyntaxContext</a> = <a href="#v:SyntaxContext">SyntaxContext</a> {<ul class="subs"><li><a href="#v:_inLoop">_inLoop</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li><a href="#v:_inFinally">_inFinally</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li><a href="#v:_inFunction">_inFunction</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="Language-Python-Validate-Syntax.html#t:FunctionInfo" title="Language.Python.Validate.Syntax">FunctionInfo</a></li><li><a href="#v:_inGenerator">_inGenerator</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li><a href="#v:_inClass">_inClass</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li><a href="#v:_inParens">_inParens</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:FunctionInfo">FunctionInfo</a> = <a href="#v:FunctionInfo">FunctionInfo</a> {<ul class="subs"><li><a href="#v:_functionParams">_functionParams</a> :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]</li><li><a href="#v:_asyncFunction">_asyncFunction</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li></ul>}</li><li class="src short"><a href="#v:inLoop">inLoop</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li class="src short"><a href="#v:inFunction">inFunction</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="Language-Python-Validate-Syntax.html#t:FunctionInfo" title="Language.Python.Validate.Syntax">FunctionInfo</a>)</li><li class="src short"><a href="#v:inGenerator">inGenerator</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li class="src short"><a href="#v:inParens">inParens</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li class="src short"><a href="#v:runValidateSyntax-39-">runValidateSyntax'</a> :: <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> -> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>] -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e 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</li><li class="src short"><a href="#v:initialSyntaxContext">initialSyntaxContext</a> :: <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a></li><li class="src short"><a href="#v:reservedWords">reservedWords</a> :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]</li><li class="src short"><a href="#v:canAssignTo">canAssignTo</a> :: <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></li><li class="src short"><a href="#v:deleteBy-39-">deleteBy'</a> :: (a -> b -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -> a -> [b] -> [b]</li><li class="src short"><a href="#v:deleteFirstsBy-39-">deleteFirstsBy'</a> :: (a -> b -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -> [a] -> [b] -> [a]</li><li class="src short"><a href="#v:localNonlocals">localNonlocals</a> :: ([<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>] -> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]) -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e a</li><li class="src short"><a href="#v:validateArgsSyntax">validateArgsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-CommaSep.html#t:CommaSep1-39-" title="Language.Python.Syntax.CommaSep">CommaSep1'</a> (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a) -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-CommaSep.html#t:CommaSep1-39-" title="Language.Python.Syntax.CommaSep">CommaSep1'</a> (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a))</li><li class="src short"><a href="#v:validateBlockSyntax">validateBlockSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateCompoundStatementSyntax">validateCompoundStatementSyntax</a> :: <span class="keyword">forall</span> e v a. (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateComprehensionSyntax">validateComprehensionSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => (ex v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)) -> <a href="Language-Python-Syntax-Expr.html#t:Comprehension" title="Language.Python.Syntax.Expr">Comprehension</a> ex v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Comprehension" title="Language.Python.Syntax.Expr">Comprehension</a> ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateDecoratorSyntax">validateDecoratorSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateDictItemSyntax">validateDictItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateExceptAsSyntax">validateExceptAsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateIdentSyntax">validateIdentSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateImportAsSyntax">validateImportAsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => (t v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (t' (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)) -> <a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> t v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> t' (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateImportTargetsSyntax">validateImportTargetsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Import.html#t:ImportTargets" title="Language.Python.Syntax.Import">ImportTargets</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Import.html#t:ImportTargets" title="Language.Python.Syntax.Import">ImportTargets</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateListItemSyntax">validateListItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateParamsSyntax">validateParamsSyntax</a> :: <span class="keyword">forall</span> e v a. (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> -> <a href="Language-Python-Syntax-CommaSep.html#t:CommaSep" title="Language.Python.Syntax.CommaSep">CommaSep</a> (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> v a) -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-CommaSep.html#t:CommaSep" title="Language.Python.Syntax.CommaSep">CommaSep</a> (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a))</li><li class="src short"><a href="#v:validateSetItemSyntax">validateSetItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateSimpleStatementSyntax">validateSimpleStatementSyntax</a> :: <span class="keyword">forall</span> e a v. (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateStringLiteralSyntax">validateStringLiteralSyntax</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-Syntax-Strings.html#t:StringLiteral" title="Language.Python.Syntax.Strings">StringLiteral</a> a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Strings.html#t:StringLiteral" title="Language.Python.Syntax.Strings">StringLiteral</a> a)</li><li class="src short"><a href="#v:validateSubscriptSyntax">validateSubscriptSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateSuiteSyntax">validateSuiteSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateTupleItemSyntax">validateTupleItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)</li><li class="src short"><a href="#v:validateWhitespace">validateWhitespace</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Foldable.html#t:Foldable" title="Data.Foldable">Foldable</a> f) => a -> f <a href="Language-Python-Syntax-Whitespace.html#t:Whitespace" title="Language.Python.Syntax.Whitespace">Whitespace</a> -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (f <a href="Language-Python-Syntax-Whitespace.html#t:Whitespace" title="Language.Python.Syntax.Whitespace">Whitespace</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-Syntax-Error.html">Language.Python.Validate.Syntax.Error</a></p></div><a href="#g:1" id="g:1"><h1>Main validation functions</h1></a><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Syntax" class="def">Syntax</a> <a href="#t:Syntax" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ValidateSyntax" class="def">ValidateSyntax</a> e = <a href="Data-Validate-Monadic.html#t:ValidateM" title="Data.Validate.Monadic">ValidateM</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="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-Reader.html#t:ReaderT" title="Control.Monad.Reader">ReaderT</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-State-Lazy.html#t:State" title="Control.Monad.State.Lazy">State</a> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>])) <a href="#t:ValidateSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:runValidateSyntax" class="def">runValidateSyntax</a> :: <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e 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 <a href="#v:runValidateSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateModuleSyntax" class="def">validateModuleSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Module.html#t:Module" title="Language.Python.Syntax.Module">Module</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateModuleSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateStatementSyntax" class="def">validateStatementSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateStatementSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateExprSyntax" class="def">validateExprSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateExprSyntax" class="selflink">#</a></p></div><a href="#g:2" id="g:2"><h1>Miscellany</h1></a><a href="#g:3" id="g:3"><h2>Extra types</h2></a><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:SyntaxContext" class="def">SyntaxContext</a> <a href="#t:SyntaxContext" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:SyntaxContext" class="def">SyntaxContext</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:_inLoop" class="def">_inLoop</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_inFinally" class="def">_inFinally</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_inFunction" class="def">_inFunction</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="Language-Python-Validate-Syntax.html#t:FunctionInfo" title="Language.Python.Validate.Syntax">FunctionInfo</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_inGenerator" class="def">_inGenerator</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_inClass" class="def">_inClass</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_inParens" class="def">_inParens</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:FunctionInfo" class="def">FunctionInfo</a> <a href="#t:FunctionInfo" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:FunctionInfo" class="def">FunctionInfo</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:_functionParams" class="def">_functionParams</a> :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_asyncFunction" class="def">_asyncFunction</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><a id="v:inLoop" class="def">inLoop</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:inLoop" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:inFunction" class="def">inFunction</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="Language-Python-Validate-Syntax.html#t:FunctionInfo" title="Language.Python.Validate.Syntax">FunctionInfo</a>) <a href="#v:inFunction" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:inGenerator" class="def">inGenerator</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:inGenerator" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:inParens" class="def">inParens</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Lens-39-" title="Control.Lens.Type">Lens'</a> <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:inParens" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:runValidateSyntax-39-" class="def">runValidateSyntax'</a> :: <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> -> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>] -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e 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 <a href="#v:runValidateSyntax-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:initialSyntaxContext" class="def">initialSyntaxContext</a> :: <a href="Language-Python-Validate-Syntax.html#t:SyntaxContext" title="Language.Python.Validate.Syntax">SyntaxContext</a> <a href="#v:initialSyntaxContext" class="selflink">#</a></p></div><a href="#g:4" id="g:4"><h2>Extra functions</h2></a><div class="top"><p class="src"><a id="v:reservedWords" class="def">reservedWords</a> :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>] <a href="#v:reservedWords" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:canAssignTo" class="def">canAssignTo</a> :: <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:canAssignTo" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:deleteBy-39-" class="def">deleteBy'</a> :: (a -> b -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -> a -> [b] -> [b] <a href="#v:deleteBy-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:deleteFirstsBy-39-" class="def">deleteFirstsBy'</a> :: (a -> b -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -> [a] -> [b] -> [a] <a href="#v:deleteFirstsBy-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:localNonlocals" class="def">localNonlocals</a> :: ([<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>] -> [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a>]) -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e a <a href="#v:localNonlocals" class="selflink">#</a></p></div><a href="#g:5" id="g:5"><h2>Validation functions</h2></a><div class="top"><p class="src"><a id="v:validateArgsSyntax" class="def">validateArgsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-CommaSep.html#t:CommaSep1-39-" title="Language.Python.Syntax.CommaSep">CommaSep1'</a> (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a) -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-CommaSep.html#t:CommaSep1-39-" title="Language.Python.Syntax.CommaSep">CommaSep1'</a> (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)) <a href="#v:validateArgsSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateBlockSyntax" class="def">validateBlockSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateBlockSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateCompoundStatementSyntax" class="def">validateCompoundStatementSyntax</a> :: <span class="keyword">forall</span> e v a. (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateCompoundStatementSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateComprehensionSyntax" class="def">validateComprehensionSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => (ex v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)) -> <a href="Language-Python-Syntax-Expr.html#t:Comprehension" title="Language.Python.Syntax.Expr">Comprehension</a> ex v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Comprehension" title="Language.Python.Syntax.Expr">Comprehension</a> ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateComprehensionSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateDecoratorSyntax" class="def">validateDecoratorSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateDecoratorSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateDictItemSyntax" class="def">validateDictItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateDictItemSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateExceptAsSyntax" class="def">validateExceptAsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateExceptAsSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateIdentSyntax" class="def">validateIdentSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateIdentSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateImportAsSyntax" class="def">validateImportAsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => (t v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (t' (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a)) -> <a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> t v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> t' (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateImportAsSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateImportTargetsSyntax" class="def">validateImportTargetsSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Import.html#t:ImportTargets" title="Language.Python.Syntax.Import">ImportTargets</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Import.html#t:ImportTargets" title="Language.Python.Syntax.Import">ImportTargets</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateImportTargetsSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateListItemSyntax" class="def">validateListItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateListItemSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateParamsSyntax" class="def">validateParamsSyntax</a> <a href="#v:validateParamsSyntax" class="selflink">#</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v)</td><td class="doc empty"> </td></tr><tr><td class="src">=> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a></td><td class="doc"><p>These are the parameters to a lambda</p></td></tr><tr><td class="src">-> <a href="Language-Python-Syntax-CommaSep.html#t:CommaSep" title="Language.Python.Syntax.CommaSep">CommaSep</a> (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> v a)</td><td class="doc empty"> </td></tr><tr><td class="src">-> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-CommaSep.html#t:CommaSep" title="Language.Python.Syntax.CommaSep">CommaSep</a> (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a))</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a id="v:validateSetItemSyntax" class="def">validateSetItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateSetItemSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSimpleStatementSyntax" class="def">validateSimpleStatementSyntax</a> :: <span class="keyword">forall</span> e a v. (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateSimpleStatementSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateStringLiteralSyntax" class="def">validateStringLiteralSyntax</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-Syntax-Strings.html#t:StringLiteral" title="Language.Python.Syntax.Strings">StringLiteral</a> a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Strings.html#t:StringLiteral" title="Language.Python.Syntax.Strings">StringLiteral</a> a) <a href="#v:validateStringLiteralSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSubscriptSyntax" class="def">validateSubscriptSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateSubscriptSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSuiteSyntax" class="def">validateSuiteSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateSuiteSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateTupleItemSyntax" class="def">validateTupleItemSyntax</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="Data-Type-Set.html#t:Member" title="Data.Type.Set">Member</a> <a href="Language-Python-Validate-Indentation.html#t:Indentation" title="Language.Python.Validate.Indentation">Indentation</a> v) => <a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (<a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Syntax.html#t:Syntax" title="Language.Python.Validate.Syntax">Syntax</a> ': v)) a) <a href="#v:validateTupleItemSyntax" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateWhitespace" class="def">validateWhitespace</a> :: (<a href="Language-Python-Validate-Syntax-Error.html#t:AsSyntaxError" title="Language.Python.Validate.Syntax.Error">AsSyntaxError</a> e a, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Foldable.html#t:Foldable" title="Data.Foldable">Foldable</a> f) => a -> f <a href="Language-Python-Syntax-Whitespace.html#t:Whitespace" title="Language.Python.Syntax.Whitespace">Whitespace</a> -> <a href="Language-Python-Validate-Syntax.html#t:ValidateSyntax" title="Language.Python.Validate.Syntax">ValidateSyntax</a> e (f <a href="Language-Python-Syntax-Whitespace.html#t:Whitespace" title="Language.Python.Syntax.Whitespace">Whitespace</a>) <a href="#v:validateWhitespace" class="selflink">#</a></p></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>