/usr/share/doc/libghc-flexible-defaults-doc/html/src/Language-Haskell-TH-FlexibleDefaults-DSL.html is in libghc-flexible-defaults-doc 0.0.1.1-3build1.
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 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 | <?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/Language/Haskell/TH/FlexibleDefaults/DSL.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE GeneralizedNewtypeDeriving, CPP #-}</span>
<a name="line-2"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Language</span><span class='hs-varop'>.</span><span class='hs-conid'>Haskell</span><span class='hs-varop'>.</span><span class='hs-conid'>TH</span><span class='hs-varop'>.</span><span class='hs-conid'>FlexibleDefaults</span><span class='hs-varop'>.</span><span class='hs-conid'>DSL</span> <span class='hs-keyword'>where</span>
<a name="line-3"></a>
<a name="line-4"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span>
<a name="line-5"></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'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>Reader</span>
<a name="line-6"></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'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>State</span>
<a name="line-7"></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'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>Writer</span>
<a name="line-8"></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-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Monoid</span>
<a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>M</span>
<a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Ord</span>
<a name="line-12"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Set</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span>
<a name="line-13"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Language</span><span class='hs-varop'>.</span><span class='hs-conid'>Haskell</span><span class='hs-varop'>.</span><span class='hs-conid'>TH</span>
<a name="line-14"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Language</span><span class='hs-varop'>.</span><span class='hs-conid'>Haskell</span><span class='hs-varop'>.</span><span class='hs-conid'>TH</span><span class='hs-varop'>.</span><span class='hs-conid'>FlexibleDefaults</span><span class='hs-varop'>.</span><span class='hs-conid'>Solve</span>
<a name="line-15"></a>
<a name="line-16"></a><a name="Impls"></a><span class='hs-comment'>-- newtype wrapper for Problem, because the default implementation of Monoid</span>
<a name="line-17"></a><a name="Impls"></a><span class='hs-comment'>-- (@mappend = union@) is not the one we want here; we want</span>
<a name="line-18"></a><a name="Impls"></a><span class='hs-comment'>-- @mappend = unionWith mappend@</span>
<a name="line-19"></a><a name="Impls"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Impls</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Impls</span> <span class='hs-layout'>{</span> <span class='hs-varid'>unImpls</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>M</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ImplSpec</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>]</span> <span class='hs-layout'>}</span>
<a name="line-20"></a>
<a name="line-21"></a><a name="instance%20Functor%20Impls"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-conid'>Impls</span> <span class='hs-keyword'>where</span>
<a name="line-22"></a> <span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Impls</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Impls</span> <span class='hs-layout'>(</span><span class='hs-conid'>M</span><span class='hs-varop'>.</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span>
<a name="line-23"></a>
<a name="line-24"></a><a name="instance%20Monoid%20(Impls%20s)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Monoid</span> <span class='hs-layout'>(</span><span class='hs-conid'>Impls</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-25"></a> <span class='hs-varid'>mempty</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Impls</span> <span class='hs-varid'>mempty</span>
<a name="line-26"></a> <span class='hs-varid'>mappend</span> <span class='hs-layout'>(</span><span class='hs-conid'>Impls</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Impls</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Impls</span> <span class='hs-layout'>(</span><span class='hs-conid'>M</span><span class='hs-varop'>.</span><span class='hs-varid'>unionWith</span> <span class='hs-varid'>mappend</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-27"></a>
<a name="line-28"></a><a name="Defaults"></a><span class='hs-comment'>-- |A description of a system of 'Function's and default 'Implementation's </span>
<a name="line-29"></a><a name="Defaults"></a><span class='hs-comment'>-- which can be used to complete a partial implementation of some type class.</span>
<a name="line-30"></a><a name="Defaults"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Defaults</span> <span class='hs-layout'>{</span> <span class='hs-varid'>unDefaults</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Writer</span> <span class='hs-layout'>(</span><span class='hs-conid'>Impls</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span> <span class='hs-layout'>}</span>
<a name="line-31"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span><span class='hs-layout'>,</span> <span class='hs-conid'>Applicative</span><span class='hs-layout'>,</span> <span class='hs-conid'>Monad</span><span class='hs-layout'>)</span>
<a name="line-32"></a>
<a name="line-33"></a>
<a name="line-34"></a><a name="addImplSpecs"></a><span class='hs-definition'>addImplSpecs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>ImplSpec</span> <span class='hs-varid'>s</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-35"></a><span class='hs-definition'>addImplSpecs</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Defaults</span> <span class='hs-varop'>.</span> <span class='hs-varid'>tell</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Impls</span> <span class='hs-varop'>.</span> <span class='hs-conid'>M</span><span class='hs-varop'>.</span><span class='hs-varid'>singleton</span> <span class='hs-varid'>f</span>
<a name="line-36"></a>
<a name="line-37"></a><a name="addImplSpec"></a><span class='hs-definition'>addImplSpec</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ImplSpec</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-38"></a><span class='hs-definition'>addImplSpec</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addImplSpecs</span> <span class='hs-varid'>f</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-conop'>:</span><span class='hs-conid'>[]</span><span class='hs-layout'>)</span>
<a name="line-39"></a>
<a name="line-40"></a><a name="toProblem"></a><span class='hs-definition'>toProblem</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ord</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>Monoid</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Problem</span> <span class='hs-varid'>s</span>
<a name="line-41"></a><span class='hs-definition'>toProblem</span>
<a name="line-42"></a> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>sortBy</span> <span class='hs-layout'>(</span><span class='hs-varid'>flip</span> <span class='hs-layout'>(</span><span class='hs-varid'>comparing</span> <span class='hs-varid'>scoreImplSpec</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-43"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>unImpls</span>
<a name="line-44"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>snd</span>
<a name="line-45"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>runWriter</span>
<a name="line-46"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>unDefaults</span>
<a name="line-47"></a>
<a name="line-48"></a><a name="scoreBy"></a><span class='hs-comment'>-- |Map a function over all scores. This function's name comes from the</span>
<a name="line-49"></a><span class='hs-comment'>-- following idiom (where 'Sum' is replaced by whatever monoid-constructor</span>
<a name="line-50"></a><span class='hs-comment'>-- you want to use to combine scores):</span>
<a name="line-51"></a><span class='hs-comment'>-- </span>
<a name="line-52"></a><span class='hs-comment'>-- > foo = scoreBy Sum $ do</span>
<a name="line-53"></a><span class='hs-comment'>-- > ...</span>
<a name="line-54"></a><span class='hs-definition'>scoreBy</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>a</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>b</span> <span class='hs-varid'>t</span>
<a name="line-55"></a><span class='hs-definition'>scoreBy</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Defaults</span> <span class='hs-varop'>.</span> <span class='hs-varid'>mapWriterT</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>unDefaults</span>
<a name="line-56"></a>
<a name="line-57"></a><a name="Function"></a><span class='hs-comment'>-- |A representation of a function for which one or more default</span>
<a name="line-58"></a><a name="Function"></a><span class='hs-comment'>-- 'Implementation's exist. Defined using the 'function' function.</span>
<a name="line-59"></a><a name="Function"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Function</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Function</span> <span class='hs-layout'>(</span><span class='hs-conid'>ReaderT</span> <span class='hs-conid'>String</span> <span class='hs-layout'>(</span><span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-60"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span><span class='hs-layout'>,</span> <span class='hs-conid'>Applicative</span><span class='hs-layout'>,</span> <span class='hs-conid'>Monad</span><span class='hs-layout'>)</span>
<a name="line-61"></a>
<a name="line-62"></a><a name="function"></a><span class='hs-comment'>-- |Declare a function that must be implemented, and provide a description</span>
<a name="line-63"></a><span class='hs-comment'>-- of any default implementations which can be used.</span>
<a name="line-64"></a><span class='hs-definition'>function</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Function</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span>
<a name="line-65"></a><span class='hs-definition'>function</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-conid'>Function</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-66"></a> <span class='hs-varid'>requireFunction</span> <span class='hs-varid'>f</span>
<a name="line-67"></a> <span class='hs-varid'>runReaderT</span> <span class='hs-varid'>x</span> <span class='hs-varid'>f</span>
<a name="line-68"></a>
<a name="line-69"></a><a name="requireFunction"></a><span class='hs-comment'>-- |State that a function must be implemented but has no default implementation.</span>
<a name="line-70"></a><span class='hs-definition'>requireFunction</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Defaults</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-71"></a><span class='hs-definition'>requireFunction</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addImplSpecs</span> <span class='hs-varid'>f</span> <span class='hs-conid'>[]</span>
<a name="line-72"></a>
<a name="line-73"></a><span class='hs-cpp'>#if !MIN_VERSION_template_haskell(2,8,0)</span>
<a name="line-74"></a><a name="Inline"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Inline</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NoInline</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Inline</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Inlinable</span>
<a name="line-75"></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'>Show</span><span class='hs-layout'>)</span>
<a name="line-76"></a><span class='hs-cpp'>#endif</span>
<a name="line-77"></a>
<a name="line-78"></a><a name="Implementation"></a><span class='hs-comment'>-- |A representation of a single possible implementation of a 'Function'. Defined</span>
<a name="line-79"></a><a name="Implementation"></a><span class='hs-comment'>-- using the 'implementation' function.</span>
<a name="line-80"></a><a name="Implementation"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Implementation</span> <span class='hs-layout'>(</span><span class='hs-conid'>State</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-conid'>Set</span> <span class='hs-conid'>String</span><span class='hs-layout'>,</span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Inline</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-81"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span><span class='hs-layout'>,</span> <span class='hs-conid'>Applicative</span><span class='hs-layout'>,</span> <span class='hs-conid'>Monad</span><span class='hs-layout'>)</span>
<a name="line-82"></a>
<a name="line-83"></a><a name="implementation"></a><span class='hs-comment'>-- |Describe a default implementation of the current function</span>
<a name="line-84"></a><span class='hs-definition'>implementation</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-layout'>(</span><span class='hs-conid'>Q</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Dec</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Function</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-85"></a><span class='hs-definition'>implementation</span> <span class='hs-layout'>(</span><span class='hs-conid'>Implementation</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>runState</span> <span class='hs-varid'>x</span> <span class='hs-layout'>(</span><span class='hs-conid'>Nothing</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>,</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <span class='hs-keyword'>of</span>
<a name="line-86"></a> <span class='hs-layout'>(</span><span class='hs-varid'>dec</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Function</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-87"></a> <span class='hs-varid'>fName</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>ask</span>
<a name="line-88"></a> <span class='hs-conid'>ReaderT</span> <span class='hs-layout'>(</span><span class='hs-varid'>const</span> <span class='hs-layout'>(</span><span class='hs-varid'>addImplSpec</span> <span class='hs-varid'>fName</span> <span class='hs-layout'>(</span><span class='hs-conid'>ImplSpec</span> <span class='hs-varid'>s</span> <span class='hs-varid'>deps</span> <span class='hs-layout'>(</span><span class='hs-varid'>applyInline</span> <span class='hs-varid'>fName</span> <span class='hs-varid'>inl</span> <span class='hs-varid'>dec</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-89"></a>
<a name="line-90"></a><a name="applyInline"></a><span class='hs-definition'>applyInline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Inline</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Q</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Dec</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Q</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Dec</span><span class='hs-keyglyph'>]</span>
<a name="line-91"></a><span class='hs-cpp'>#if MIN_VERSION_template_haskell(2,8,0)</span>
<a name="line-92"></a><span class='hs-definition'>applyInline</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-conid'>PragmaD</span> <span class='hs-layout'>(</span><span class='hs-conid'>InlineP</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-varid'>inl</span> <span class='hs-conid'>FunLike</span> <span class='hs-conid'>AllPhases</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span><span class='hs-layout'>)</span>
<a name="line-93"></a><span class='hs-cpp'>#elif MIN_VERSION_template_haskell(2,4,0)</span>
<a name="line-94"></a><span class='hs-definition'>applyInline</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span>
<a name="line-95"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>inl</span> <span class='hs-varop'>/=</span> <span class='hs-conid'>Inlinable</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-conid'>PragmaD</span> <span class='hs-layout'>(</span><span class='hs-conid'>InlineP</span> <span class='hs-layout'>(</span><span class='hs-varid'>mkName</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>InlineSpec</span> <span class='hs-layout'>(</span><span class='hs-varid'>inl</span> <span class='hs-varop'>==</span> <span class='hs-conid'>Inline</span><span class='hs-layout'>)</span> <span class='hs-conid'>False</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span><span class='hs-layout'>)</span>
<a name="line-96"></a><span class='hs-cpp'>#endif</span>
<a name="line-97"></a><span class='hs-definition'>applyInline</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>id</span>
<a name="line-98"></a>
<a name="line-99"></a>
<a name="line-100"></a><a name="score"></a><span class='hs-comment'>-- |Specify the score associated with the current implementation. Only one </span>
<a name="line-101"></a><span class='hs-comment'>-- invocation of either 'score' or 'cost' may be used per implementation.</span>
<a name="line-102"></a><span class='hs-definition'>score</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-103"></a><span class='hs-definition'>score</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Implementation</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-104"></a> <span class='hs-layout'>(</span><span class='hs-varid'>oldS</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span>
<a name="line-105"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>oldS</span> <span class='hs-keyword'>of</span>
<a name="line-106"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span>
<a name="line-107"></a> <span class='hs-conid'>Just</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fail</span> <span class='hs-str'>"score: score was already set"</span>
<a name="line-108"></a>
<a name="line-109"></a><a name="cost"></a><span class='hs-comment'>-- |Specify the cost (negated score) associated with the current implementation.</span>
<a name="line-110"></a><span class='hs-comment'>-- Only one invocation of either 'score' or 'cost' may be used per implementation.</span>
<a name="line-111"></a><span class='hs-definition'>cost</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Num</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-112"></a><span class='hs-definition'>cost</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>score</span> <span class='hs-varop'>.</span> <span class='hs-varid'>negate</span>
<a name="line-113"></a>
<a name="line-114"></a><a name="dependsOn"></a><span class='hs-comment'>-- |Specify that the current implementation must not be used unless the given</span>
<a name="line-115"></a><span class='hs-comment'>-- function is already defined. If this implementation can be used</span>
<a name="line-116"></a><span class='hs-comment'>-- mutually-recursively with _ALL_ potential implementations of some other</span>
<a name="line-117"></a><span class='hs-comment'>-- function, then a dependency need not be declared on that function.</span>
<a name="line-118"></a><span class='hs-definition'>dependsOn</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-119"></a><span class='hs-definition'>dependsOn</span> <span class='hs-varid'>dep</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Implementation</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-120"></a> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span>
<a name="line-121"></a> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>dep</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span>
<a name="line-122"></a>
<a name="line-123"></a><a name="setInline"></a><span class='hs-definition'>setInline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Inline</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-124"></a><span class='hs-definition'>setInline</span> <span class='hs-varid'>inl</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Implementation</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-125"></a> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span>
<a name="line-126"></a> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-varid'>s</span><span class='hs-layout'>,</span> <span class='hs-varid'>deps</span><span class='hs-layout'>,</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>inl</span><span class='hs-layout'>)</span>
<a name="line-127"></a>
<a name="line-128"></a><a name="inline"></a><span class='hs-comment'>-- |Specify that an 'Implementation' should be annotated with an INLINE pragma.</span>
<a name="line-129"></a><span class='hs-comment'>-- Under GHC versions earlier than 6.12 this is a no-op, because those Template</span>
<a name="line-130"></a><span class='hs-comment'>-- Haskell implementations do not support pragmas.</span>
<a name="line-131"></a><span class='hs-definition'>inline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-132"></a>
<a name="line-133"></a><a name="inlinable"></a><span class='hs-comment'>-- |Specify that an 'Implementation' should be annotated with an INLINEABLE pragma.</span>
<a name="line-134"></a><span class='hs-comment'>-- Under GHC versions earlier than 7.6 this is a no-op, because those Template</span>
<a name="line-135"></a><span class='hs-comment'>-- Haskell implementations do not support this pragma.</span>
<a name="line-136"></a><span class='hs-definition'>inlinable</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-137"></a>
<a name="line-138"></a><a name="noinline"></a><span class='hs-comment'>-- |Specify that an 'Implementation' should be annotated with a NOINLINE pragma.</span>
<a name="line-139"></a><span class='hs-comment'>-- Under GHC versions earlier than 6.12 this is a no-op, because those Template</span>
<a name="line-140"></a><span class='hs-comment'>-- Haskell implementations do not support pragmas.</span>
<a name="line-141"></a><span class='hs-definition'>noinline</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Implementation</span> <span class='hs-varid'>s</span> <span class='hs-conid'>()</span>
<a name="line-142"></a>
<a name="line-143"></a><span class='hs-definition'>inline</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setInline</span> <span class='hs-conid'>Inline</span>
<a name="line-144"></a><span class='hs-definition'>inlinable</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setInline</span> <span class='hs-conid'>Inlinable</span>
<a name="line-145"></a><span class='hs-definition'>noinline</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setInline</span> <span class='hs-conid'>NoInline</span>
</pre></body>
</html>
|