/usr/share/doc/libghc-geniplate-doc/html/Data-Generics-Geniplate.html is in libghc-geniplate-doc 0.6.0.3-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 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 | <!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>Data.Generics.Geniplate</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Generics-Geniplate.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Generics-Geniplate.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">geniplate-0.6.0.3: Use template Haskell to generate Uniplate-like functions.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Data.Generics.Geniplate</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:genUniverseBi">genUniverseBi</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:genUniverseBiT">genUniverseBiT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:genTransformBi">genTransformBi</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:genTransformBiT">genTransformBiT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:genTransformBiM">genTransformBiM</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:genTransformBiMT">genTransformBiMT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:UniverseBi">UniverseBi</a> s t <span class="keyword">where</span><ul class="subs"><li><a href="#v:universeBi">universeBi</a> :: s -> [t]</li></ul></li><li class="src short"><a href="#v:universe">universe</a> :: <a href="Data-Generics-Geniplate.html#t:UniverseBi">UniverseBi</a> a a => a -> [a]</li><li class="src short"><a href="#v:instanceUniverseBi">instanceUniverseBi</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><a href="#v:instanceUniverseBiT">instanceUniverseBiT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><span class="keyword">class</span> <a href="#t:TransformBi">TransformBi</a> s t <span class="keyword">where</span><ul class="subs"><li><a href="#v:transformBi">transformBi</a> :: (s -> s) -> t -> t</li></ul></li><li class="src short"><a href="#v:transform">transform</a> :: <a href="Data-Generics-Geniplate.html#t:TransformBi">TransformBi</a> a a => (a -> a) -> a -> a</li><li class="src short"><a href="#v:instanceTransformBi">instanceTransformBi</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><a href="#v:instanceTransformBiT">instanceTransformBiT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><span class="keyword">class</span> <a href="#t:TransformBiM">TransformBiM</a> m s t <span class="keyword">where</span><ul class="subs"><li><a href="#v:transformBiM">transformBiM</a> :: (s -> m s) -> t -> m t</li></ul></li><li class="src short"><a href="#v:transformM">transformM</a> :: <a href="Data-Generics-Geniplate.html#t:TransformBiM">TransformBiM</a> m a a => (a -> m a) -> a -> m a</li><li class="src short"><a href="#v:instanceTransformBiM">instanceTransformBiM</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><a href="#v:instanceTransformBiMT">instanceTransformBiMT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:genUniverseBi" class="def">genUniverseBi</a><a href="src/Data-Generics-Geniplate.html#genUniverseBi" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a></td><td class="doc"><p>function of type <code>S -> [T]</code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Generate TH code for a function that extracts all subparts of a certain type.
The argument to <code><a href="Data-Generics-Geniplate.html#v:genUniverseBi">genUniverseBi</a></code> is a name with the type <code>S -> [T]</code>, for some types
<code>S</code> and <code>T</code>. The function will extract all subparts of type <code>T</code> from <code>S</code>.
</p></div></div><div class="top"><p class="src"><a name="v:genUniverseBiT" class="def">genUniverseBiT</a><a href="src/Data-Generics-Geniplate.html#genUniverseBiT" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>]</td><td class="doc"><p>types not touched by <code><a href="Data-Generics-Geniplate.html#v:universeBi">universeBi</a></code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a></td><td class="doc"><p>function of type <code>S -> [T]</code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Same as <code><a href="Data-Generics-Geniplate.html#v:genUniverseBi">genUniverseBi</a></code>, but does not look inside any types mention in the
list of types.
</p></div></div><div class="top"><p class="src"><a name="v:genTransformBi" class="def">genTransformBi</a><a href="src/Data-Generics-Geniplate.html#genTransformBi" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a></td><td class="doc"><p>function of type <code>(S->S) -> T -> T</code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Generate TH code for a function that transforms all subparts of a certain type.
The argument to <code><a href="Data-Generics-Geniplate.html#v:genTransformBi">genTransformBi</a></code> is a name with the type <code>(S->S) -> T -> T</code>, for some types
<code>S</code> and <code>T</code>. The function will transform all subparts of type <code>S</code> inside <code>T</code> using the given function.
</p></div></div><div class="top"><p class="src"><a name="v:genTransformBiT" class="def">genTransformBiT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a><a href="src/Data-Generics-Geniplate.html#genTransformBiT" class="link">Source</a></p><div class="doc"><p>Same as <code><a href="Data-Generics-Geniplate.html#v:genTransformBi">genTransformBi</a></code>, but does not look inside any types mention in the
list of types.
</p></div></div><div class="top"><p class="src"><a name="v:genTransformBiM" class="def">genTransformBiM</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a><a href="src/Data-Generics-Geniplate.html#genTransformBiM" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:genTransformBiMT" class="def">genTransformBiMT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Name">Name</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Exp">Exp</a><a href="src/Data-Generics-Geniplate.html#genTransformBiMT" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:UniverseBi" class="def">UniverseBi</a> s t <span class="keyword">where</span><a href="src/Data-Generics-Geniplate.html#UniverseBi" class="link">Source</a></p><div class="doc"><p>Class for <code><a href="Data-Generics-Geniplate.html#v:universeBi">universeBi</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:universeBi" class="def">universeBi</a> :: s -> [t]<a href="src/Data-Generics-Geniplate.html#universeBi" class="link">Source</a></p></div></div><div class="top"><p class="src"><a name="v:universe" class="def">universe</a> :: <a href="Data-Generics-Geniplate.html#t:UniverseBi">UniverseBi</a> a a => a -> [a]<a href="src/Data-Generics-Geniplate.html#universe" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:instanceUniverseBi" class="def">instanceUniverseBi</a><a href="src/Data-Generics-Geniplate.html#instanceUniverseBi" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></td><td class="doc"><p>(source, target) types
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:UniverseBi">UniverseBi</a></code> instance.
The <code><a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></code> argument should be a pair; the <em>source</em> and <em>target</em> types for <code><a href="Data-Generics-Geniplate.html#v:universeBi">universeBi</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:instanceUniverseBiT" class="def">instanceUniverseBiT</a><a href="src/Data-Generics-Geniplate.html#instanceUniverseBiT" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>]</td><td class="doc"><p>types not touched by <code><a href="Data-Generics-Geniplate.html#v:universeBi">universeBi</a></code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></td><td class="doc"><p>(source, target) types
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:UniverseBi">UniverseBi</a></code> instance with certain types being abstract.
The <code><a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></code> argument should be a pair; the <em>source</em> and <em>target</em> types for <code><a href="Data-Generics-Geniplate.html#v:universeBi">universeBi</a></code>.
</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:TransformBi" class="def">TransformBi</a> s t <span class="keyword">where</span><a href="src/Data-Generics-Geniplate.html#TransformBi" class="link">Source</a></p><div class="doc"><p>Class for <code><a href="Data-Generics-Geniplate.html#v:transformBi">transformBi</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:transformBi" class="def">transformBi</a> :: (s -> s) -> t -> t<a href="src/Data-Generics-Geniplate.html#transformBi" class="link">Source</a></p></div></div><div class="top"><p class="src"><a name="v:transform" class="def">transform</a> :: <a href="Data-Generics-Geniplate.html#t:TransformBi">TransformBi</a> a a => (a -> a) -> a -> a<a href="src/Data-Generics-Geniplate.html#transform" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:instanceTransformBi" class="def">instanceTransformBi</a><a href="src/Data-Generics-Geniplate.html#instanceTransformBi" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></td><td class="doc"><p>(inner, outer) types
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:TransformBi">TransformBi</a></code> instance.
The <code><a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></code> argument should be a pair; the <em>inner</em> and <em>outer</em> types for <code><a href="Data-Generics-Geniplate.html#v:transformBi">transformBi</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:instanceTransformBiT" class="def">instanceTransformBiT</a><a href="src/Data-Generics-Geniplate.html#instanceTransformBiT" class="link">Source</a></p><div class="subs arguments"><p class="caption">Arguments</p><table><tr><td class="src">:: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>]</td><td class="doc"><p>types not touched by <code><a href="Data-Generics-Geniplate.html#v:transformBi">transformBi</a></code>
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></td><td class="doc"><p>(inner, outer) types
</p></td></tr><tr><td class="src">-> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</td><td class="doc empty"> </td></tr></table></div><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:TransformBi">TransformBi</a></code> instance with certain types being abstract.
The <code><a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></code> argument should be a pair; the <em>inner</em> and <em>outer</em> types for <code><a href="Data-Generics-Geniplate.html#v:transformBi">transformBi</a></code>.
</p></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:TransformBiM" class="def">TransformBiM</a> m s t <span class="keyword">where</span><a href="src/Data-Generics-Geniplate.html#TransformBiM" class="link">Source</a></p><div class="doc"><p>Class for <code><a href="Data-Generics-Geniplate.html#v:transformBiM">transformBiM</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:transformBiM" class="def">transformBiM</a> :: (s -> m s) -> t -> m t<a href="src/Data-Generics-Geniplate.html#transformBiM" class="link">Source</a></p></div></div><div class="top"><p class="src"><a name="v:transformM" class="def">transformM</a> :: <a href="Data-Generics-Geniplate.html#t:TransformBiM">TransformBiM</a> m a a => (a -> m a) -> a -> m a<a href="src/Data-Generics-Geniplate.html#transformM" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:instanceTransformBiM" class="def">instanceTransformBiM</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]<a href="src/Data-Generics-Geniplate.html#instanceTransformBiM" class="link">Source</a></p><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:TransformBiM">TransformBiM</a></code> instance.
</p></div></div><div class="top"><p class="src"><a name="v:instanceTransformBiMT" class="def">instanceTransformBiMT</a> :: [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -> <a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="/usr/share/doc/ghc-doc/html/libraries/template-haskell-2.8.0.0/Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]<a href="src/Data-Generics-Geniplate.html#instanceTransformBiMT" class="link">Source</a></p><div class="doc"><p>Create a <code><a href="Data-Generics-Geniplate.html#t:TransformBiM">TransformBiM</a></code> instance with certain types being abstract.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|