/usr/share/doc/libghc-generic-deriving-doc/html/Generics-Deriving-Uniplate.html is in libghc-generic-deriving-doc 1.9.0-1.
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 | <!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>Generics.Deriving.Uniplate</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_Generics-Deriving-Uniplate.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Generics-Deriving-Uniplate.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">generic-deriving-1.9.0: Generic programming library for generalised deriving.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>2011-2012 Universiteit Utrecht, University of Oxford</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>generics@haskell.org</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Generics.Deriving.Uniplate</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Derived functions</a></li><li><a href="#g:2">Default definitions</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Summary: Functions inspired by the Uniplate generic programming library,
mostly implemented by Sean Leather.</p></div></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"><span class="keyword">class</span> <a href="#t:Uniplate">Uniplate</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:children">children</a> :: a -> [a]</li><li><a href="#v:context">context</a> :: a -> [a] -> a</li><li><a href="#v:descend">descend</a> :: (a -> a) -> a -> a</li><li><a href="#v:descendM">descendM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m a) -> a -> m a</li><li><a href="#v:transform">transform</a> :: (a -> a) -> a -> a</li><li><a href="#v:transformM">transformM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m a) -> a -> m a</li></ul></li><li class="src short"><a href="#v:uniplate">uniplate</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> ([a], [a] -> a)</li><li class="src short"><a href="#v:universe">universe</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [a]</li><li class="src short"><a href="#v:rewrite">rewrite</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> a -> a</li><li class="src short"><a href="#v:rewriteM">rewriteM</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a) => (a -> m (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)) -> a -> m a</li><li class="src short"><a href="#v:contexts">contexts</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [(a, a -> a)]</li><li class="src short"><a href="#v:holes">holes</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [(a, a -> a)]</li><li class="src short"><a href="#v:para">para</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => (a -> [r] -> r) -> a -> r</li><li class="src short"><a href="#v:childrendefault">childrendefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a]</li><li class="src short"><a href="#v:contextdefault">contextdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Context' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a] -> a</li><li class="src short"><a href="#v:descenddefault">descenddefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => (a -> a) -> a -> a</li><li class="src short"><a href="#v:descendMdefault">descendMdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m a) -> a -> m a</li><li class="src short"><a href="#v:transformdefault">transformdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => (a -> a) -> a -> a</li><li class="src short"><a href="#v:transformMdefault">transformMdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m a) -> a -> m a</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Uniplate" class="def">Uniplate</a> a <span class="keyword">where</span> <a href="src/Generics-Deriving-Uniplate.html#Uniplate" class="link">Source</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src">Nothing</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:children" class="def">children</a> :: a -> [a] <a href="src/Generics-Deriving-Uniplate.html#children" class="link">Source</a></p><p class="src"><a name="v:context" class="def">context</a> :: a -> [a] -> a <a href="src/Generics-Deriving-Uniplate.html#context" class="link">Source</a></p><p class="src"><a name="v:descend" class="def">descend</a> :: (a -> a) -> a -> a <a href="src/Generics-Deriving-Uniplate.html#descend" class="link">Source</a></p><p class="src"><a name="v:descendM" class="def">descendM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m a) -> a -> m a <a href="src/Generics-Deriving-Uniplate.html#descendM" class="link">Source</a></p><p class="src"><a name="v:transform" class="def">transform</a> :: (a -> a) -> a -> a <a href="src/Generics-Deriving-Uniplate.html#transform" class="link">Source</a></p><p class="src"><a name="v:transformM" class="def">transformM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m a) -> a -> m a <a href="src/Generics-Deriving-Uniplate.html#transformM" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Uniplate" class="caption collapser" onclick="toggleSection('i:Uniplate')">Instances</p><div id="section.i:Uniplate" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Bool.html#t:Bool">Bool</a></span> <a href="src/Generics-Deriving-Uniplate.html#line-266" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Char.html#t:Char">Char</a></span> <a href="src/Generics-Deriving-Uniplate.html#line-273" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Double">Double</a></span> <a href="src/Generics-Deriving-Uniplate.html#line-280" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Prelude.html#t:Float">Float</a></span> <a href="src/Generics-Deriving-Uniplate.html#line-287" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></span> <a href="src/Generics-Deriving-Uniplate.html#line-294" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> ()</span> <a href="src/Generics-Deriving-Uniplate.html#line-301" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> [a]</span> <a href="src/Generics-Deriving-Uniplate.html#line-369" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</span> <a href="src/Generics-Deriving-Uniplate.html#line-354" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Either.html#t:Either">Either</a> a b)</span> <a href="src/Generics-Deriving-Uniplate.html#line-361" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c)</span> <a href="src/Generics-Deriving-Uniplate.html#line-310" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c, d)</span> <a href="src/Generics-Deriving-Uniplate.html#line-317" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c, d, e)</span> <a href="src/Generics-Deriving-Uniplate.html#line-324" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c, d, e, f)</span> <a href="src/Generics-Deriving-Uniplate.html#line-331" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c, d, e, f, g)</span> <a href="src/Generics-Deriving-Uniplate.html#line-338" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> (b, c, d, e, f, g, h)</span> <a href="src/Generics-Deriving-Uniplate.html#line-345" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><h1 id="g:1">Derived functions</h1><div class="top"><p class="src"><a name="v:uniplate" class="def">uniplate</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> ([a], [a] -> a) <a href="src/Generics-Deriving-Uniplate.html#uniplate" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:universe" class="def">universe</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [a] <a href="src/Generics-Deriving-Uniplate.html#universe" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rewrite" class="def">rewrite</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => (a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a) -> a -> a <a href="src/Generics-Deriving-Uniplate.html#rewrite" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rewriteM" class="def">rewriteM</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a) => (a -> m (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Maybe.html#t:Maybe">Maybe</a> a)) -> a -> m a <a href="src/Generics-Deriving-Uniplate.html#rewriteM" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:contexts" class="def">contexts</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [(a, a -> a)] <a href="src/Generics-Deriving-Uniplate.html#contexts" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:holes" class="def">holes</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => a -> [(a, a -> a)] <a href="src/Generics-Deriving-Uniplate.html#holes" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:para" class="def">para</a> :: <a href="Generics-Deriving-Uniplate.html#t:Uniplate">Uniplate</a> a => (a -> [r] -> r) -> a -> r <a href="src/Generics-Deriving-Uniplate.html#para" class="link">Source</a></p></div><h1 id="g:2">Default definitions</h1><div class="top"><p class="src"><a name="v:childrendefault" class="def">childrendefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a] <a href="src/Generics-Deriving-Uniplate.html#childrendefault" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:contextdefault" class="def">contextdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Context' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => a -> [a] -> a <a href="src/Generics-Deriving-Uniplate.html#contextdefault" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:descenddefault" class="def">descenddefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => (a -> a) -> a -> a <a href="src/Generics-Deriving-Uniplate.html#descenddefault" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:descendMdefault" class="def">descendMdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m a) -> a -> m a <a href="src/Generics-Deriving-Uniplate.html#descendMdefault" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:transformdefault" class="def">transformdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a) => (a -> a) -> a -> a <a href="src/Generics-Deriving-Uniplate.html#transformdefault" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:transformMdefault" class="def">transformMdefault</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> a, Uniplate' (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> a) a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Control-Monad.html#t:Monad">Monad</a> m) => (a -> m a) -> a -> m a <a href="src/Generics-Deriving-Uniplate.html#transformMdefault" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>
|