<?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://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>src/HSE/NameMatch.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a> <a name="line-2"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>HSE</span><span class='hs-varop'>.</span><span class='hs-conid'>NameMatch</span><span class='hs-layout'>(</span> <a name="line-3"></a> <span class='hs-conid'>Scope</span><span class='hs-layout'>,</span> <span class='hs-varid'>emptyScope</span><span class='hs-layout'>,</span> <span class='hs-varid'>moduleScope</span><span class='hs-layout'>,</span> <span class='hs-varid'>scopeImports</span><span class='hs-layout'>,</span> <a name="line-4"></a> <span class='hs-conid'>NameMatch</span><span class='hs-layout'>,</span> <span class='hs-varid'>nameMatch</span><span class='hs-layout'>,</span> <span class='hs-varid'>nameQualify</span> <a name="line-5"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-6"></a> <a name="line-7"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>HSE</span><span class='hs-varop'>.</span><span class='hs-conid'>Type</span> <a name="line-8"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>HSE</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span> <a name="line-9"></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-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <a name="line-11"></a> <a name="line-12"></a><span class='hs-comment'>{- <a name="line-13"></a>the hint file can do: <a name="line-14"></a> <a name="line-15"></a>import Prelude (filter) <a name="line-16"></a>import Data.List (filter) <a name="line-17"></a>import List (filter) <a name="line-18"></a> <a name="line-19"></a>then filter on it's own will get expanded to all of them <a name="line-20"></a> <a name="line-21"></a>import Data.List <a name="line-22"></a>import List as Data.List <a name="line-23"></a> <a name="line-24"></a> <a name="line-25"></a>if Data.List.head x ==> x, then that might match List too <a name="line-26"></a>-}</span> <a name="line-27"></a> <a name="line-28"></a><a name="NameMatch"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>NameMatch</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-29"></a> <a name="line-30"></a> <a name="line-31"></a><a name="Scope"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ImportDecl</span> <span class='hs-conid'>S</span><span class='hs-keyglyph'>]</span> <a name="line-32"></a> <span class='hs-keyword'>deriving</span> <span class='hs-conid'>Show</span> <a name="line-33"></a> <a name="line-34"></a><a name="moduleScope"></a><span class='hs-definition'>moduleScope</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Module</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Scope</span> <a name="line-35"></a><span class='hs-definition'>moduleScope</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Scope</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>prelude</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>any</span> <span class='hs-varid'>isPrelude</span> <span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>res</span> <a name="line-36"></a> <span class='hs-keyword'>where</span> <a name="line-37"></a> <span class='hs-varid'>res</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>moduleImports</span> <span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <span class='hs-varid'>importPkg</span> <span class='hs-varid'>x</span> <span class='hs-varop'>/=</span> <span class='hs-conid'>Just</span> <span class='hs-str'>"hint"</span><span class='hs-keyglyph'>]</span> <a name="line-38"></a> <span class='hs-varid'>prelude</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ImportDecl</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModuleName</span> <span class='hs-varid'>an</span> <span class='hs-str'>"Prelude"</span><span class='hs-layout'>)</span> <span class='hs-conid'>False</span> <span class='hs-conid'>False</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Nothing</span> <a name="line-39"></a> <span class='hs-varid'>isPrelude</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromModuleName</span> <span class='hs-layout'>(</span><span class='hs-varid'>importModule</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>==</span> <span class='hs-str'>"Prelude"</span> <a name="line-40"></a> <a name="line-41"></a> <a name="line-42"></a><a name="emptyScope"></a><span class='hs-definition'>emptyScope</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <a name="line-43"></a><span class='hs-definition'>emptyScope</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Scope</span> <span class='hs-conid'>[]</span> <a name="line-44"></a> <a name="line-45"></a> <a name="line-46"></a><a name="scopeImports"></a><span class='hs-definition'>scopeImports</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ImportDecl</span> <span class='hs-conid'>S</span><span class='hs-keyglyph'>]</span> <a name="line-47"></a><span class='hs-definition'>scopeImports</span> <span class='hs-layout'>(</span><span class='hs-conid'>Scope</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-48"></a> <a name="line-49"></a> <a name="line-50"></a> <a name="line-51"></a><a name="nameMatch"></a><span class='hs-comment'>-- given A B x y, does A{x} possibly refer to the same name as B{y}</span> <a name="line-52"></a><span class='hs-comment'>-- this property is reflexive</span> <a name="line-53"></a><span class='hs-definition'>nameMatch</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>NameMatch</span> <a name="line-54"></a><span class='hs-definition'>nameMatch</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>Special</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-varid'>y</span><span class='hs-keyglyph'>@</span><span class='hs-conid'>Special</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>=~=</span> <span class='hs-varid'>y</span> <a name="line-55"></a><span class='hs-definition'>nameMatch</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isSpecial</span> <span class='hs-varid'>x</span> <span class='hs-varop'>||</span> <span class='hs-varid'>isSpecial</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-56"></a><span class='hs-definition'>nameMatch</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unqual</span> <span class='hs-varid'>x</span> <span class='hs-varop'>=~=</span> <span class='hs-varid'>unqual</span> <span class='hs-varid'>y</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>null</span> <span class='hs-varop'>$</span> <span class='hs-varid'>possModules</span> <span class='hs-varid'>a</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`intersect`</span> <span class='hs-varid'>possModules</span> <span class='hs-varid'>b</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-57"></a> <a name="line-58"></a> <a name="line-59"></a><a name="nameQualify"></a><span class='hs-comment'>-- given A B x, return y such that A{x} == B{y}, if you can</span> <a name="line-60"></a><span class='hs-definition'>nameQualify</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <a name="line-61"></a><span class='hs-definition'>nameQualify</span> <span class='hs-varid'>a</span> <span class='hs-layout'>(</span><span class='hs-conid'>Scope</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span> <a name="line-62"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isSpecial</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-63"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>imps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>head</span> <span class='hs-varop'>$</span> <span class='hs-varid'>real</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-64"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>any</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-varid'>importQualified</span><span class='hs-layout'>)</span> <span class='hs-varid'>imps</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unqual</span> <span class='hs-varid'>x</span> <a name="line-65"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Qual</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-varid'>head</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mapMaybe</span> <span class='hs-varid'>importAs</span> <span class='hs-varid'>imps</span> <span class='hs-varop'>++</span> <span class='hs-varid'>map</span> <span class='hs-varid'>importModule</span> <span class='hs-varid'>imps</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromQual</span> <span class='hs-varid'>x</span> <a name="line-66"></a> <span class='hs-keyword'>where</span> <a name="line-67"></a> <span class='hs-varid'>real</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Qual</span> <span class='hs-varid'>an</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModuleName</span> <span class='hs-varid'>an</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromQual</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>possModules</span> <span class='hs-varid'>a</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <a name="line-68"></a> <span class='hs-varid'>imps</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>i</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>real</span><span class='hs-layout'>,</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-varid'>possImport</span> <span class='hs-varid'>i</span> <span class='hs-varid'>r</span><span class='hs-keyglyph'>]</span> <a name="line-69"></a> <a name="line-70"></a> <a name="line-71"></a><a name="possModules"></a><span class='hs-comment'>-- which modules could a name possibly lie in</span> <a name="line-72"></a><span class='hs-comment'>-- if it's qualified but not matching any import, assume the user</span> <a name="line-73"></a><span class='hs-comment'>-- just lacks an import</span> <a name="line-74"></a><span class='hs-definition'>possModules</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Scope</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <a name="line-75"></a><span class='hs-definition'>possModules</span> <span class='hs-layout'>(</span><span class='hs-conid'>Scope</span> <span class='hs-varid'>is</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <a name="line-76"></a> <span class='hs-keyword'>where</span> <a name="line-77"></a> <span class='hs-varid'>res</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromModuleName</span> <span class='hs-varop'>$</span> <span class='hs-varid'>importModule</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>is</span><span class='hs-layout'>,</span> <span class='hs-varid'>possImport</span> <span class='hs-varid'>i</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span> <a name="line-78"></a> <a name="line-79"></a> <span class='hs-varid'>f</span> <span class='hs-conid'>Special</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-str'>""</span><span class='hs-keyglyph'>]</span> <a name="line-80"></a> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Qual</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>mod</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>fromModuleName</span> <span class='hs-varid'>mod</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>res</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>++</span> <span class='hs-varid'>res</span> <a name="line-81"></a> <span class='hs-varid'>f</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>res</span> <a name="line-82"></a> <a name="line-83"></a> <a name="line-84"></a><a name="possImport"></a><span class='hs-definition'>possImport</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ImportDecl</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-85"></a><span class='hs-definition'>possImport</span> <span class='hs-varid'>i</span> <span class='hs-conid'>Special</span><span class='hs-layout'>{</span><span class='hs-layout'>}</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-86"></a><span class='hs-definition'>possImport</span> <span class='hs-varid'>i</span> <span class='hs-layout'>(</span><span class='hs-conid'>Qual</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>mod</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromModuleName</span> <span class='hs-varid'>mod</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fromModuleName</span> <span class='hs-varid'>ms</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>possImport</span> <span class='hs-varid'>i</span><span class='hs-layout'>{</span><span class='hs-varid'>importQualified</span><span class='hs-keyglyph'>=</span><span class='hs-conid'>False</span><span class='hs-layout'>}</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnQual</span> <span class='hs-varid'>an</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-87"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>ms</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>importModule</span> <span class='hs-varid'>i</span> <span class='hs-conop'>:</span> <span class='hs-varid'>maybeToList</span> <span class='hs-layout'>(</span><span class='hs-varid'>importAs</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-88"></a><span class='hs-definition'>possImport</span> <span class='hs-varid'>i</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnQual</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>importQualified</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>maybe</span> <span class='hs-conid'>True</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>importSpecs</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <a name="line-89"></a> <span class='hs-keyword'>where</span> <a name="line-90"></a> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>ImportSpecList</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>hide</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>hide</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>True</span> <span class='hs-varop'>`notElem`</span> <span class='hs-varid'>ms</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>ms</span> <span class='hs-varop'>||</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>True</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>ms</span> <a name="line-91"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>ms</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>g</span> <span class='hs-varid'>xs</span> <a name="line-92"></a> <a name="line-93"></a> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ImportSpec</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Bool</span> <span class='hs-comment'>-- does this import cover the name x</span> <a name="line-94"></a> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-conid'>IVar</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-varop'>=~=</span> <span class='hs-varid'>y</span> <a name="line-95"></a> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-conid'>IAbs</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-varop'>=~=</span> <span class='hs-varid'>y</span> <a name="line-96"></a> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-conid'>IThingAll</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>x</span> <span class='hs-varop'>=~=</span> <span class='hs-varid'>y</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>True</span> <span class='hs-keyword'>else</span> <span class='hs-conid'>Nothing</span> <a name="line-97"></a> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-conid'>IThingWith</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>y</span> <span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>x</span> <span class='hs-varop'>`elem_`</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span> <span class='hs-conop'>:</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fromCName</span> <span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <a name="line-98"></a> <a name="line-99"></a> <span class='hs-varid'>fromCName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CName</span> <span class='hs-conid'>S</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Name</span> <span class='hs-conid'>S</span> <a name="line-100"></a> <span class='hs-varid'>fromCName</span> <span class='hs-layout'>(</span><span class='hs-conid'>VarName</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-101"></a> <span class='hs-varid'>fromCName</span> <span class='hs-layout'>(</span><span class='hs-conid'>ConName</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> </pre></body> </html>