/usr/share/doc/libghc-generics-sop-doc/html/Generics-SOP-Metadata.html is in libghc-generics-sop-doc 0.2.0.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 6 7 8 9 10 11 12 13 14 | <!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.SOP.Metadata</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-SOP-Metadata.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Generics-SOP-Metadata.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">generics-sop-0.2.0.0: Generic Programming using True Sums of Products</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">Generics.SOP.Metadata</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">re-exports</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Metadata about what a datatype looks like</p><p>In <code>generics-sop</code>, the metadata is completely independent of the main
universe. Many generic functions will use this metadata, but other don't,
and yet others might need completely different metadata.</p><p>This module defines a datatype to represent standard metadata, i.e., names
of the datatype, its constructors, and possibly its record selectors.
Metadata descriptions are in general GADTs indexed by the code of the
datatype they're associated with, so matching on the metadata will reveal
information about the shape of the datatype.</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">data</span> <a href="#t:DatatypeInfo">DatatypeInfo</a> :: [[*]] -> * <span class="keyword">where</span><ul class="subs"><li><a href="#v:ADT">ADT</a> :: <a href="Generics-SOP-Metadata.html#t:ModuleName">ModuleName</a> -> <a href="Generics-SOP-Metadata.html#t:DatatypeName">DatatypeName</a> -> <a href="Generics-SOP-NP.html#t:NP">NP</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xss -> <a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> xss</li><li><a href="#v:Newtype">Newtype</a> :: <a href="Generics-SOP-Metadata.html#t:ModuleName">ModuleName</a> -> <a href="Generics-SOP-Metadata.html#t:DatatypeName">DatatypeName</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> `[x]` -> <a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> `[`[x]`]`</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:ConstructorInfo">ConstructorInfo</a> :: [*] -> * <span class="keyword">where</span><ul class="subs"><li><a href="#v:Constructor">Constructor</a> :: <a href="Generics-SOP-Sing.html#t:SListI">SListI</a> xs => <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs</li><li><a href="#v:Infix">Infix</a> :: <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a> -> <a href="Generics-SOP-Metadata.html#t:Fixity">Fixity</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> `[x, y]`</li><li><a href="#v:Record">Record</a> :: <a href="Generics-SOP-Sing.html#t:SListI">SListI</a> xs => <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-NP.html#t:NP">NP</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> xs -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:FieldInfo">FieldInfo</a> :: * -> * <span class="keyword">where</span><ul class="subs"><li><a href="#v:FieldInfo">FieldInfo</a> :: <a href="Generics-SOP-Metadata.html#t:FieldName">FieldName</a> -> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> a</li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:DatatypeName">DatatypeName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ModuleName">ModuleName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ConstructorName">ConstructorName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:FieldName">FieldName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:Fixity">Fixity</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Associativity">Associativity</a> :: *<ul class="subs"><li>= <a href="#v:LeftAssociative">LeftAssociative</a></li><li>| <a href="#v:RightAssociative">RightAssociative</a></li><li>| <a href="#v:NotAssociative">NotAssociative</a></li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:DatatypeInfo" class="def">DatatypeInfo</a> :: [[*]] -> * <span class="keyword">where</span> <a href="src/Generics-SOP-Metadata.html#DatatypeInfo" class="link">Source</a></p><div class="doc"><p>Metadata for a datatype.</p><p>A value of type <code><code><a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a></code> c</code> contains the information about a datatype
that is not contained in <code><code>Code</code> c</code>. This information consists
primarily of the names of the datatype, its constructors, and possibly its
record selectors.</p><p>The constructor indicates whether the datatype has been declared using <code>newtype</code>
or not.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ADT" class="def">ADT</a> :: <a href="Generics-SOP-Metadata.html#t:ModuleName">ModuleName</a> -> <a href="Generics-SOP-Metadata.html#t:DatatypeName">DatatypeName</a> -> <a href="Generics-SOP-NP.html#t:NP">NP</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xss -> <a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> xss</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Newtype" class="def">Newtype</a> :: <a href="Generics-SOP-Metadata.html#t:ModuleName">ModuleName</a> -> <a href="Generics-SOP-Metadata.html#t:DatatypeName">DatatypeName</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> `[x]` -> <a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> `[`[x]`]`</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:DatatypeInfo" class="caption collapser" onclick="toggleSection('i:DatatypeInfo')">Instances</p><div id="section.i:DatatypeInfo" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-SOP-Constraint.html#t:All">All</a> [*] (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * [*] <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a>) xs => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-43" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="Generics-SOP-Constraint.html#t:All">All</a> [*] (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * [*] <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a>) xs, <a href="Generics-SOP-Constraint.html#t:All">All</a> [*] (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * [*] <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a>) xs) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-44" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-SOP-Constraint.html#t:All">All</a> [*] (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * [*] <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a>) xs => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> (<a href="Generics-SOP-Metadata.html#t:DatatypeInfo">DatatypeInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-42" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ConstructorInfo" class="def">ConstructorInfo</a> :: [*] -> * <span class="keyword">where</span> <a href="src/Generics-SOP-Metadata.html#ConstructorInfo" class="link">Source</a></p><div class="doc"><p>Metadata for a single constructors.</p><p>This is indexed by the product structure of the constructor components.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Constructor" class="def">Constructor</a> :: <a href="Generics-SOP-Sing.html#t:SListI">SListI</a> xs => <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Infix" class="def">Infix</a> :: <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a> -> <a href="Generics-SOP-Metadata.html#t:Fixity">Fixity</a> -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> `[x, y]`</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Record" class="def">Record</a> :: <a href="Generics-SOP-Sing.html#t:SListI">SListI</a> xs => <a href="Generics-SOP-Metadata.html#t:ConstructorName">ConstructorName</a> -> <a href="Generics-SOP-NP.html#t:NP">NP</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> xs -> <a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:ConstructorInfo" class="caption collapser" onclick="toggleSection('i:ConstructorInfo')">Instances</p><div id="section.i:ConstructorInfo" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-SOP-Constraint.html#t:All">All</a> * (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * * <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a>) xs => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-59" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left">(<a href="Generics-SOP-Constraint.html#t:All">All</a> * (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * * <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a>) xs, <a href="Generics-SOP-Constraint.html#t:All">All</a> * (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * * <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a>) xs) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-60" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="Generics-SOP-Constraint.html#t:All">All</a> * (<a href="Generics-SOP-Constraint.html#t:Compose">Compose</a> * * <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a>) xs => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> (<a href="Generics-SOP-Metadata.html#t:ConstructorInfo">ConstructorInfo</a> xs)</span> <a href="src/Generics-SOP-Metadata.html#line-58" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FieldInfo" class="def">FieldInfo</a> :: * -> * <span class="keyword">where</span> <a href="src/Generics-SOP-Metadata.html#FieldInfo" class="link">Source</a></p><div class="doc"><p>For records, this functor maps the component to its selector name.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FieldInfo" class="def">FieldInfo</a> :: <a href="Generics-SOP-Metadata.html#t:FieldName">FieldName</a> -> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FieldInfo" class="caption collapser" onclick="toggleSection('i:FieldInfo')">Instances</p><div id="section.i:FieldInfo" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Functor.html#t:Functor">Functor</a> <a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a></span> <a href="src/Generics-SOP-Metadata.html#line-65" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> a)</span> <a href="src/Generics-SOP-Metadata.html#line-65" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> a)</span> <a href="src/Generics-SOP-Metadata.html#line-65" class="link">Source</a></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> (<a href="Generics-SOP-Metadata.html#t:FieldInfo">FieldInfo</a> a)</span> <a href="src/Generics-SOP-Metadata.html#line-65" class="link">Source</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:DatatypeName" class="def">DatatypeName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a> <a href="src/Generics-SOP-Metadata.html#DatatypeName" class="link">Source</a></p><div class="doc"><p>The name of a datatype.</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ModuleName" class="def">ModuleName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a> <a href="src/Generics-SOP-Metadata.html#ModuleName" class="link">Source</a></p><div class="doc"><p>The name of a module.</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ConstructorName" class="def">ConstructorName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a> <a href="src/Generics-SOP-Metadata.html#ConstructorName" class="link">Source</a></p><div class="doc"><p>The name of a data constructor.</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:FieldName" class="def">FieldName</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-String.html#t:String">String</a> <a href="src/Generics-SOP-Metadata.html#FieldName" class="link">Source</a></p><div class="doc"><p>The name of a field / record selector.</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Fixity" class="def">Fixity</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Int.html#t:Int">Int</a> <a href="src/Generics-SOP-Metadata.html#Fixity" class="link">Source</a></p><div class="doc"><p>The fixity of an infix constructor.</p></div></div><h1 id="g:1">re-exports</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Associativity" class="def">Associativity</a> :: *</p><div class="doc"><p>Datatype to represent the associativity of a constructor</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:LeftAssociative" class="def">LeftAssociative</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RightAssociative" class="def">RightAssociative</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NotAssociative" class="def">NotAssociative</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Associativity" class="caption collapser" onclick="toggleSection('i:Associativity')">Instances</p><div id="section.i:Associativity" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Eq.html#t:Eq">Eq</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a></span></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Data-Ord.html#t:Ord">Ord</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a></span></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Read.html#t:Read">Read</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a></span></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/Text-Show.html#t:Show">Show</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a></span></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Generic">Generic</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a></span></td><td class="doc empty"> </td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:Rep">Rep</a> <a href="Generics-SOP-Metadata.html#t:Associativity">Associativity</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:D1">D1</a> D1Associativity (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-43-:">(:+:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:C1">C1</a> C1_0Associativity <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:U1">U1</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t::-43-:">(:+:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:C1">C1</a> C1_1Associativity <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:U1">U1</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:C1">C1</a> C1_2Associativity <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.8.2.0/GHC-Generics.html#t:U1">U1</a>)))</span></td><td class="doc empty"> </td></tr></table></div></div></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>
|