forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLanguage-Python-Validate-Scope.html
More file actions
1 lines (1 loc) · 67.3 KB
/
Language-Python-Validate-Scope.html
File metadata and controls
1 lines (1 loc) · 67.3 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.Scope</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.Scope</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-Scope-Error.html">Language.Python.Validate.Scope.Error</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Scope">Scope</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ValidateScope">ValidateScope</a> ann 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-State-Lazy.html#t:State" title="Control.Monad.State.Lazy">State</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann))</li><li class="src short"><a href="#v:runValidateScope">runValidateScope</a> :: <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann 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:validateModuleScope">validateModuleScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateStatementScope">validateStatementScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateExprScope">validateExprScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><span class="keyword">data</span> <a href="#t:ScopeContext">ScopeContext</a> a = <a href="#v:ScopeContext">ScopeContext</a> {<ul class="subs"><li><a href="#v:_scGlobalScope">_scGlobalScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li><li><a href="#v:_scLocalScope">_scLocalScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li><li><a href="#v:_scImmediateScope">_scImmediateScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li></ul>}</li><li class="src short"><a href="#v:scGlobalScope">scGlobalScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li><li class="src short"><a href="#v:scLocalScope">scLocalScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li><li class="src short"><a href="#v:scImmediateScope">scImmediateScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</li><li class="src short"><a href="#v:runValidateScope-39-">runValidateScope'</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann 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:initialScopeContext">initialScopeContext</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Binding">Binding</a><ul class="subs"><li>= <a href="#v:Clean">Clean</a></li><li>| <a href="#v:Dirty">Dirty</a></li></ul></li><li class="src short"><a href="#v:inScope">inScope</a> :: <a href="file:///nix/store/s3mp07kpl00qqp216y2m1cq9bnggv3cq-adjunctions-4.4-doc/share/doc/adjunctions-4.4/html/Control-Monad-Representable-State.html#t:MonadState" title="Control.Monad.Representable.State">MonadState</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) m => <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> -> m (<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-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a>, ann))</li><li class="src short"><a href="#v:extendScope">extendScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Setter-39-" title="Control.Lens.Type">Setter'</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> ann) -> [(ann, <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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e ()</li><li class="src short"><a href="#v:locallyOver">locallyOver</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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) b -> (b -> b) -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a</li><li class="src short"><a href="#v:locallyExtendOver">locallyExtendOver</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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> ann) -> [(ann, <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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a</li><li class="src short"><a href="#v:validateArgScope">validateArgScope</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:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (<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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateAssignExprScope">validateAssignExprScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateBlockScope">validateBlockScope</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:Block" title="Language.Python.Syntax.Statement">Block</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateCompoundStatementScope">validateCompoundStatementScope</a> :: <span class="keyword">forall</span> e v 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:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateComprehensionScope">validateComprehensionScope</a> :: <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a => (ex v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateDecoratorScope">validateDecoratorScope</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:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateDictItemScope">validateDictItemScope</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:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateExceptAsScope">validateExceptAsScope</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:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateIdentScope">validateIdentScope</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-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateListItemScope">validateListItemScope</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:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateParamScope">validateParamScope</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:Param" title="Language.Python.Syntax.Expr">Param</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (<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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateSetItemScope">validateSetItemScope</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:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateSimpleStatementScope">validateSimpleStatementScope</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:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateSubscriptScope">validateSubscriptScope</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:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateSuiteScope">validateSuiteScope</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:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a)</li><li class="src short"><a href="#v:validateTupleItemScope">validateTupleItemScope</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:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) 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-Scope-Error.html">Language.Python.Validate.Scope.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:Scope" class="def">Scope</a> <a href="#t:Scope" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ValidateScope" class="def">ValidateScope</a> ann 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-State-Lazy.html#t:State" title="Control.Monad.State.Lazy">State</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann)) <a href="#t:ValidateScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:runValidateScope" class="def">runValidateScope</a> :: <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann 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:runValidateScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateModuleScope" class="def">validateModuleScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateModuleScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateStatementScope" class="def">validateStatementScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateStatementScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateExprScope" class="def">validateExprScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateExprScope" 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:ScopeContext" class="def">ScopeContext</a> a <a href="#t:ScopeContext" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:ScopeContext" class="def">ScopeContext</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:_scGlobalScope" class="def">_scGlobalScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_scLocalScope" class="def">_scLocalScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:_scImmediateScope" class="def">_scImmediateScope</a> :: !(<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a)</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><details id="i:ScopeContext" open="open"><summary>Instances</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ScopeContext:Eq:1"></span> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> a => <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a)</span> <a href="#t:ScopeContext" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ScopeContext:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a -> <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> 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:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a -> <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> 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:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ScopeContext:Show:2"></span> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:Show" title="Text.Show">Show</a> a => <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:Show" title="Text.Show">Show</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a)</span> <a href="#t:ScopeContext" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ScopeContext:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -> <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> 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:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a] -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:scGlobalScope" class="def">scGlobalScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a) <a href="#v:scGlobalScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:scLocalScope" class="def">scLocalScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a) <a href="#v:scLocalScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:scImmediateScope" class="def">scImmediateScope</a> :: <span class="keyword">forall</span> 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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> a) <a href="#v:scImmediateScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:runValidateScope-39-" class="def">runValidateScope'</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann 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:runValidateScope-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:initialScopeContext" class="def">initialScopeContext</a> :: <a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> a <a href="#v:initialScopeContext" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Binding" class="def">Binding</a> <a href="#t:Binding" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Clean" class="def">Clean</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Dirty" class="def">Dirty</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><details id="i:Binding" open="open"><summary>Instances</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Binding:Eq:1"></span> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a></span> <a href="#t:Binding" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Binding:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Binding:Ord:2"></span> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a></span> <a href="#t:Binding" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Binding:Ord:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> <a href="#v:min" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Binding:Show:3"></span> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:Show" title="Text.Show">Show</a> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a></span> <a href="#t:Binding" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:Binding:Show:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope.html">Language.Python.Validate.Scope</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -> <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a> -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</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:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Language-Python-Validate-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a>] -> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><a href="#g:4" id="g:4"><h2>Extra functions</h2></a><div class="top"><p class="src"><a id="v:inScope" class="def">inScope</a> :: <a href="file:///nix/store/s3mp07kpl00qqp216y2m1cq9bnggv3cq-adjunctions-4.4-doc/share/doc/adjunctions-4.4/html/Control-Monad-Representable-State.html#t:MonadState" title="Control.Monad.Representable.State">MonadState</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) m => <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> -> m (<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-Scope.html#t:Binding" title="Language.Python.Validate.Scope">Binding</a>, ann)) <a href="#v:inScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:extendScope" class="def">extendScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Setter-39-" title="Control.Lens.Type">Setter'</a> (<a href="Language-Python-Validate-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> ann) -> [(ann, <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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e () <a href="#v:extendScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:locallyOver" class="def">locallyOver</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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) b -> (b -> b) -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a <a href="#v:locallyOver" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:locallyExtendOver" class="def">locallyExtendOver</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-Scope.html#t:ScopeContext" title="Language.Python.Validate.Scope">ScopeContext</a> ann) (<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/containers-0.5.11.0/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/bytestring-0.10.8.2/Data-ByteString.html#t:ByteString" title="Data.ByteString">ByteString</a> ann) -> [(ann, <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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> ann e a <a href="#v:locallyExtendOver" 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:validateArgScope" class="def">validateArgScope</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:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (<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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateArgScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateAssignExprScope" class="def">validateAssignExprScope</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> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateAssignExprScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateBlockScope" class="def">validateBlockScope</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:Block" title="Language.Python.Syntax.Statement">Block</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateBlockScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateCompoundStatementScope" class="def">validateCompoundStatementScope</a> :: <span class="keyword">forall</span> e v 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:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateCompoundStatementScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateComprehensionScope" class="def">validateComprehensionScope</a> :: <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> e a => (ex v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (ex (<a href="Data-Type-Set.html#t:Nub" title="Data.Type.Set">Nub</a> (<a href="Language-Python-Validate-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</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-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateComprehensionScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateDecoratorScope" class="def">validateDecoratorScope</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:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateDecoratorScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateDictItemScope" class="def">validateDictItemScope</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:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateDictItemScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateExceptAsScope" class="def">validateExceptAsScope</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:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateExceptAsScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateIdentScope" class="def">validateIdentScope</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-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateIdentScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateListItemScope" class="def">validateListItemScope</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:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateListItemScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateParamScope" class="def">validateParamScope</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:Param" title="Language.Python.Syntax.Expr">Param</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> a e (<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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateParamScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSetItemScope" class="def">validateSetItemScope</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:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateSetItemScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSimpleStatementScope" class="def">validateSimpleStatementScope</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:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateSimpleStatementScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSubscriptScope" class="def">validateSubscriptScope</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:Subscript" title="Language.Python.Syntax.Expr">Subscript</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateSubscriptScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateSuiteScope" class="def">validateSuiteScope</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:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateSuiteScope" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validateTupleItemScope" class="def">validateTupleItemScope</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:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a -> <a href="Language-Python-Validate-Scope.html#t:ValidateScope" title="Language.Python.Validate.Scope">ValidateScope</a> 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-Scope.html#t:Scope" title="Language.Python.Validate.Scope">Scope</a> ': v)) a) <a href="#v:validateTupleItemScope" 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>