/usr/share/doc/libghc-syb-doc/html/Data-Generics-Aliases.html is in libghc-syb-doc 0.3.6-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 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 | <!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.Aliases</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-Aliases.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Generics-Aliases.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">syb-0.3.6: Scrap Your Boilerplate</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable (local universal quantification)</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>generics@haskell.org</td></tr><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Data.Generics.Aliases</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Combinators to "make" generic functions via cast
</a></li><li><a href="#g:2">Type synonyms for generic function types
</a></li><li><a href="#g:3">Ingredients of generic functions
</a></li><li><a href="#g:4">Function combinators on generic functions
</a></li><li><a href="#g:5">Type extension for unary type constructors
</a></li><li><a href="#g:6">Type extension for binary type constructors
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>"Scrap your boilerplate" --- Generic programming in Haskell
See <a href="http://www.cs.uu.nl/wiki/GenericProgramming/SYB">http://www.cs.uu.nl/wiki/GenericProgramming/SYB</a>.
The present module provides a number of declarations for typical generic
function types, corresponding type case, and others.
</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"><a href="#v:mkT">mkT</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> b) -> a -> a</li><li class="src short"><a href="#v:mkQ">mkQ</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => r -> (b -> r) -> a -> r</li><li class="src short"><a href="#v:mkM">mkM</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> m b) -> a -> m a</li><li class="src short"><a href="#v:mkMp">mkMp</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> m b) -> a -> m a</li><li class="src short"><a href="#v:mkR">mkR</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => m b -> m a</li><li class="src short"><a href="#v:ext0">ext0</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => c a -> c b -> c a</li><li class="src short"><a href="#v:extT">extT</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> a) -> (b -> b) -> a -> a</li><li class="src short"><a href="#v:extQ">extQ</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> q) -> (b -> q) -> a -> q</li><li class="src short"><a href="#v:extM">extM</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> m a) -> (b -> m b) -> a -> m a</li><li class="src short"><a href="#v:extMp">extMp</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> m a) -> (b -> m b) -> a -> m a</li><li class="src short"><a href="#v:extB">extB</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => a -> b -> a</li><li class="src short"><a href="#v:extR">extR</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => m a -> m b -> m a</li><li class="src short"><span class="keyword">type</span> <a href="#t:GenericT">GenericT</a> = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:GenericQ">GenericQ</a> r = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> r</li><li class="src short"><span class="keyword">type</span> <a href="#t:GenericM">GenericM</a> m = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> m a</li><li class="src short"><span class="keyword">type</span> <a href="#t:GenericB">GenericB</a> = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a</li><li class="src short"><span class="keyword">type</span> <a href="#t:GenericR">GenericR</a> m = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => m a</li><li class="src short"><span class="keyword">type</span> <a href="#t:Generic">Generic</a> c = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> c a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Generic-39-">Generic'</a> c = <a href="#v:Generic-39-">Generic'</a> {<ul class="subs"><li><a href="#v:unGeneric-39-">unGeneric'</a> :: <a href="Data-Generics-Aliases.html#t:Generic">Generic</a> c</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:GenericT-39-">GenericT'</a> = <a href="#v:GT">GT</a> {<ul class="subs"><li><a href="#v:unGT">unGT</a> :: <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> a</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:GenericQ-39-">GenericQ'</a> r = <a href="#v:GQ">GQ</a> {<ul class="subs"><li><a href="#v:unGQ">unGQ</a> :: <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> r</li></ul>}</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:GenericM-39-">GenericM'</a> m = <a href="#v:GM">GM</a> {<ul class="subs"><li><a href="#v:unGM">unGM</a> :: <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> m a</li></ul>}</li><li class="src short"><a href="#v:orElse">orElse</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li><li class="src short"><a href="#v:recoverMp">recoverMp</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m</li><li class="src short"><a href="#v:recoverQ">recoverQ</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => r -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r)</li><li class="src short"><a href="#v:choiceMp">choiceMp</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m</li><li class="src short"><a href="#v:choiceQ">choiceQ</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r)</li><li class="src short"><a href="#v:ext1">ext1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => c a -> (<span class="keyword">forall</span> d. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d => c (t d)) -> c a</li><li class="src short"><a href="#v:ext1T">ext1T</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> e) -> (<span class="keyword">forall</span> f. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> f => t f -> t f) -> d -> d</li><li class="src short"><a href="#v:ext1M">ext1M</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> m e) -> (<span class="keyword">forall</span> f. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> f => t f -> m (t f)) -> d -> m d</li><li class="src short"><a href="#v:ext1Q">ext1Q</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (d -> q) -> (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => t e -> q) -> d -> q</li><li class="src short"><a href="#v:ext1R">ext1R</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => m d -> (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => m (t e)) -> m d</li><li class="src short"><a href="#v:ext1B">ext1B</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => a -> (<span class="keyword">forall</span> b. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> b => t b) -> a</li><li class="src short"><a href="#v:ext2T">ext2T</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> e) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> t d1 d2) -> d -> d</li><li class="src short"><a href="#v:ext2M">ext2M</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> m e) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> m (t d1 d2)) -> d -> m d</li><li class="src short"><a href="#v:ext2Q">ext2Q</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (d -> q) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> q) -> d -> q</li><li class="src short"><a href="#v:ext2R">ext2R</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => m d -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => m (t d1 d2)) -> m d</li><li class="src short"><a href="#v:ext2B">ext2B</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => a -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2) -> a</li></ul></div><div id="interface"><h1 id="g:1">Combinators to "make" generic functions via cast
</h1><div class="top"><p class="src"><a name="v:mkT" class="def">mkT</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> b) -> a -> a<a href="src/Data-Generics-Aliases.html#mkT" class="link">Source</a></p><div class="doc"><p>Make a generic transformation;
start from a type-specific case;
preserve the term otherwise
</p></div></div><div class="top"><p class="src"><a name="v:mkQ" class="def">mkQ</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => r -> (b -> r) -> a -> r<a href="src/Data-Generics-Aliases.html#mkQ" class="link">Source</a></p><div class="doc"><p>Make a generic query;
start from a type-specific case;
return a constant otherwise
</p></div></div><div class="top"><p class="src"><a name="v:mkM" class="def">mkM</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> m b) -> a -> m a<a href="src/Data-Generics-Aliases.html#mkM" class="link">Source</a></p><div class="doc"><p>Make a generic monadic transformation;
start from a type-specific case;
resort to return otherwise
</p></div></div><div class="top"><p class="src"><a name="v:mkMp" class="def">mkMp</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (b -> m b) -> a -> m a<a href="src/Data-Generics-Aliases.html#mkMp" class="link">Source</a></p><div class="doc"><p>Make a generic monadic transformation for MonadPlus;
use "const mzero" (i.e., failure) instead of return as default.
</p></div></div><div class="top"><p class="src"><a name="v:mkR" class="def">mkR</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => m b -> m a<a href="src/Data-Generics-Aliases.html#mkR" class="link">Source</a></p><div class="doc"><p>Make a generic builder;
start from a type-specific ase;
resort to no build (i.e., mzero) otherwise
</p></div></div><div class="top"><p class="src"><a name="v:ext0" class="def">ext0</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => c a -> c b -> c a<a href="src/Data-Generics-Aliases.html#ext0" class="link">Source</a></p><div class="doc"><p>Flexible type extension
</p></div></div><div class="top"><p class="src"><a name="v:extT" class="def">extT</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> a) -> (b -> b) -> a -> a<a href="src/Data-Generics-Aliases.html#extT" class="link">Source</a></p><div class="doc"><p>Extend a generic transformation by a type-specific case
</p></div></div><div class="top"><p class="src"><a name="v:extQ" class="def">extQ</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> q) -> (b -> q) -> a -> q<a href="src/Data-Generics-Aliases.html#extQ" class="link">Source</a></p><div class="doc"><p>Extend a generic query by a type-specific case
</p></div></div><div class="top"><p class="src"><a name="v:extM" class="def">extM</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> m a) -> (b -> m b) -> a -> m a<a href="src/Data-Generics-Aliases.html#extM" class="link">Source</a></p><div class="doc"><p>Extend a generic monadic transformation by a type-specific case
</p></div></div><div class="top"><p class="src"><a name="v:extMp" class="def">extMp</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => (a -> m a) -> (b -> m b) -> a -> m a<a href="src/Data-Generics-Aliases.html#extMp" class="link">Source</a></p><div class="doc"><p>Extend a generic MonadPlus transformation by a type-specific case
</p></div></div><div class="top"><p class="src"><a name="v:extB" class="def">extB</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => a -> b -> a<a href="src/Data-Generics-Aliases.html#extB" class="link">Source</a></p><div class="doc"><p>Extend a generic builder
</p></div></div><div class="top"><p class="src"><a name="v:extR" class="def">extR</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> b) => m a -> m b -> m a<a href="src/Data-Generics-Aliases.html#extR" class="link">Source</a></p><div class="doc"><p>Extend a generic reader
</p></div></div><h1 id="g:2">Type synonyms for generic function types
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenericT" class="def">GenericT</a> = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> a<a href="src/Data-Generics-Aliases.html#GenericT" class="link">Source</a></p><div class="doc"><p>Generic transformations,
i.e., take an "a" and return an "a"
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenericQ" class="def">GenericQ</a> r = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> r<a href="src/Data-Generics-Aliases.html#GenericQ" class="link">Source</a></p><div class="doc"><p>Generic queries of type "r",
i.e., take any "a" and return an "r"
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenericM" class="def">GenericM</a> m = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> m a<a href="src/Data-Generics-Aliases.html#GenericM" class="link">Source</a></p><div class="doc"><p>Generic monadic transformations,
i.e., take an "a" and compute an "a"
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenericB" class="def">GenericB</a> = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a<a href="src/Data-Generics-Aliases.html#GenericB" class="link">Source</a></p><div class="doc"><p>Generic builders
i.e., produce an "a".
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GenericR" class="def">GenericR</a> m = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => m a<a href="src/Data-Generics-Aliases.html#GenericR" class="link">Source</a></p><div class="doc"><p>Generic readers, say monadic builders,
i.e., produce an "a" with the help of a monad "m".
</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Generic" class="def">Generic</a> c = <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> c a<a href="src/Data-Generics-Aliases.html#Generic" class="link">Source</a></p><div class="doc"><p>The general scheme underlying generic functions
assumed by gfoldl; there are isomorphisms such as
GenericT = Generic T.
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Generic-39-" class="def">Generic'</a> c <a href="src/Data-Generics-Aliases.html#Generic%27" class="link">Source</a></p><div class="doc"><p>Wrapped generic functions;
recall: [Generic c] would be legal but [Generic' c] not.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Generic-39-" class="def">Generic'</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unGeneric-39-" class="def">unGeneric'</a> :: <a href="Data-Generics-Aliases.html#t:Generic">Generic</a> c</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:GenericT-39-" class="def">GenericT'</a> <a href="src/Data-Generics-Aliases.html#GenericT%27" class="link">Source</a></p><div class="doc"><p>Other first-class polymorphic wrappers
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:GT" class="def">GT</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unGT" class="def">unGT</a> :: <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:GenericQ-39-" class="def">GenericQ'</a> r <a href="src/Data-Generics-Aliases.html#GenericQ%27" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:GQ" class="def">GQ</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unGQ" class="def">unGQ</a> :: <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> r</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:GenericM-39-" class="def">GenericM'</a> m <a href="src/Data-Generics-Aliases.html#GenericM%27" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:GM" class="def">GM</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:unGM" class="def">unGM</a> :: <span class="keyword">forall</span> a. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a => a -> m a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><h1 id="g:3">Ingredients of generic functions
</h1><div class="top"><p class="src"><a name="v:orElse" class="def">orElse</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> a<a href="src/Data-Generics-Aliases.html#orElse" class="link">Source</a></p><div class="doc"><p>Left-biased choice on maybes
</p></div></div><h1 id="g:4">Function combinators on generic functions
</h1><div class="top"><p class="src"><a name="v:recoverMp" class="def">recoverMp</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m<a href="src/Data-Generics-Aliases.html#recoverMp" class="link">Source</a></p><div class="doc"><p>Recover from the failure of monadic transformation by identity
</p></div></div><div class="top"><p class="src"><a name="v:recoverQ" class="def">recoverQ</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => r -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r)<a href="src/Data-Generics-Aliases.html#recoverQ" class="link">Source</a></p><div class="doc"><p>Recover from the failure of monadic query by a constant
</p></div></div><div class="top"><p class="src"><a name="v:choiceMp" class="def">choiceMp</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m -> <a href="Data-Generics-Aliases.html#t:GenericM">GenericM</a> m<a href="src/Data-Generics-Aliases.html#choiceMp" class="link">Source</a></p><div class="doc"><p>Choice for monadic transformations
</p></div></div><div class="top"><p class="src"><a name="v:choiceQ" class="def">choiceQ</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r) -> <a href="Data-Generics-Aliases.html#t:GenericQ">GenericQ</a> (m r)<a href="src/Data-Generics-Aliases.html#choiceQ" class="link">Source</a></p><div class="doc"><p>Choice for monadic queries
</p></div></div><h1 id="g:5">Type extension for unary type constructors
</h1><div class="top"><p class="src"><a name="v:ext1" class="def">ext1</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => c a -> (<span class="keyword">forall</span> d. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d => c (t d)) -> c a<a href="src/Data-Generics-Aliases.html#ext1" class="link">Source</a></p><div class="doc"><p>Flexible type extension
</p></div></div><div class="top"><p class="src"><a name="v:ext1T" class="def">ext1T</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> e) -> (<span class="keyword">forall</span> f. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> f => t f -> t f) -> d -> d<a href="src/Data-Generics-Aliases.html#ext1T" class="link">Source</a></p><div class="doc"><p>Type extension of transformations for unary type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext1M" class="def">ext1M</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> m e) -> (<span class="keyword">forall</span> f. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> f => t f -> m (t f)) -> d -> m d<a href="src/Data-Generics-Aliases.html#ext1M" class="link">Source</a></p><div class="doc"><p>Type extension of monadic transformations for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext1Q" class="def">ext1Q</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => (d -> q) -> (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => t e -> q) -> d -> q<a href="src/Data-Generics-Aliases.html#ext1Q" class="link">Source</a></p><div class="doc"><p>Type extension of queries for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext1R" class="def">ext1R</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => m d -> (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => m (t e)) -> m d<a href="src/Data-Generics-Aliases.html#ext1R" class="link">Source</a></p><div class="doc"><p>Type extension of readers for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext1B" class="def">ext1B</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> t) => a -> (<span class="keyword">forall</span> b. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> b => t b) -> a<a href="src/Data-Generics-Aliases.html#ext1B" class="link">Source</a></p><div class="doc"><p>Type extension of builders for type constructors
</p></div></div><h1 id="g:6">Type extension for binary type constructors
</h1><div class="top"><p class="src"><a name="v:ext2T" class="def">ext2T</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> e) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> t d1 d2) -> d -> d<a href="src/Data-Generics-Aliases.html#ext2T" class="link">Source</a></p><div class="doc"><p>Type extension of transformations for unary type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext2M" class="def">ext2M</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (<span class="keyword">forall</span> e. <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> e => e -> m e) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> m (t d1 d2)) -> d -> m d<a href="src/Data-Generics-Aliases.html#ext2M" class="link">Source</a></p><div class="doc"><p>Type extension of monadic transformations for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext2Q" class="def">ext2Q</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => (d -> q) -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2 -> q) -> d -> q<a href="src/Data-Generics-Aliases.html#ext2Q" class="link">Source</a></p><div class="doc"><p>Type extension of queries for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext2R" class="def">ext2R</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => m d -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => m (t d1 d2)) -> m d<a href="src/Data-Generics-Aliases.html#ext2R" class="link">Source</a></p><div class="doc"><p>Type extension of readers for type constructors
</p></div></div><div class="top"><p class="src"><a name="v:ext2B" class="def">ext2B</a> :: (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> t) => a -> (<span class="keyword">forall</span> d1 d2. (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d1, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Data.html#t:Data">Data</a> d2) => t d1 d2) -> a<a href="src/Data-Generics-Aliases.html#ext2B" class="link">Source</a></p><div class="doc"><p>Type extension of builders for type constructors
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
|