<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/full/Agda/Syntax/Abstract/Name.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE CPP,
<a name="line-2"></a> DeriveDataTypeable, GeneralizedNewtypeDeriving,
<a name="line-3"></a> DeriveFunctor, DeriveFoldable, DeriveTraversable,
<a name="line-4"></a> FlexibleContexts #-}</span>
<a name="line-5"></a>
<a name="line-6"></a><span class='hs-comment'>{-| Abstract names should carry unique identifiers and stuff. Not right now though.
<a name="line-7"></a>-}</span>
<a name="line-8"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Abstract</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-9"></a>
<a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>State</span>
<a name="line-11"></a>
<a name="line-12"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Foldable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Foldable</span><span class='hs-layout'>)</span>
<a name="line-13"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Traversable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Traversable</span><span class='hs-layout'>)</span>
<a name="line-14"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Typeable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span>
<a name="line-15"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span>
<a name="line-16"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Function</span>
<a name="line-17"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Hashable</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Position</span>
<a name="line-20"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Common</span>
<a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Fixity</span>
<a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Concrete</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>C</span>
<a name="line-23"></a>
<a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Utils</span><span class='hs-varop'>.</span><span class='hs-conid'>Fresh</span>
<a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Utils</span><span class='hs-varop'>.</span><span class='hs-conid'>Size</span>
<a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Utils</span><span class='hs-varop'>.</span><span class='hs-conid'>Suffix</span>
<a name="line-27"></a>
<a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Syntax</span><span class='hs-varop'>.</span><span class='hs-conid'>Notation</span>
<a name="line-29"></a>
<a name="line-30"></a><span class='hs-cpp'>#include "../../undefined.h"</span>
<a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Agda</span><span class='hs-varop'>.</span><span class='hs-conid'>Utils</span><span class='hs-varop'>.</span><span class='hs-conid'>Impossible</span>
<a name="line-32"></a>
<a name="line-33"></a><a name="Name"></a><span class='hs-comment'>-- | A name is a unique identifier and a suggestion for a concrete name. The</span>
<a name="line-34"></a><a name="Name"></a><span class='hs-comment'>-- concrete name contains the source location (if any) of the name. The</span>
<a name="line-35"></a><a name="Name"></a><span class='hs-comment'>-- source location of the binding site is also recorded.</span>
<a name="line-36"></a><a name="Name"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Name</span> <span class='hs-layout'>{</span> <span class='hs-varid'>nameId</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>NameId</span>
<a name="line-37"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span>
<a name="line-38"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>nameBindingSite</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Range</span>
<a name="line-39"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>nameFixity</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Fixity'</span>
<a name="line-40"></a> <span class='hs-layout'>}</span>
<a name="line-41"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span>
<a name="line-42"></a>
<a name="line-43"></a><a name="QName"></a><span class='hs-comment'>-- | Qualified names are non-empty lists of names. Equality on qualified names</span>
<a name="line-44"></a><a name="QName"></a><span class='hs-comment'>-- are just equality on the last name, i.e. the module part is just</span>
<a name="line-45"></a><a name="QName"></a><span class='hs-comment'>-- for show.</span>
<a name="line-46"></a><a name="QName"></a><span class='hs-comment'>--</span>
<a name="line-47"></a><a name="QName"></a><span class='hs-comment'>-- The 'SetRange' instance for qualified names sets all individual</span>
<a name="line-48"></a><a name="QName"></a><span class='hs-comment'>-- ranges (including those of the module prefix) to the given one.</span>
<a name="line-49"></a><a name="QName"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>QName</span> <span class='hs-layout'>{</span> <span class='hs-varid'>qnameModule</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span>
<a name="line-50"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>qnameName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span>
<a name="line-51"></a> <span class='hs-layout'>}</span>
<a name="line-52"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span>
<a name="line-53"></a>
<a name="line-54"></a><a name="QNamed"></a><span class='hs-comment'>-- | Something preceeded by a qualified name.</span>
<a name="line-55"></a><a name="QNamed"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>QNamed</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>QNamed</span>
<a name="line-56"></a> <span class='hs-layout'>{</span> <span class='hs-varid'>qname</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span>
<a name="line-57"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>qnamed</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>a</span>
<a name="line-58"></a> <span class='hs-layout'>}</span>
<a name="line-59"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>,</span> <span class='hs-conid'>Functor</span><span class='hs-layout'>,</span> <span class='hs-conid'>Foldable</span><span class='hs-layout'>,</span> <span class='hs-conid'>Traversable</span><span class='hs-layout'>)</span>
<a name="line-60"></a>
<a name="line-61"></a><a name="ModuleName"></a><span class='hs-comment'>-- | A module name is just a qualified name.</span>
<a name="line-62"></a><a name="ModuleName"></a><span class='hs-comment'>--</span>
<a name="line-63"></a><a name="ModuleName"></a><span class='hs-comment'>-- The 'SetRange' instance for module names sets all individual ranges</span>
<a name="line-64"></a><a name="ModuleName"></a><span class='hs-comment'>-- to the given one.</span>
<a name="line-65"></a><a name="ModuleName"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>MName</span> <span class='hs-layout'>{</span> <span class='hs-varid'>mnameToList</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>}</span>
<a name="line-66"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Ord</span><span class='hs-layout'>,</span> <span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span>
<a name="line-67"></a>
<a name="line-68"></a><a name="AmbiguousQName"></a><span class='hs-comment'>-- | Ambiguous qualified names. Used for overloaded constructors.</span>
<a name="line-69"></a><a name="AmbiguousQName"></a><span class='hs-comment'>--</span>
<a name="line-70"></a><a name="AmbiguousQName"></a><span class='hs-comment'>-- Invariant: All the names in the list must have the same concrete,</span>
<a name="line-71"></a><a name="AmbiguousQName"></a><span class='hs-comment'>-- unqualified name.</span>
<a name="line-72"></a><a name="AmbiguousQName"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>AmbiguousQName</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AmbQ</span> <span class='hs-layout'>{</span> <span class='hs-varid'>unAmbQ</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>QName</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>}</span>
<a name="line-73"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>,</span> <span class='hs-conid'>HasRange</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-74"></a>
<a name="line-75"></a><a name="instance%20HasRange%20ModuleName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>HasRange</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>where</span>
<a name="line-76"></a> <span class='hs-varid'>getRange</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>noRange</span>
<a name="line-77"></a> <span class='hs-varid'>getRange</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getRange</span> <span class='hs-varid'>xs</span>
<a name="line-78"></a>
<a name="line-79"></a><a name="isAnonymousModuleName"></a><span class='hs-comment'>-- | A module is anonymous if the qualification path ends in an underscore.</span>
<a name="line-80"></a><span class='hs-definition'>isAnonymousModuleName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-81"></a><span class='hs-definition'>isAnonymousModuleName</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span>
<a name="line-82"></a><span class='hs-definition'>isAnonymousModuleName</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>ms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-varid'>isNoName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varop'>$</span> <span class='hs-varid'>last</span> <span class='hs-varid'>ms</span>
<a name="line-83"></a>
<a name="line-84"></a><span class='hs-comment'>-- | Sets the ranges of the individual names in the module name to</span>
<a name="line-85"></a><span class='hs-comment'>-- match those of the corresponding concrete names. If the concrete</span>
<a name="line-86"></a><span class='hs-comment'>-- names are fewer than the number of module name name parts, then the</span>
<a name="line-87"></a><span class='hs-comment'>-- initial name parts get the range 'noRange'.</span>
<a name="line-88"></a><span class='hs-comment'>--</span>
<a name="line-89"></a><span class='hs-comment'>-- @C.D.E \`withRangesOf\` [A, B]@ returns @C.D.E@ but with ranges set</span>
<a name="line-90"></a><span class='hs-comment'>-- as follows:</span>
<a name="line-91"></a><span class='hs-comment'>--</span>
<a name="line-92"></a><span class='hs-comment'>-- * @C@: 'noRange'.</span>
<a name="line-93"></a><span class='hs-comment'>--</span>
<a name="line-94"></a><span class='hs-comment'>-- * @D@: the range of @A@.</span>
<a name="line-95"></a><span class='hs-comment'>--</span>
<a name="line-96"></a><span class='hs-comment'>-- * @E@: the range of @B@.</span>
<a name="line-97"></a><span class='hs-comment'>--</span>
<a name="line-98"></a><span class='hs-comment'>-- Precondition: The number of module name name parts has to be at</span>
<a name="line-99"></a><span class='hs-comment'>-- least as large as the length of the list.</span>
<a name="line-100"></a>
<a name="line-101"></a><a name="withRangesOf"></a><span class='hs-definition'>withRangesOf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span>
<a name="line-102"></a><span class='hs-conid'>MName</span> <span class='hs-varid'>ms</span> <span class='hs-varop'>`withRangesOf`</span> <span class='hs-varid'>ns</span>
<a name="line-103"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>length</span> <span class='hs-varid'>ms</span> <span class='hs-varop'><</span> <span class='hs-varid'>length</span> <span class='hs-varid'>ns</span> <span class='hs-keyglyph'>=</span> <span class='hs-sel'>__IMPOSSIBLE__</span>
<a name="line-104"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>MName</span> <span class='hs-varop'>$</span>
<a name="line-105"></a> <span class='hs-varid'>reverse</span> <span class='hs-varop'>$</span> <span class='hs-varid'>zipWith</span> <span class='hs-varid'>setRange</span>
<a name="line-106"></a> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>getRange</span> <span class='hs-varid'>ns</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-varid'>repeat</span> <span class='hs-varid'>noRange</span><span class='hs-layout'>)</span>
<a name="line-107"></a> <span class='hs-layout'>(</span><span class='hs-varid'>reverse</span> <span class='hs-varid'>ms</span><span class='hs-layout'>)</span>
<a name="line-108"></a>
<a name="line-109"></a><span class='hs-comment'>-- | Like 'withRangesOf', but uses the name parts (qualifier + name)</span>
<a name="line-110"></a><span class='hs-comment'>-- of the qualified name as the list of concrete names.</span>
<a name="line-111"></a>
<a name="line-112"></a><a name="withRangesOfQ"></a><span class='hs-definition'>withRangesOfQ</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span>
<a name="line-113"></a><a name="withRangesOfQ"></a><span class='hs-definition'>m</span> <span class='hs-varop'>`withRangesOfQ`</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>m</span> <span class='hs-varop'>`withRangesOf`</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-varid'>qnameParts</span> <span class='hs-varid'>q</span>
<a name="line-114"></a>
<a name="line-115"></a><a name="mnameFromList"></a><span class='hs-definition'>mnameFromList</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span>
<a name="line-116"></a><span class='hs-definition'>mnameFromList</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>MName</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="noModuleName"></a><span class='hs-definition'>noModuleName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span>
<a name="line-119"></a><span class='hs-definition'>noModuleName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameFromList</span> <span class='hs-conid'>[]</span>
<a name="line-120"></a>
<a name="line-121"></a><span class='hs-comment'>-- | The 'Range' sets the /definition site/ of the name, not the use</span>
<a name="line-122"></a><span class='hs-comment'>-- site.</span>
<a name="line-123"></a>
<a name="line-124"></a><a name="mkName"></a><span class='hs-definition'>mkName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Range</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>NameId</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span>
<a name="line-125"></a><span class='hs-definition'>mkName</span> <span class='hs-varid'>r</span> <span class='hs-varid'>i</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Name</span> <span class='hs-varid'>i</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span> <span class='hs-varid'>noRange</span> <span class='hs-layout'>(</span><span class='hs-varid'>parseName</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span> <span class='hs-varid'>defaultFixity'</span>
<a name="line-126"></a> <span class='hs-keyword'>where</span>
<a name="line-127"></a> <span class='hs-varid'>parseName</span> <span class='hs-str'>""</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-128"></a> <span class='hs-varid'>parseName</span> <span class='hs-layout'>(</span><span class='hs-chr'>'_'</span><span class='hs-conop'>:</span><span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Hole</span> <span class='hs-conop'>:</span> <span class='hs-varid'>parseName</span> <span class='hs-varid'>s</span>
<a name="line-129"></a> <span class='hs-varid'>parseName</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>break</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span> <span class='hs-chr'>'_'</span><span class='hs-layout'>)</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-130"></a> <span class='hs-layout'>(</span><span class='hs-varid'>s0</span><span class='hs-layout'>,</span> <span class='hs-varid'>s1</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Id</span> <span class='hs-varid'>s0</span> <span class='hs-conop'>:</span> <span class='hs-varid'>parseName</span> <span class='hs-varid'>s1</span>
<a name="line-131"></a>
<a name="line-132"></a><a name="mkName_"></a><span class='hs-definition'>mkName_</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>NameId</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span>
<a name="line-133"></a><span class='hs-definition'>mkName_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>noRange</span>
<a name="line-134"></a>
<a name="line-135"></a><a name="qnameToList"></a><span class='hs-definition'>qnameToList</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span>
<a name="line-136"></a><span class='hs-definition'>qnameToList</span> <span class='hs-layout'>(</span><span class='hs-conid'>QName</span> <span class='hs-varid'>m</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span>
<a name="line-137"></a>
<a name="line-138"></a><a name="qnameFromList"></a><span class='hs-definition'>qnameFromList</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Name</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span>
<a name="line-139"></a><span class='hs-definition'>qnameFromList</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-sel'>__IMPOSSIBLE__</span>
<a name="line-140"></a><span class='hs-definition'>qnameFromList</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>QName</span> <span class='hs-layout'>(</span><span class='hs-varid'>mnameFromList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>init</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>last</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span>
<a name="line-141"></a>
<a name="line-142"></a><a name="qnameToMName"></a><span class='hs-definition'>qnameToMName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span>
<a name="line-143"></a><span class='hs-definition'>qnameToMName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameFromList</span> <span class='hs-varop'>.</span> <span class='hs-varid'>qnameToList</span>
<a name="line-144"></a>
<a name="line-145"></a><a name="mnameToQName"></a><span class='hs-definition'>mnameToQName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span>
<a name="line-146"></a><span class='hs-definition'>mnameToQName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qnameFromList</span> <span class='hs-varop'>.</span> <span class='hs-varid'>mnameToList</span>
<a name="line-147"></a>
<a name="line-148"></a><a name="showQNameId"></a><span class='hs-definition'>showQNameId</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span>
<a name="line-149"></a><span class='hs-definition'>showQNameId</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>show</span> <span class='hs-varid'>ns</span> <span class='hs-varop'>++</span> <span class='hs-str'>"@"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>m</span>
<a name="line-150"></a> <span class='hs-keyword'>where</span>
<a name="line-151"></a> <span class='hs-varid'>is</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>nameId</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mnameToList</span> <span class='hs-layout'>(</span><span class='hs-varid'>qnameModule</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>qnameName</span> <span class='hs-varid'>q</span><span class='hs-keyglyph'>]</span>
<a name="line-152"></a> <span class='hs-varid'>ns</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>NameId</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>is</span> <span class='hs-keyglyph'>]</span>
<a name="line-153"></a> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>head</span> <span class='hs-keyglyph'>[</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>NameId</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>is</span> <span class='hs-keyglyph'>]</span>
<a name="line-154"></a>
<a name="line-155"></a><a name="qnameToConcrete"></a><span class='hs-comment'>-- | Turn a qualified name into a concrete name. This should only be used as a</span>
<a name="line-156"></a><span class='hs-comment'>-- fallback when looking up the right concrete name in the scope fails.</span>
<a name="line-157"></a><span class='hs-definition'>qnameToConcrete</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>QName</span>
<a name="line-158"></a><span class='hs-definition'>qnameToConcrete</span> <span class='hs-layout'>(</span><span class='hs-conid'>QName</span> <span class='hs-varid'>m</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-159"></a> <span class='hs-varid'>foldr</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>QName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m</span>
<a name="line-160"></a>
<a name="line-161"></a><a name="mnameToConcrete"></a><span class='hs-definition'>mnameToConcrete</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>QName</span>
<a name="line-162"></a><span class='hs-definition'>mnameToConcrete</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-sel'>__IMPOSSIBLE__</span> <span class='hs-comment'>-- C.QName C.noName_ -- should never happen?</span>
<a name="line-163"></a><span class='hs-definition'>mnameToConcrete</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldr</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Qual</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>QName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>last</span> <span class='hs-varid'>cs</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>init</span> <span class='hs-varid'>cs</span>
<a name="line-164"></a> <span class='hs-keyword'>where</span>
<a name="line-165"></a> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>xs</span>
<a name="line-166"></a>
<a name="line-167"></a><span class='hs-comment'>-- | Computes the 'TopLevelModuleName' corresponding to the given</span>
<a name="line-168"></a><span class='hs-comment'>-- module name, which is assumed to represent a top-level module name.</span>
<a name="line-169"></a><span class='hs-comment'>--</span>
<a name="line-170"></a><span class='hs-comment'>-- Precondition: The module name must be well-formed.</span>
<a name="line-171"></a>
<a name="line-172"></a><a name="toTopLevelModuleName"></a><span class='hs-definition'>toTopLevelModuleName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>TopLevelModuleName</span>
<a name="line-173"></a><span class='hs-definition'>toTopLevelModuleName</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-sel'>__IMPOSSIBLE__</span>
<a name="line-174"></a><span class='hs-definition'>toTopLevelModuleName</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>ms</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>TopLevelModuleName</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varid'>ms</span><span class='hs-layout'>)</span>
<a name="line-175"></a>
<a name="line-176"></a><a name="qualifyM"></a><span class='hs-definition'>qualifyM</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span>
<a name="line-177"></a><span class='hs-definition'>qualifyM</span> <span class='hs-varid'>m1</span> <span class='hs-varid'>m2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameFromList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m1</span> <span class='hs-varop'>++</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m2</span>
<a name="line-178"></a>
<a name="line-179"></a><a name="qualifyQ"></a><span class='hs-definition'>qualifyQ</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span>
<a name="line-180"></a><span class='hs-definition'>qualifyQ</span> <span class='hs-varid'>m</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qnameFromList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m</span> <span class='hs-varop'>++</span> <span class='hs-varid'>qnameToList</span> <span class='hs-varid'>x</span>
<a name="line-181"></a>
<a name="line-182"></a><a name="qualify"></a><span class='hs-definition'>qualify</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span>
<a name="line-183"></a><span class='hs-definition'>qualify</span> <span class='hs-varid'>m</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qualifyQ</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-varid'>qnameFromList</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-184"></a>
<a name="line-185"></a><span class='hs-comment'>-- | Is the name an operator?</span>
<a name="line-186"></a>
<a name="line-187"></a><a name="isOperator"></a><span class='hs-definition'>isOperator</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-188"></a><span class='hs-definition'>isOperator</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-varid'>isOperator</span> <span class='hs-layout'>(</span><span class='hs-varid'>nameConcrete</span> <span class='hs-layout'>(</span><span class='hs-varid'>qnameName</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-189"></a>
<a name="line-190"></a><a name="isSubModuleOf"></a><span class='hs-definition'>isSubModuleOf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-191"></a><span class='hs-definition'>isSubModuleOf</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>/=</span> <span class='hs-varid'>ys</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>isPrefixOf</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>xs</span>
<a name="line-192"></a> <span class='hs-keyword'>where</span>
<a name="line-193"></a> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>x</span>
<a name="line-194"></a> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>y</span>
<a name="line-195"></a>
<a name="line-196"></a><a name="isInModule"></a><span class='hs-definition'>isInModule</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-197"></a><span class='hs-definition'>isInModule</span> <span class='hs-varid'>q</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-varid'>qnameToList</span> <span class='hs-varid'>q</span>
<a name="line-198"></a>
<a name="line-199"></a><a name="freshName"></a><span class='hs-definition'>freshName</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadState</span> <span class='hs-varid'>s</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>HasFresh</span> <span class='hs-conid'>NameId</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Range</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-conid'>Name</span>
<a name="line-200"></a><span class='hs-definition'>freshName</span> <span class='hs-varid'>r</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-201"></a> <span class='hs-varid'>i</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fresh</span>
<a name="line-202"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkName</span> <span class='hs-varid'>r</span> <span class='hs-varid'>i</span> <span class='hs-varid'>s</span>
<a name="line-203"></a>
<a name="line-204"></a><a name="freshName_"></a><span class='hs-definition'>freshName_</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadState</span> <span class='hs-varid'>s</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>HasFresh</span> <span class='hs-conid'>NameId</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-conid'>Name</span>
<a name="line-205"></a><span class='hs-definition'>freshName_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>freshName</span> <span class='hs-varid'>noRange</span>
<a name="line-206"></a>
<a name="line-207"></a><a name="freshNoName"></a><span class='hs-definition'>freshNoName</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadState</span> <span class='hs-varid'>s</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>HasFresh</span> <span class='hs-conid'>NameId</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Range</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-conid'>Name</span>
<a name="line-208"></a><span class='hs-definition'>freshNoName</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span>
<a name="line-209"></a> <span class='hs-keyword'>do</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fresh</span>
<a name="line-210"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Name</span> <span class='hs-varid'>i</span> <span class='hs-layout'>(</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>NoName</span> <span class='hs-varid'>noRange</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span> <span class='hs-varid'>defaultFixity'</span>
<a name="line-211"></a>
<a name="line-212"></a><a name="freshNoName_"></a><span class='hs-definition'>freshNoName_</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadState</span> <span class='hs-varid'>s</span> <span class='hs-varid'>m</span><span class='hs-layout'>,</span> <span class='hs-conid'>HasFresh</span> <span class='hs-conid'>NameId</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>m</span> <span class='hs-conid'>Name</span>
<a name="line-213"></a><span class='hs-definition'>freshNoName_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>freshNoName</span> <span class='hs-varid'>noRange</span>
<a name="line-214"></a>
<a name="line-215"></a><a name="nextName"></a><span class='hs-comment'>-- | Get the next version of the concrete name. For instance, @nextName "x" = "x₁"@.</span>
<a name="line-216"></a><span class='hs-comment'>-- The name must not be a 'NoName'.</span>
<a name="line-217"></a><span class='hs-definition'>nextName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Name</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span>
<a name="line-218"></a><span class='hs-definition'>nextName</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-layout'>{</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span> <span class='hs-varid'>noRange</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nextSuf</span> <span class='hs-varid'>ps</span> <span class='hs-layout'>}</span>
<a name="line-219"></a> <span class='hs-keyword'>where</span>
<a name="line-220"></a> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Name</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>x</span>
<a name="line-221"></a> <span class='hs-comment'>-- NoName cannot appear here</span>
<a name="line-222"></a> <span class='hs-varid'>nextSuf</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Id</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Id</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nextStr</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>]</span>
<a name="line-223"></a> <span class='hs-varid'>nextSuf</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Id</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Hole</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Id</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nextStr</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>C</span><span class='hs-varop'>.</span><span class='hs-conid'>Hole</span><span class='hs-keyglyph'>]</span>
<a name="line-224"></a> <span class='hs-varid'>nextSuf</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-conop'>:</span> <span class='hs-varid'>ps</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>p</span> <span class='hs-conop'>:</span> <span class='hs-varid'>nextSuf</span> <span class='hs-varid'>ps</span>
<a name="line-225"></a> <span class='hs-varid'>nextSuf</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-sel'>__IMPOSSIBLE__</span>
<a name="line-226"></a> <span class='hs-varid'>nextStr</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>suffixView</span> <span class='hs-varid'>s</span> <span class='hs-keyword'>of</span>
<a name="line-227"></a> <span class='hs-layout'>(</span><span class='hs-varid'>s0</span><span class='hs-layout'>,</span> <span class='hs-varid'>suf</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>addSuffix</span> <span class='hs-varid'>s0</span> <span class='hs-layout'>(</span><span class='hs-varid'>nextSuffix</span> <span class='hs-varid'>suf</span><span class='hs-layout'>)</span>
<a name="line-228"></a>
<a name="line-229"></a><a name="instance%20Show%20NameId"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>NameId</span> <span class='hs-keyword'>where</span>
<a name="line-230"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>NameId</span> <span class='hs-varid'>x</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>show</span> <span class='hs-varid'>x</span> <span class='hs-varop'>++</span> <span class='hs-str'>"@"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>i</span>
<a name="line-231"></a>
<a name="line-232"></a><a name="instance%20Eq%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Eq</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-233"></a> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nameId</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>nameId</span> <span class='hs-varid'>y</span>
<a name="line-234"></a>
<a name="line-235"></a><a name="instance%20Ord%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ord</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-236"></a> <span class='hs-varid'>compare</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>compare</span> <span class='hs-layout'>(</span><span class='hs-varid'>nameId</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>nameId</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-237"></a>
<a name="line-238"></a><a name="instance%20Show%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-239"></a> <span class='hs-varid'>show</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ++ "|" ++ show (nameId x)</span>
<a name="line-240"></a>
<a name="line-241"></a><a name="instance%20Hashable%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Hashable</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-242"></a> <span class='hs-comment'>{-# INLINE hashWithSalt #-}</span>
<a name="line-243"></a> <span class='hs-varid'>hashWithSalt</span> <span class='hs-varid'>salt</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>hashWithSalt</span> <span class='hs-varid'>salt</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>nameId</span>
<a name="line-244"></a>
<a name="line-245"></a><a name="instance%20Show%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-246"></a> <span class='hs-varid'>show</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>intersperse</span> <span class='hs-str'>"."</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qnameToList</span> <span class='hs-varid'>q</span>
<a name="line-247"></a>
<a name="line-248"></a><a name="instance%20Show%20ModuleName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>where</span>
<a name="line-249"></a> <span class='hs-varid'>show</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concat</span> <span class='hs-varop'>$</span> <span class='hs-varid'>intersperse</span> <span class='hs-str'>"."</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mnameToList</span> <span class='hs-varid'>m</span>
<a name="line-250"></a>
<a name="line-251"></a><a name="instance%20Eq%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Eq</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-252"></a> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-layout'>)</span> <span class='hs-varop'>`on`</span> <span class='hs-varid'>qnameName</span>
<a name="line-253"></a>
<a name="line-254"></a><a name="instance%20Ord%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Ord</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-255"></a> <span class='hs-varid'>compare</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>compare</span> <span class='hs-varop'>`on`</span> <span class='hs-varid'>qnameName</span>
<a name="line-256"></a>
<a name="line-257"></a><a name="instance%20Hashable%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Hashable</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-258"></a> <span class='hs-comment'>{-# INLINE hashWithSalt #-}</span>
<a name="line-259"></a> <span class='hs-varid'>hashWithSalt</span> <span class='hs-varid'>salt</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>hashWithSalt</span> <span class='hs-varid'>salt</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>qnameName</span>
<a name="line-260"></a>
<a name="line-261"></a><a name="instance%20HasRange%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>HasRange</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-262"></a> <span class='hs-varid'>getRange</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getRange</span> <span class='hs-varop'>.</span> <span class='hs-varid'>nameConcrete</span>
<a name="line-263"></a>
<a name="line-264"></a><a name="instance%20HasRange%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>HasRange</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-265"></a> <span class='hs-varid'>getRange</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getRange</span> <span class='hs-layout'>(</span><span class='hs-varid'>qnameModule</span> <span class='hs-varid'>q</span><span class='hs-layout'>,</span> <span class='hs-varid'>qnameName</span> <span class='hs-varid'>q</span><span class='hs-layout'>)</span>
<a name="line-266"></a>
<a name="line-267"></a><a name="instance%20SetRange%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>SetRange</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-268"></a> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-layout'>{</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>x</span> <span class='hs-layout'>}</span>
<a name="line-269"></a>
<a name="line-270"></a><a name="instance%20SetRange%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>SetRange</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-271"></a> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>q</span> <span class='hs-layout'>{</span> <span class='hs-varid'>qnameModule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qnameModule</span> <span class='hs-varid'>q</span>
<a name="line-272"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>qnameName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qnameName</span> <span class='hs-varid'>q</span>
<a name="line-273"></a> <span class='hs-layout'>}</span>
<a name="line-274"></a>
<a name="line-275"></a><a name="instance%20SetRange%20ModuleName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>SetRange</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>where</span>
<a name="line-276"></a> <span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>ns</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>MName</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>setRange</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varid'>ns</span><span class='hs-layout'>)</span>
<a name="line-277"></a>
<a name="line-278"></a><a name="instance%20KillRange%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>KillRange</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-279"></a> <span class='hs-varid'>killRange</span> <span class='hs-varid'>q</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>q</span> <span class='hs-layout'>{</span> <span class='hs-varid'>qnameModule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>killRange</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qnameModule</span> <span class='hs-varid'>q</span>
<a name="line-280"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>qnameName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>killRange</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qnameName</span> <span class='hs-varid'>q</span>
<a name="line-281"></a> <span class='hs-layout'>}</span>
<a name="line-282"></a>
<a name="line-283"></a><a name="instance%20KillRange%20Name"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>KillRange</span> <span class='hs-conid'>Name</span> <span class='hs-keyword'>where</span>
<a name="line-284"></a> <span class='hs-varid'>killRange</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-layout'>{</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>killRange</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nameConcrete</span> <span class='hs-varid'>x</span> <span class='hs-layout'>}</span>
<a name="line-285"></a>
<a name="line-286"></a><a name="instance%20KillRange%20ModuleName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>KillRange</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>where</span>
<a name="line-287"></a> <span class='hs-varid'>killRange</span> <span class='hs-layout'>(</span><span class='hs-conid'>MName</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>MName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>killRange</span> <span class='hs-varid'>xs</span>
<a name="line-288"></a>
<a name="line-289"></a><a name="instance%20KillRange%20AmbiguousQName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>KillRange</span> <span class='hs-conid'>AmbiguousQName</span> <span class='hs-keyword'>where</span>
<a name="line-290"></a> <span class='hs-varid'>killRange</span> <span class='hs-layout'>(</span><span class='hs-conid'>AmbQ</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AmbQ</span> <span class='hs-varop'>$</span> <span class='hs-varid'>killRange</span> <span class='hs-varid'>xs</span>
<a name="line-291"></a>
<a name="line-292"></a><a name="instance%20Sized%20QName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Sized</span> <span class='hs-conid'>QName</span> <span class='hs-keyword'>where</span>
<a name="line-293"></a> <span class='hs-varid'>size</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>size</span> <span class='hs-varop'>.</span> <span class='hs-varid'>qnameToList</span>
<a name="line-294"></a>
<a name="line-295"></a><a name="instance%20Sized%20ModuleName"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Sized</span> <span class='hs-conid'>ModuleName</span> <span class='hs-keyword'>where</span>
<a name="line-296"></a> <span class='hs-varid'>size</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>size</span> <span class='hs-varop'>.</span> <span class='hs-varid'>mnameToList</span>
</pre></body>
</html>
