/usr/share/doc/libghc-cryptol-doc/html/Cryptol-Parser-Position.html is in libghc-cryptol-doc 2.4.0-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | <!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>Cryptol.Parser.Position</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Cryptol-Parser-Position.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Cryptol-Parser-Position.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">cryptol-2.4.0: Cryptol: The Language of Cryptography</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) 2013-2016 Galois Inc.</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>cryptol@galois.com</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Cryptol.Parser.Position</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Located">Located</a> a = <a href="#v:Located">Located</a> {<ul class="subs"><li><a href="#v:srcRange">srcRange</a> :: !<a href="Cryptol-Parser-Position.html#t:Range">Range</a></li><li><a href="#v:thing">thing</a> :: a</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:Position">Position</a> = <a href="#v:Position">Position</a> {<ul class="subs"><li><a href="#v:line">line</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li><a href="#v:col">col</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:Range">Range</a> = <a href="#v:Range">Range</a> {<ul class="subs"><li><a href="#v:from">from</a> :: !<a href="Cryptol-Parser-Position.html#t:Position">Position</a></li><li><a href="#v:to">to</a> :: !<a href="Cryptol-Parser-Position.html#t:Position">Position</a></li><li><a href="#v:source">source</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:FilePath">FilePath</a></li></ul>}</li><li class="src short"><a href="#v:emptyRange">emptyRange</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a></li><li class="src short"><a href="#v:start">start</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a></li><li class="src short"><a href="#v:move">move</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></li><li class="src short"><a href="#v:moves">moves</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></li><li class="src short"><a href="#v:rComb">rComb</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></li><li class="src short"><a href="#v:rCombs">rCombs</a> :: [<a href="Cryptol-Parser-Position.html#t:Range">Range</a>] -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:HasLoc">HasLoc</a> t <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">class</span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> t => <a href="#t:AddLoc">AddLoc</a> t <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:at">at</a> :: (<a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> l, <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> t) => l -> t -> t</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Located" class="def">Located</a> a <a href="src/Cryptol-Parser-Position.html#Located" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Located" class="def">Located</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:srcRange" class="def">srcRange</a> :: !<a href="Cryptol-Parser-Position.html#t:Range">Range</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:thing" class="def">thing</a> :: a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Located" class="caption collapser" onclick="toggleSection('i:Located')">Instances</p><div id="section.i:Located" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:Functor:1" class="instance expander" onclick="toggleSection('i:id:Located:Functor:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> <a href="Cryptol-Parser-Position.html#t:Located">Located</a></span> <a href="src/Cryptol-Parser-Position.html#line-62" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:Functor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> b -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:Eq:2" class="instance expander" onclick="toggleSection('i:id:Located:Eq:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-25" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:Eq:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:Show:3" class="instance expander" onclick="toggleSection('i:id:Located:Show:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-25" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:Generic:4" class="instance expander" onclick="toggleSection('i:id:Located:Generic:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-25" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:Generic:4" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a) x <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a) x -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="#v:to" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:NFData:5" class="instance expander" onclick="toggleSection('i:id:Located:NFData:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> a => <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-25" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:NFData:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> () <a href="#v:rnf" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:PPName:6" class="instance expander" onclick="toggleSection('i:id:Located:PPName:6')"></span> <a href="Cryptol-Utils-PP.html#t:PPName">PPName</a> a => <a href="Cryptol-Utils-PP.html#t:PPName">PPName</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-77" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:PPName:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ppNameFixity">ppNameFixity</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Cryptol-Utils-PP.html#t:Assoc">Assoc</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) <a href="src/Cryptol-Utils-PP.html#ppNameFixity" class="link">Source</a> <a href="#v:ppNameFixity" class="selflink">#</a></p><p class="src"><a href="#v:ppPrefixName">ppPrefixName</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Utils-PP.html#t:Doc">Doc</a> <a href="src/Cryptol-Utils-PP.html#ppPrefixName" class="link">Source</a> <a href="#v:ppPrefixName" class="selflink">#</a></p><p class="src"><a href="#v:ppInfixName">ppInfixName</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Utils-PP.html#t:Doc">Doc</a> <a href="src/Cryptol-Utils-PP.html#ppInfixName" class="link">Source</a> <a href="#v:ppInfixName" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:PP:7" class="instance expander" onclick="toggleSection('i:id:Located:PP:7')"></span> <a href="Cryptol-Utils-PP.html#t:PP">PP</a> a => <a href="Cryptol-Utils-PP.html#t:PP">PP</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-74" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:PP:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ppPrec">ppPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Utils-PP.html#t:Doc">Doc</a> <a href="src/Cryptol-Utils-PP.html#ppPrec" class="link">Source</a> <a href="#v:ppPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:AddLoc:8" class="instance expander" onclick="toggleSection('i:id:Located:AddLoc:8')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-114" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:AddLoc:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:HasLoc:9" class="instance expander" onclick="toggleSection('i:id:Located:HasLoc:9')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-90" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:HasLoc:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:NoPos:10" class="instance expander" onclick="toggleSection('i:id:Located:NoPos:10')"></span> <a href="Cryptol-Parser-AST.html#t:NoPos">NoPos</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> t)</span> <a href="src/Cryptol-Parser-AST.html#line-841" class="link">Source</a> <a href="#t:NoPos" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:NoPos:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:noPos">noPos</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> t -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> t <a href="src/Cryptol-Parser-AST.html#noPos" class="link">Source</a> <a href="#v:noPos" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Located:Rep:11" class="instance expander" onclick="toggleSection('i:id:Located:Rep:11')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-24" class="link">Source</a> <a href="#t:Located" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Located:Rep:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "Located" "Cryptol.Parser.Position" "cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "Located" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "srcRange") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:SourceStrict">SourceStrict</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedStrict">DecidedStrict</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a>)) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "thing") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> a))))</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Position" class="def">Position</a> <a href="src/Cryptol-Parser-Position.html#Position" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Position" class="def">Position</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:line" class="def">line</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:col" class="def">col</a> :: !<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Position" class="caption collapser" onclick="toggleSection('i:Position')">Instances</p><div id="section.i:Position" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:Eq:1" class="instance expander" onclick="toggleSection('i:id:Position:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-28" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:Ord:2" class="instance expander" onclick="toggleSection('i:id:Position:Ord:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-28" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:Show:3" class="instance expander" onclick="toggleSection('i:id:Position:Show:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-28" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Cryptol-Parser-Position.html#t:Position">Position</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:Generic:4" class="instance expander" onclick="toggleSection('i:id:Position:Generic:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-28" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:Generic:4" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> x <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> x -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="#v:to" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:NFData:5" class="instance expander" onclick="toggleSection('i:id:Position:NFData:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-28" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:NFData:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> () <a href="#v:rnf" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:PP:6" class="instance expander" onclick="toggleSection('i:id:Position:PP:6')"></span> <a href="Cryptol-Utils-PP.html#t:PP">PP</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-67" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:PP:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ppPrec">ppPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="Cryptol-Utils-PP.html#t:Doc">Doc</a> <a href="src/Cryptol-Utils-PP.html#ppPrec" class="link">Source</a> <a href="#v:ppPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Position:Rep:7" class="instance expander" onclick="toggleSection('i:id:Position:Rep:7')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a></span> <a href="src/Cryptol-Parser-Position.html#line-27" class="link">Source</a> <a href="#t:Position" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Position:Rep:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "Position" "Cryptol.Parser.Position" "cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "Position" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "line") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:SourceStrict">SourceStrict</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedUnpack">DecidedUnpack</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>)) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "col") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:SourceStrict">SourceStrict</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedUnpack">DecidedUnpack</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>))))</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Range" class="def">Range</a> <a href="src/Cryptol-Parser-Position.html#Range" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Range" class="def">Range</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:from" class="def">from</a> :: !<a href="Cryptol-Parser-Position.html#t:Position">Position</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:to" class="def">to</a> :: !<a href="Cryptol-Parser-Position.html#t:Position">Position</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:source" class="def">source</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:FilePath">FilePath</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Range" class="caption collapser" onclick="toggleSection('i:Range')">Instances</p><div id="section.i:Range" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:Eq:1" class="instance expander" onclick="toggleSection('i:id:Range:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-33" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:Show:2" class="instance expander" onclick="toggleSection('i:id:Range:Show:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-33" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Cryptol-Parser-Position.html#t:Range">Range</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:Generic:3" class="instance expander" onclick="toggleSection('i:id:Range:Generic:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-33" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:Generic:3" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> x <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> x -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="#v:to" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:NFData:4" class="instance expander" onclick="toggleSection('i:id:Range:NFData:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/deepseq-1.4.2.0/Control-DeepSeq.html#t:NFData">NFData</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-33" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:NFData:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:rnf">rnf</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> () <a href="#v:rnf" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:PP:5" class="instance expander" onclick="toggleSection('i:id:Range:PP:5')"></span> <a href="Cryptol-Utils-PP.html#t:PP">PP</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-70" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:PP:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ppPrec">ppPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Utils-PP.html#t:Doc">Doc</a> <a href="src/Cryptol-Utils-PP.html#ppPrec" class="link">Source</a> <a href="#v:ppPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:HasLoc:6" class="instance expander" onclick="toggleSection('i:id:Range:HasLoc:6')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-87" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:HasLoc:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Range:Rep:7" class="instance expander" onclick="toggleSection('i:id:Range:Rep:7')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-30" class="link">Source</a> <a href="#t:Range" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Range:Rep:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "Range" "Cryptol.Parser.Position" "cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "Range" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:True">True</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "from") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:SourceStrict">SourceStrict</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedStrict">DecidedStrict</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a>)) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "to") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:SourceStrict">SourceStrict</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedStrict">DecidedStrict</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="Cryptol-Parser-Position.html#t:Position">Position</a>)) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Just">Just</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a> "source") <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:FilePath">FilePath</a>)))))</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:emptyRange" class="def">emptyRange</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#emptyRange" class="link">Source</a> <a href="#v:emptyRange" class="selflink">#</a></p><div class="doc"><p>An empty range.</p><p>Caution: using this on the LHS of a use of rComb will cause the empty source
to propegate.</p></div></div><div class="top"><p class="src"><a id="v:start" class="def">start</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="src/Cryptol-Parser-Position.html#start" class="link">Source</a> <a href="#v:start" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:move" class="def">move</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="src/Cryptol-Parser-Position.html#move" class="link">Source</a> <a href="#v:move" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:moves" class="def">moves</a> :: <a href="Cryptol-Parser-Position.html#t:Position">Position</a> -> <a href="file:///usr/share/doc/libghc-text-doc/html/Data-Text-Lazy.html#t:Text">Text</a> -> <a href="Cryptol-Parser-Position.html#t:Position">Position</a> <a href="src/Cryptol-Parser-Position.html#moves" class="link">Source</a> <a href="#v:moves" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:rComb" class="def">rComb</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#rComb" class="link">Source</a> <a href="#v:rComb" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:rCombs" class="def">rCombs</a> :: [<a href="Cryptol-Parser-Position.html#t:Range">Range</a>] -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#rCombs" class="link">Source</a> <a href="#v:rCombs" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:HasLoc" class="def">HasLoc</a> t <span class="keyword">where</span> <a href="src/Cryptol-Parser-Position.html#HasLoc" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Cryptol-Parser-Position.html#v:getLoc">getLoc</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:getLoc" class="def">getLoc</a> :: t -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:HasLoc" class="caption collapser" onclick="toggleSection('i:HasLoc')">Instances</p><div id="section.i:HasLoc" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:1" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:1')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a></span> <a href="src/Cryptol-Parser-Position.html#line-87" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:2" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:2')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> a => <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> [a]</span> <a href="src/Cryptol-Parser-Position.html#line-101" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: [a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:3" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:3')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-90" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:4" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:4')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-413" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:5" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:5')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Type">Type</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-403" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Type">Type</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:6" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:6')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-396" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:7" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:7')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-445" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:8" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:8')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> a => <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Named">Named</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-442" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Named">Named</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:9" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:9')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-429" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:10" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:10')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Match">Match</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-438" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Match">Match</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:11" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:11')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-392" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:12" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:12')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> a => <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:TopLevel">TopLevel</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-462" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:TopLevel">TopLevel</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:13" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:13')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Newtype">Newtype</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-481" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Newtype">Newtype</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:14" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:14')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Bind">Bind</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-435" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Bind">Bind</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:15" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:15')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-452" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:16" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:16')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:TopDecl">TopDecl</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-465" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:TopDecl">TopDecl</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:17" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:17')"></span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (<a href="Cryptol-Parser-AST.html#t:Module">Module</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-471" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Module">Module</a> name -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:HasLoc:HasLoc:18" class="instance expander" onclick="toggleSection('i:ic:HasLoc:HasLoc:18')"></span> (<a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> a, <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> b) => <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> (a, b)</span> <a href="src/Cryptol-Parser-Position.html#line-93" class="link">Source</a> <a href="#t:HasLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:HasLoc:HasLoc:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:getLoc">getLoc</a> :: (a, b) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> <a href="src/Cryptol-Parser-Position.html#getLoc" class="link">Source</a> <a href="#v:getLoc" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> t => <a id="t:AddLoc" class="def">AddLoc</a> t <span class="keyword">where</span> <a href="src/Cryptol-Parser-Position.html#AddLoc" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Cryptol-Parser-Position.html#v:addLoc">addLoc</a>, <a href="Cryptol-Parser-Position.html#v:dropLoc">dropLoc</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:addLoc" class="def">addLoc</a> :: t -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> t <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a id="v:dropLoc" class="def">dropLoc</a> :: t -> t <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:AddLoc" class="caption collapser" onclick="toggleSection('i:AddLoc')">Instances</p><div id="section.i:AddLoc" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:1" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:1')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-Position.html#t:Located">Located</a> a)</span> <a href="src/Cryptol-Parser-Position.html#line-114" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a -> <a href="Cryptol-Parser-Position.html#t:Located">Located</a> a <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:2" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:2')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-417" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name -> <a href="Cryptol-Parser-AST.html#t:Prop">Prop</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:3" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:3')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Type">Type</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-407" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Type">Type</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Type">Type</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Type">Type</a> name -> <a href="Cryptol-Parser-AST.html#t:Type">Type</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:4" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:4')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-399" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name -> <a href="Cryptol-Parser-AST.html#t:TParam">TParam</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:5" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:5')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-448" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name -> <a href="Cryptol-Parser-AST.html#t:Schema">Schema</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:6" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:6')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-423" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name -> <a href="Cryptol-Parser-AST.html#t:Pattern">Pattern</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:7" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:7')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> n)</span> <a href="src/Cryptol-Parser-Position.html#line-386" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> n -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> n <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> n -> <a href="Cryptol-Parser-AST.html#t:Expr">Expr</a> n <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:AddLoc:AddLoc:8" class="instance expander" onclick="toggleSection('i:ic:AddLoc:AddLoc:8')"></span> <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> (<a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name)</span> <a href="src/Cryptol-Parser-Position.html#line-456" class="link">Source</a> <a href="#t:AddLoc" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:AddLoc:AddLoc:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:addLoc">addLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name -> <a href="Cryptol-Parser-Position.html#t:Range">Range</a> -> <a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name <a href="src/Cryptol-Parser-Position.html#addLoc" class="link">Source</a> <a href="#v:addLoc" class="selflink">#</a></p><p class="src"><a href="#v:dropLoc">dropLoc</a> :: <a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name -> <a href="Cryptol-Parser-AST.html#t:Decl">Decl</a> name <a href="src/Cryptol-Parser-Position.html#dropLoc" class="link">Source</a> <a href="#v:dropLoc" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:at" class="def">at</a> :: (<a href="Cryptol-Parser-Position.html#t:HasLoc">HasLoc</a> l, <a href="Cryptol-Parser-Position.html#t:AddLoc">AddLoc</a> t) => l -> t -> t <a href="src/Cryptol-Parser-Position.html#at" class="link">Source</a> <a href="#v:at" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|