/usr/share/doc/libghc-th-reify-many-doc/html/Language-Haskell-TH-ReifyMany-Internal.html is in libghc-th-reify-many-doc 0.1.6-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Haskell.TH.ReifyMany.Internal</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Language-Haskell-TH-ReifyMany-Internal.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Language-Haskell-TH-ReifyMany-Internal.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">th-reify-many-0.1.6: Recurseively reify template haskell datatype info</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Language.Haskell.TH.ReifyMany.Internal</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:isDataDec">isDataDec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNormalTyCon">isNormalTyCon</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:decToFieldTypes">decToFieldTypes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> [[<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>]]</li><li class="src short"><a href="#v:conToFieldTypes">conToFieldTypes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Con">Con</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>]</li><li class="src short"><a href="#v:typeConcreteNames">typeConcreteNames</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:decConcreteNames">decConcreteNames</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a>]</li><li class="src short"><span class="keyword">data</span> <a href="#t:TypeclassInstance">TypeclassInstance</a> = <a href="#v:TypeclassInstance">TypeclassInstance</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Cxt">Cxt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><a href="#v:getInstances">getInstances</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a>]</li><li class="src short"><a href="#v:lookupInstance">lookupInstance</a> :: [<a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a></li><li class="src short"><a href="#v:instanceMatches">instanceMatches</a> :: <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:unAppsT">unAppsT</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:isDataDec" class="def">isDataDec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#isDataDec" class="link">Source</a> <a href="#v:isDataDec" class="selflink">#</a></p><div class="doc"><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a></code> if the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a></code> is a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:DataD">DataD</a></code> or <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:NewtypeD">NewtypeD</a></code></p></div></div><div class="top"><p class="src"><a id="v:isNormalTyCon" class="def">isNormalTyCon</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#isNormalTyCon" class="link">Source</a> <a href="#v:isNormalTyCon" class="selflink">#</a></p><div class="doc"><p>Returns <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#v:True">True</a></code> if the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a></code> is a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:DataD">DataD</a></code>, <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:NewtypeD">NewtypeD</a></code>, or
<code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:TySynD">TySynD</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:decToFieldTypes" class="def">decToFieldTypes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> [[<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>]] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#decToFieldTypes" class="link">Source</a> <a href="#v:decToFieldTypes" class="selflink">#</a></p><div class="doc"><p>For data, newtype, and type declarations, yields a list of the
types of the fields. In the case of a type synonyms, it just
returns the body of the type synonym as a singleton list.</p></div></div><div class="top"><p class="src"><a id="v:conToFieldTypes" class="def">conToFieldTypes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Con">Con</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#conToFieldTypes" class="link">Source</a> <a href="#v:conToFieldTypes" class="selflink">#</a></p><div class="doc"><p>Returns the types of the fields of the constructor.</p></div></div><div class="top"><p class="src"><a id="v:typeConcreteNames" class="def">typeConcreteNames</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a>] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#typeConcreteNames" class="link">Source</a> <a href="#v:typeConcreteNames" class="selflink">#</a></p><div class="doc"><p>Returns the names of all type constructors which aren't involved
in constraints.</p></div></div><div class="top"><p class="src"><a id="v:decConcreteNames" class="def">decConcreteNames</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a>] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#decConcreteNames" class="link">Source</a> <a href="#v:decConcreteNames" class="selflink">#</a></p><div class="doc"><p>Returns the names of all type constructors used when defining
type constructors.</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:TypeclassInstance" class="def">TypeclassInstance</a> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#TypeclassInstance" class="link">Source</a> <a href="#t:TypeclassInstance" class="selflink">#</a></p><div class="doc"><p>Datatype to capture the fields of <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#v:InstanceD">InstanceD</a></code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:TypeclassInstance" class="def">TypeclassInstance</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Cxt">Cxt</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TypeclassInstance" class="caption collapser" onclick="toggleSection('i:TypeclassInstance')">Instances</p><div id="section.i:TypeclassInstance" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:TypeclassInstance:Show:1" class="instance expander" onclick="toggleSection('i:id:TypeclassInstance:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a></span> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#line-67" class="link">Source</a> <a href="#t:TypeclassInstance" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:TypeclassInstance:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:getInstances" class="def">getInstances</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a>] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#getInstances" class="link">Source</a> <a href="#v:getInstances" class="selflink">#</a></p><div class="doc"><p>Given the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a></code> of a class, yield all of the
<code><a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a></code>s, with synonyms expanded in the <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a></code> field.</p></div></div><div class="top"><p class="src"><a id="v:lookupInstance" class="def">lookupInstance</a> :: [<a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#lookupInstance" class="link">Source</a> <a href="#v:lookupInstance" class="selflink">#</a></p><div class="doc"><p>Returns the first <code><a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a></code> where <code><a href="Language-Haskell-TH-ReifyMany-Internal.html#v:instanceMatches">instanceMatches</a></code>
returns true.</p></div></div><div class="top"><p class="src"><a id="v:instanceMatches" class="def">instanceMatches</a> :: <a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#instanceMatches" class="link">Source</a> <a href="#v:instanceMatches" class="selflink">#</a></p><div class="doc"><p>Checks if the given name is the head of one of the paramaters of
the given <code><a href="Language-Haskell-TH-ReifyMany-Internal.html#t:TypeclassInstance">TypeclassInstance</a></code>.</p></div></div><div class="top"><p class="src"><a id="v:unAppsT" class="def">unAppsT</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a> -> [<a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Syntax.html#t:Type">Type</a>] <a href="src/Language-Haskell-TH-ReifyMany-Internal.html#unAppsT" class="link">Source</a> <a href="#v:unAppsT" class="selflink">#</a></p><div class="doc"><p>Breaks a type application like <code>A b c</code> into [A, b, c].</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|