aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
ModeNameSize
-rw-r--r--A.html3547logplainblame
-rw-r--r--B.html3331logplainblame
-rw-r--r--Bold.html2018logplainblame
-rw-r--r--Bug1.html2210logplainblame
-rw-r--r--Bug195.html3638logplainblame
-rw-r--r--Bug2.html1357logplainblame
-rw-r--r--Bug201.html2093logplainblame
-rw-r--r--Bug253.html2329logplainblame
-rw-r--r--Bug26.html3912logplainblame
-rw-r--r--Bug294.html3698logplainblame
-rw-r--r--Bug298.html2858logplainblame
-rw-r--r--Bug3.html1739logplainblame
-rw-r--r--Bug308.html2282logplainblame
-rw-r--r--Bug308CrossModule.html1930logplainblame
-rw-r--r--Bug310.html1958logplainblame
-rw-r--r--Bug313.html2588logplainblame
-rw-r--r--Bug335.html2616logplainblame
-rw-r--r--Bug387.html2225logplainblame
-rw-r--r--Bug4.html1760logplainblame
-rw-r--r--Bug6.html6338logplainblame
-rw-r--r--Bug7.html4157logplainblame
-rw-r--r--Bug8.html2847logplainblame
-rw-r--r--Bug85.html2768logplainblame
-rw-r--r--BugDeprecated.html3619logplainblame
-rw-r--r--BugExportHeadings.html3756logplainblame
-rw-r--r--Bugs.html1671logplainblame
-rw-r--r--CrossPackageDocs.html6031logplainblame
-rw-r--r--DeprecatedClass.html3315logplainblame
-rw-r--r--DeprecatedData.html3614logplainblame
-rw-r--r--DeprecatedFunction.html2234logplainblame
-rw-r--r--DeprecatedFunction2.html1832logplainblame
-rw-r--r--DeprecatedFunction3.html1840logplainblame
-rw-r--r--DeprecatedModule.html1695logplainblame
-rw-r--r--DeprecatedModule2.html1590logplainblame
-rw-r--r--DeprecatedNewtype.html3343logplainblame
-rw-r--r--DeprecatedReExport.html2630logplainblame
-rw-r--r--DeprecatedRecord.html2960logplainblame
-rw-r--r--DeprecatedTypeFamily.html2452logplainblame
-rw-r--r--DeprecatedTypeSynonym.html2455logplainblame
-rw-r--r--Examples.html3409logplainblame
-rw-r--r--Extensions.html1850logplainblame
-rw-r--r--FunArgs.html4739logplainblame
-rw-r--r--GADTRecords.html4255logplainblame
-rw-r--r--Hash.html8047logplainblame
-rw-r--r--HiddenInstances.html6142logplainblame
-rw-r--r--HiddenInstancesB.html3645logplainblame
-rw-r--r--Hyperlinks.html1877logplainblame
-rw-r--r--IgnoreExports.html2076logplainblame
-rw-r--r--ImplicitParams.html2243logplainblame
-rw-r--r--Minimal.html6344logplainblame
-rw-r--r--ModuleWithWarning.html1751logplainblame
-rw-r--r--NamedDoc.html1484logplainblame
-rw-r--r--Nesting.html5983logplainblame
-rw-r--r--NoLayout.html1787logplainblame
-rw-r--r--NonGreedy.html1739logplainblame
-rw-r--r--Operators.html9892logplainblame
-rw-r--r--PatternSyns.html5198logplainblame
-rw-r--r--PromotedTypes.html4110logplainblame
-rw-r--r--Properties.html1955logplainblame
-rw-r--r--PruneWithWarning.html1553logplainblame
-rw-r--r--QuasiExpr.html6165logplainblame
-rw-r--r--QuasiQuote.html1385logplainblame
-rw-r--r--SpuriousSuperclassConstraints.html4745logplainblame
-rw-r--r--TH.html1336logplainblame
-rw-r--r--TH2.html1335logplainblame
-rw-r--r--Test.html39574logplainblame
-rw-r--r--Threaded.html2017logplainblame
-rw-r--r--Ticket112.html1783logplainblame
-rw-r--r--Ticket61.html1679logplainblame
-rw-r--r--Ticket75.html2350logplainblame
-rw-r--r--TitledPicture.html2301logplainblame
-rw-r--r--TypeFamilies.html26591logplainblame
-rw-r--r--TypeFamilies2.html5224logplainblame
-rw-r--r--TypeOperators.html3517logplainblame
-rw-r--r--Unicode.html1756logplainblame
-rw-r--r--Visible.html1417logplainblame
-rw-r--r--frames.html859logplainblame
-rw-r--r--haddock-util.js8182logplainblame
-rw-r--r--hslogo-16.png1684logplainblame
-rw-r--r--mini_A.html1286logplainblame
-rw-r--r--mini_AdvanceTypes.html865logplainblame
-rw-r--r--mini_B.html1043logplainblame
-rw-r--r--mini_Bug1.html843logplainblame
-rw-r--r--mini_Bug2.html801logplainblame
-rw-r--r--mini_Bug3.html803logplainblame
-rw-r--r--mini_Bug4.html803logplainblame
-rw-r--r--mini_Bug6.html1403logplainblame
-rw-r--r--mini_Bug7.html992logplainblame
-rw-r--r--mini_Bug8.html1353logplainblame
-rw-r--r--mini_BugDeprecated.html1323logplainblame
-rw-r--r--mini_BugExportHeadings.html1489logplainblame
-rw-r--r--mini_Bugs.html845logplainblame
-rw-r--r--mini_CrossPackageDocs.html1095logplainblame
-rw-r--r--mini_DeprecatedClass.html1032logplainblame
-rw-r--r--mini_DeprecatedData.html1007logplainblame
-rw-r--r--mini_DeprecatedFunction.html931logplainblame
-rw-r--r--mini_DeprecatedFunction2.html833logplainblame
-rw-r--r--mini_DeprecatedFunction3.html833logplainblame
-rw-r--r--mini_DeprecatedModule.html827logplainblame
-rw-r--r--mini_DeprecatedModule2.html829logplainblame
-rw-r--r--mini_DeprecatedNewtype.html1034logplainblame
-rw-r--r--mini_DeprecatedReExport.html942logplainblame
-rw-r--r--mini_DeprecatedRecord.html869logplainblame
-rw-r--r--mini_DeprecatedTypeFamily.html1062logplainblame
-rw-r--r--mini_DeprecatedTypeSynonym.html1034logplainblame
-rw-r--r--mini_Examples.html811logplainblame
-rw-r--r--mini_FunArgs.html1199logplainblame
-rw-r--r--mini_GADTRecords.html862logplainblame
-rw-r--r--mini_Hash.html1487logplainblame
-rw-r--r--mini_HiddenInstances.html1029logplainblame
-rw-r--r--mini_HiddenInstancesB.html1014logplainblame
-rw-r--r--mini_Hyperlinks.html815logplainblame
-rw-r--r--mini_IgnoreExports.html921logplainblame
-rw-r--r--mini_ModuleWithWarning.html829logplainblame
-rw-r--r--mini_NamedDoc.html711logplainblame
-rw-r--r--mini_NoLayout.html809logplainblame
-rw-r--r--mini_NonGreedy.html811logplainblame
-rw-r--r--mini_Properties.html815logplainblame
-rw-r--r--mini_PruneWithWarning.html727logplainblame
-rw-r--r--mini_QuasiExpr.html1311logplainblame
-rw-r--r--mini_QuasiQuote.html815logplainblame
-rw-r--r--mini_SpuriousSuperclassConstraints.html904logplainblame
-rw-r--r--mini_TH.html800logplainblame
-rw-r--r--mini_TH2.html799logplainblame
-rw-r--r--mini_Test.html4856logplainblame
-rw-r--r--mini_Ticket112.html811logplainblame
-rw-r--r--mini_Ticket253_1.html817logplainblame
-rw-r--r--mini_Ticket253_2.html959logplainblame
-rw-r--r--mini_Ticket61.html854logplainblame
-rw-r--r--mini_Ticket75.html954logplainblame
-rw-r--r--mini_TitledPicture.html921logplainblame
-rw-r--r--mini_TypeFamilies.html2154logplainblame
-rw-r--r--mini_TypeOperators.html1953logplainblame
-rw-r--r--mini_Unicode.html807logplainblame
-rw-r--r--mini_Visible.html813logplainblame
-rw-r--r--minus.gif56logplainblame
-rw-r--r--ocean.css9317logplainblame
-rw-r--r--plus.gif59logplainblame
-rw-r--r--synopsis.png11327logplainblame