diff options
Diffstat (limited to 'html-test/ref/Bug548.html')
| -rw-r--r-- | html-test/ref/Bug548.html | 256 |
1 files changed, 46 insertions, 210 deletions
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index b32f8c8c..a8061eb2 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -47,13 +47,7 @@ >newtype</span > <a id="t:WrappedArrow" class="def" >WrappedArrow</a - > (a :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - >) b c <a href="#" class="selflink" + > (a :: * -> * -> *) b c <a href="#" class="selflink" >#</a ></p ><div class="subs constructors" @@ -98,15 +92,9 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic1:1" ></span - > <a href="#" title="GHC.Generics" - >Generic1</a - > (<a href="#" title="Bug548" + > Generic1 (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - >)</span + > a b :: * -> *)</span ></td ><td class="doc empty" ></td @@ -126,15 +114,9 @@ ><p class="src" ><span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep1</a - > (<a href="#" title="Bug548" - >WrappedArrow</a - > a b) :: k -> <a href="#" title="Data.Kind" - >*</a - > <a href="#" class="selflink" - >#</a - ></p + > Rep1 (<a href="#" title="Bug548" + >WrappedArrow</a + > a b) :: k -> *</p ></div > <div class="subs methods" ><p class="caption" @@ -144,25 +126,17 @@ >from1</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 -> <a href="#" title="GHC.Generics" - >Rep1</a - > (<a href="#" title="Bug548" + > a b a0 -> Rep1 (<a href="#" title="Bug548" >WrappedArrow</a - > a b) a0 <a href="#" class="selflink" - >#</a - ></p + > a b) a0</p ><p class="src" ><a href="#" >to1</a - > :: <a href="#" title="GHC.Generics" - >Rep1</a - > (<a href="#" title="Bug548" + > :: Rep1 (<a href="#" title="Bug548" >WrappedArrow</a > a b) a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ></div ></details ></td @@ -172,20 +146,12 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Functor:2" ></span - > <a href="#" title="Control.Arrow" - >Arrow</a - > a => <a href="#" title="Data.Functor" - >Functor</a - > (<a href="#" title="Bug548" + > Arrow a => Functor (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + ></td ></tr ><tr ><td colspan="2" @@ -206,9 +172,7 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0 <a href="#" class="selflink" - >#</a - ></p + > a b b0</p ><p class="src" ><a href="#" >(<$)</a @@ -216,9 +180,7 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ></div ></details ></td @@ -228,20 +190,12 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Applicative:3" ></span - > <a href="#" title="Control.Arrow" - >Arrow</a - > a => <a href="#" title="Control.Applicative" - >Applicative</a - > (<a href="#" title="Bug548" + > Arrow a => Applicative (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + ></td ></tr ><tr ><td colspan="2" @@ -260,9 +214,7 @@ >pure</a > :: a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ><p class="src" ><a href="#" >(<*>)</a @@ -272,9 +224,7 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0 <a href="#" class="selflink" - >#</a - ></p + > a b b0</p ><p class="src" ><a href="#" >liftA2</a @@ -284,9 +234,7 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c <a href="#" class="selflink" - >#</a - ></p + > a b c</p ><p class="src" ><a href="#" >(*>)</a @@ -296,9 +244,7 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b b0 <a href="#" class="selflink" - >#</a - ></p + > a b b0</p ><p class="src" ><a href="#" >(<*)</a @@ -308,9 +254,7 @@ >WrappedArrow</a > a b b0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ></div ></details ></td @@ -320,22 +264,12 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Alternative:4" ></span - > (<a href="#" title="Control.Arrow" - >ArrowZero</a - > a, <a href="#" title="Control.Arrow" - >ArrowPlus</a - > a) => <a href="#" title="Control.Applicative" - >Alternative</a - > (<a href="#" title="Bug548" + > (ArrowZero a, ArrowPlus a) => Alternative (<a href="#" title="Bug548" >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + ></td ></tr ><tr ><td colspan="2" @@ -354,9 +288,7 @@ >empty</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ><p class="src" ><a href="#" >(<|>)</a @@ -366,9 +298,7 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b a0 <a href="#" class="selflink" - >#</a - ></p + > a b a0</p ><p class="src" ><a href="#" >some</a @@ -376,9 +306,7 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0] <a href="#" class="selflink" - >#</a - ></p + > a b [a0]</p ><p class="src" ><a href="#" >many</a @@ -386,9 +314,7 @@ >WrappedArrow</a > a b a0 -> <a href="#" title="Bug548" >WrappedArrow</a - > a b [a0] <a href="#" class="selflink" - >#</a - ></p + > a b [a0]</p ></div ></details ></td @@ -398,9 +324,7 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic:5" ></span - > <a href="#" title="GHC.Generics" - >Generic</a - > (<a href="#" title="Bug548" + > Generic (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td @@ -422,17 +346,9 @@ ><p class="src" ><span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug548" - >WrappedArrow</a - > a b c) :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <a href="#" class="selflink" - >#</a - ></p + > Rep (<a href="#" title="Bug548" + >WrappedArrow</a + > a b c) :: * -> *</p ></div > <div class="subs methods" ><p class="caption" @@ -442,25 +358,17 @@ >from</a > :: <a href="#" title="Bug548" >WrappedArrow</a - > a b c -> <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug548" + > a b c -> Rep (<a href="#" title="Bug548" >WrappedArrow</a - > a b c) x <a href="#" class="selflink" - >#</a - ></p + > a b c) x</p ><p class="src" ><a href="#" >to</a - > :: <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug548" + > :: Rep (<a href="#" title="Bug548" >WrappedArrow</a > a b c) x -> <a href="#" title="Bug548" >WrappedArrow</a - > a b c <a href="#" class="selflink" - >#</a - ></p + > a b c</p ></div ></details ></td @@ -472,15 +380,9 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep1</a - > (<a href="#" title="Bug548" + > Rep1 (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - >)</span + > a b :: * -> *)</span ></td ><td class="doc empty" ></td @@ -497,43 +399,9 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep1</a - > (<a href="#" title="Bug548" + > Rep1 (<a href="#" title="Bug548" >WrappedArrow</a - > a b :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - >) = <a href="#" title="GHC.Generics" - >D1</a - > (<a href="#" title="GHC.Generics" - >MetaData</a - > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" - >True</a - >) (<a href="#" title="GHC.Generics" - >C1</a - > (<a href="#" title="GHC.Generics" - >MetaCons</a - > "WrapArrow" <a href="#" title="GHC.Generics" - >PrefixI</a - > <a href="#" title="Data.Bool" - >True</a - >) (<a href="#" title="GHC.Generics" - >S1</a - > (<a href="#" title="GHC.Generics" - >MetaSel</a - > (<a href="#" title="Data.Maybe" - >Just</a - > "unwrapArrow") <a href="#" title="GHC.Generics" - >NoSourceUnpackedness</a - > <a href="#" title="GHC.Generics" - >NoSourceStrictness</a - > <a href="#" title="GHC.Generics" - >DecidedLazy</a - >) (<a href="#" title="GHC.Generics" - >Rec1</a - > (a b))))</div + > a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b))))</div ></details ></td ></tr @@ -544,9 +412,7 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug548" + > Rep (<a href="#" title="Bug548" >WrappedArrow</a > a b c)</span ></td @@ -565,39 +431,9 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug548" + > Rep (<a href="#" title="Bug548" >WrappedArrow</a - > a b c) = <a href="#" title="GHC.Generics" - >D1</a - > (<a href="#" title="GHC.Generics" - >MetaData</a - > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" - >True</a - >) (<a href="#" title="GHC.Generics" - >C1</a - > (<a href="#" title="GHC.Generics" - >MetaCons</a - > "WrapArrow" <a href="#" title="GHC.Generics" - >PrefixI</a - > <a href="#" title="Data.Bool" - >True</a - >) (<a href="#" title="GHC.Generics" - >S1</a - > (<a href="#" title="GHC.Generics" - >MetaSel</a - > (<a href="#" title="Data.Maybe" - >Just</a - > "unwrapArrow") <a href="#" title="GHC.Generics" - >NoSourceUnpackedness</a - > <a href="#" title="GHC.Generics" - >NoSourceStrictness</a - > <a href="#" title="GHC.Generics" - >DecidedLazy</a - >) (<a href="#" title="GHC.Generics" - >Rec0</a - > (a b c))))</div + > a b c) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a b c))))</div ></details ></td ></tr @@ -611,4 +447,4 @@ ></div ></body ></html -> +>
\ No newline at end of file |