-
Notifications
You must be signed in to change notification settings - Fork 16
Expand file tree
/
Copy pathLanguage-Python-Optics-Validated.html
More file actions
3 lines (3 loc) · 36 KB
/
Copy pathLanguage-Python-Optics-Validated.html
File metadata and controls
3 lines (3 loc) · 36 KB
1
2
3
<!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.Optics.Validated</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.Optics.Validated</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">class</span> <a href="#t:Validated">Validated</a> (s :: [<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:-42-" title="Data.Kind">*</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:-42-" title="Data.Kind">*</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:-42-" title="Data.Kind">*</a>) <span class="keyword">where</span><ul class="subs"></ul></li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Validated" class="def">Validated</a> (s :: [<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:-42-" title="Data.Kind">*</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:-42-" title="Data.Kind">*</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:-42-" title="Data.Kind">*</a>) <span class="keyword">where</span> <a href="#t:Validated" class="selflink">#</a></p><div class="doc"><p>A type class for things for which we can strip the validation information.
This can help types line up when they need to, for example to put many
things of various validation statuses together in a list.</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:unvalidated" class="def">unvalidated</a> :: <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Getter" title="Control.Lens.Type">Getter</a> (s v a) (s '[] a) <a href="#v:unvalidated" class="selflink">#</a></p><p class="src"><a id="v:unvalidated" class="def">unvalidated</a> :: <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Coerce.html#t:Coercible" title="Data.Coerce">Coercible</a> (s v a) (s '[] a) => <a href="file:///nix/store/ns4s0jprc1hmi393y85xji1s2z76dp5w-lens-4.16.1-doc/share/doc/lens-4.16.1/html/Control-Lens-Type.html#t:Getter" title="Control.Lens.Type">Getter</a> (s v a) (s '[] a) <a href="#v:unvalidated" class="selflink">#</a></p></div><div class="subs instances"><details id="i:Validated" 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:Validated:Validated:1"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Ident.html">Language.Python.Syntax.Ident</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a -> f (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> [] a)) -> <a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a -> f (<a href="Language-Python-Syntax-Ident.html#t:Ident" title="Language.Python.Syntax.Ident">Ident</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:2"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:Expr" title="Language.Python.Syntax.Expr">Expr</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:3"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:TupleItem" title="Language.Python.Syntax.Expr">TupleItem</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:4"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:SetItem" title="Language.Python.Syntax.Expr">SetItem</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:5"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:ListItem" title="Language.Python.Syntax.Expr">ListItem</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:6"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:DictItem" title="Language.Python.Syntax.Expr">DictItem</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:7"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:Arg" title="Language.Python.Syntax.Expr">Arg</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:8"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Expr.html">Language.Python.Syntax.Expr</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> [] a -> f (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> [] a)) -> <a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> v a -> f (<a href="Language-Python-Syntax-Expr.html#t:Param" title="Language.Python.Syntax.Expr">Param</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:9"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:CompoundStatement" title="Language.Python.Syntax.Statement">CompoundStatement</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:10"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:Decorator" title="Language.Python.Syntax.Statement">Decorator</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:11"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:WithItem" title="Language.Python.Syntax.Statement">WithItem</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:WithItem" title="Language.Python.Syntax.Statement">WithItem</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:WithItem" title="Language.Python.Syntax.Statement">WithItem</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:WithItem" title="Language.Python.Syntax.Statement">WithItem</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:WithItem" title="Language.Python.Syntax.Statement">WithItem</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:12"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:Suite" title="Language.Python.Syntax.Statement">Suite</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:13"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:13"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:ExceptAs" title="Language.Python.Syntax.Statement">ExceptAs</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:14"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:14"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:SimpleStatement" title="Language.Python.Syntax.Statement">SimpleStatement</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:15"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:15"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:Statement" title="Language.Python.Syntax.Statement">Statement</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:16"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:SmallStatement" title="Language.Python.Syntax.Statement">SmallStatement</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:16"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:SmallStatement" title="Language.Python.Syntax.Statement">SmallStatement</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:SmallStatement" title="Language.Python.Syntax.Statement">SmallStatement</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:SmallStatement" title="Language.Python.Syntax.Statement">SmallStatement</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:SmallStatement" title="Language.Python.Syntax.Statement">SmallStatement</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:17"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> <a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a></span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:17"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Statement.html">Language.Python.Syntax.Statement</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> [] a -> f (<a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> [] a)) -> <a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> v a -> f (<a href="Language-Python-Syntax-Statement.html#t:Block" title="Language.Python.Syntax.Statement">Block</a> v a) <a href="#v:unvalidated" 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:Validated:Validated:18"></span> <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> e => <a href="Language-Python-Optics-Validated.html#t:Validated" title="Language.Python.Optics.Validated">Validated</a> (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> e)</span> <a href="#t:Validated" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:Validated:Validated:18"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Language-Python-Syntax-Import.html">Language.Python.Syntax.Import</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unvalidated">unvalidated</a> :: (<a href="file:///nix/store/r9czbg346v0pq7a62blns3qglf4r4gni-contravariant-1.4.1-doc/share/doc/contravariant-1.4.1/html/Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> f, <a href="file:///nix/store/vqpc66a1hnvmjq14k7crkp0diwarf9vl-ghc-8.4.4-doc/share/doc/ghc/html/libraries/base-4.11.1.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> f) => (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> e [] a -> f (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> e [] a)) -> <a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> e v a -> f (<a href="Language-Python-Syntax-Import.html#t:ImportAs" title="Language.Python.Syntax.Import">ImportAs</a> e v a) <a href="#v:unvalidated" 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>