forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLanguage-Python-Validate-Scope-Error.html
More file actions
16 lines (15 loc) · 24.4 KB
/
Language-Python-Validate-Scope-Error.html
File metadata and controls
16 lines (15 loc) · 24.4 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
<!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.Error</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.Error</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ScopeError" class="def">ScopeError</a> a <a href="#t:ScopeError" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:FoundNonlocal" class="def">FoundNonlocal</a> a</td><td class="doc"><p>Using <code>nonlocal</code> to modify function scopes makes scope checking intractible</p></td></tr><tr><td class="src"><a id="v:FoundGlobal" class="def">FoundGlobal</a> a</td><td class="doc"><p>Using <code>global</code> to add identifiers to the global scope makes scope checking
intractible</p></td></tr><tr><td class="src"><a id="v:DeletedIdent" class="def">DeletedIdent</a> a</td><td class="doc"><p>Using <code>del</code> to remove identifiers from scope makes scope checking intractible</p></td></tr><tr><td class="src"><a id="v:FoundDynamic" class="def">FoundDynamic</a> a (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> '[] a)</td><td class="doc"><p>Variable assignments deep in control flow can modify the scope outside
the control flow. For example:</p><pre>if a:
x = 0
else:
pass
print(x)
</pre><p><code>x</code> will be in scope if the <code>True</code> branch was entered, but not if the <code>False</code>
branch was entered. This kind of behaviour makes scope checking intractible, so
programs like this are considered scope errors.</p></td></tr><tr><td class="src"><a id="v:NotInScope" class="def">NotInScope</a> (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> '[] a)</td><td class="doc"><p>An identifier is not in scope</p></td></tr><tr><td class="src"><a id="v:BadShadowing" class="def">BadShadowing</a> (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> '[] a)</td><td class="doc"><p>For loops don't execute in a fresh scope, so if the <code>counter</code> of the loop
shadows a variable, then that variable will be mutated.</p><p>e.g.</p><pre>x = 0
for x in 1, 2, 3:
pass
print(x)
</pre><p>outputs <code>3</code></p><p>This error occurs when we spot this pattern.</p></td></tr></table></div><div class="subs instances"><details id="i:ScopeError" 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:ScopeError: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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a)</span> <a href="#t:ScopeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ScopeError:Eq:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope-Error.html">Language.Python.Validate.Scope.Error</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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a -> <a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a -> <a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</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:ScopeError: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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a)</span> <a href="#t:ScopeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ScopeError:Show:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope-Error.html">Language.Python.Validate.Scope.Error</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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</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-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</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><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ScopeError:AsScopeError:3"></span> <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a</span> <a href="#t:ScopeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ScopeError:AsScopeError:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope-Error.html">Language.Python.Validate.Scope.Error</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_ScopeError">_ScopeError</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) <a href="#v:_ScopeError" class="selflink">#</a></p><p class="src"><a href="#v:_FoundNonlocal">_FoundNonlocal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_FoundNonlocal" class="selflink">#</a></p><p class="src"><a href="#v:_FoundGlobal">_FoundGlobal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_FoundGlobal" class="selflink">#</a></p><p class="src"><a href="#v:_DeletedIdent">_DeletedIdent</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_DeletedIdent" class="selflink">#</a></p><p class="src"><a href="#v:_FoundDynamic">_FoundDynamic</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (a, <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_FoundDynamic" class="selflink">#</a></p><p class="src"><a href="#v:_NotInScope">_NotInScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_NotInScope" class="selflink">#</a></p><p class="src"><a href="#v:_BadShadowing">_BadShadowing</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_BadShadowing" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:AsScopeError" class="def">AsScopeError</a> r a | r -> a <span class="keyword">where</span> <a href="#t:AsScopeError" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Language-Python-Validate-Scope-Error.html#v:_ScopeError" title="Language.Python.Validate.Scope.Error">_ScopeError</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:_ScopeError" class="def">_ScopeError</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) <a href="#v:_ScopeError" class="selflink">#</a></p><p class="src"><a id="v:_FoundNonlocal" class="def">_FoundNonlocal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r a <a href="#v:_FoundNonlocal" class="selflink">#</a></p><p class="src"><a id="v:_FoundGlobal" class="def">_FoundGlobal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r a <a href="#v:_FoundGlobal" class="selflink">#</a></p><p class="src"><a id="v:_DeletedIdent" class="def">_DeletedIdent</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r a <a href="#v:_DeletedIdent" class="selflink">#</a></p><p class="src"><a id="v:_FoundDynamic" class="def">_FoundDynamic</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r (a, <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> ('[] :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>]) a) <a href="#v:_FoundDynamic" class="selflink">#</a></p><p class="src"><a id="v:_NotInScope" class="def">_NotInScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> ('[] :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>]) a) <a href="#v:_NotInScope" class="selflink">#</a></p><p class="src"><a id="v:_BadShadowing" class="def">_BadShadowing</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> r (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> ('[] :: [<a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>]) a) <a href="#v:_BadShadowing" class="selflink">#</a></p></div><div class="subs instances"><details id="i:AsScopeError" 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:ic:AsScopeError:AsScopeError:1"></span> <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a</span> <a href="#t:AsScopeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:AsScopeError:AsScopeError:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Scope-Error.html">Language.Python.Validate.Scope.Error</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_ScopeError">_ScopeError</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) <a href="#v:_ScopeError" class="selflink">#</a></p><p class="src"><a href="#v:_FoundNonlocal">_FoundNonlocal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_FoundNonlocal" class="selflink">#</a></p><p class="src"><a href="#v:_FoundGlobal">_FoundGlobal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_FoundGlobal" class="selflink">#</a></p><p class="src"><a href="#v:_DeletedIdent">_DeletedIdent</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) a <a href="#v:_DeletedIdent" class="selflink">#</a></p><p class="src"><a href="#v:_FoundDynamic">_FoundDynamic</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (a, <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_FoundDynamic" class="selflink">#</a></p><p class="src"><a href="#v:_NotInScope">_NotInScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_NotInScope" class="selflink">#</a></p><p class="src"><a href="#v:_BadShadowing">_BadShadowing</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_BadShadowing" 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:ic:AsScopeError:AsScopeError:2"></span> <a href="Language-Python-Validate-Scope-Error.html#t:AsScopeError" title="Language.Python.Validate.Scope.Error">AsScopeError</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) a</span> <a href="#t:AsScopeError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:AsScopeError:AsScopeError:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Validate-Error.html">Language.Python.Validate.Error</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:_ScopeError">_ScopeError</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) (<a href="Language-Python-Validate-Scope-Error.html#t:ScopeError" title="Language.Python.Validate.Scope.Error">ScopeError</a> a) <a href="#v:_ScopeError" class="selflink">#</a></p><p class="src"><a href="#v:_FoundNonlocal">_FoundNonlocal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) a <a href="#v:_FoundNonlocal" class="selflink">#</a></p><p class="src"><a href="#v:_FoundGlobal">_FoundGlobal</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) a <a href="#v:_FoundGlobal" class="selflink">#</a></p><p class="src"><a href="#v:_DeletedIdent">_DeletedIdent</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) a <a href="#v:_DeletedIdent" class="selflink">#</a></p><p class="src"><a href="#v:_FoundDynamic">_FoundDynamic</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) (a, <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_FoundDynamic" class="selflink">#</a></p><p class="src"><a href="#v:_NotInScope">_NotInScope</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_NotInScope" class="selflink">#</a></p><p class="src"><a href="#v:_BadShadowing">_BadShadowing</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Prism-39-" title="Control.Lens.Type">Prism'</a> (<a href="Language-Python-Validate-Error.html#t:ValidationError" title="Language.Python.Validate.Error">ValidationError</a> a) (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a) <a href="#v:_BadShadowing" class="selflink">#</a></p></div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.20.0</p></div></body></html>