From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/A.html | 67 +- html-test/ref/B.html | 65 +- html-test/ref/Bold.html | 33 +- html-test/ref/Bug1.html | 37 +- html-test/ref/Bug195.html | 51 +- html-test/ref/Bug2.html | 29 +- html-test/ref/Bug201.html | 33 +- html-test/ref/Bug253.html | 31 +- html-test/ref/Bug26.html | 57 +- html-test/ref/Bug294.html | 79 +- html-test/ref/Bug298.html | 53 +- html-test/ref/Bug3.html | 33 +- html-test/ref/Bug308.html | 41 +- html-test/ref/Bug308CrossModule.html | 37 +- html-test/ref/Bug310.html | 33 +- html-test/ref/Bug313.html | 35 +- html-test/ref/Bug335.html | 33 +- html-test/ref/Bug387.html | 43 +- html-test/ref/Bug4.html | 33 +- html-test/ref/Bug6.html | 121 +- html-test/ref/Bug7.html | 51 +- html-test/ref/Bug8.html | 67 +- html-test/ref/Bug85.html | 63 +- html-test/ref/BugDeprecated.html | 73 +- html-test/ref/BugExportHeadings.html | 85 +- html-test/ref/Bugs.html | 33 +- html-test/ref/DeprecatedClass.html | 65 +- html-test/ref/DeprecatedData.html | 49 +- html-test/ref/DeprecatedFunction.html | 43 +- html-test/ref/DeprecatedFunction2.html | 33 +- html-test/ref/DeprecatedFunction3.html | 33 +- html-test/ref/DeprecatedModule.html | 33 +- html-test/ref/DeprecatedModule2.html | 29 +- html-test/ref/DeprecatedNewtype.html | 49 +- html-test/ref/DeprecatedReExport.html | 41 +- html-test/ref/DeprecatedRecord.html | 51 +- html-test/ref/DeprecatedTypeFamily.html | 57 +- html-test/ref/DeprecatedTypeSynonym.html | 41 +- html-test/ref/Examples.html | 39 +- html-test/ref/Extensions.html | 29 +- html-test/ref/FunArgs.html | 55 +- html-test/ref/GADTRecords.html | 107 +- html-test/ref/Hash.html | 159 +- html-test/ref/HiddenInstances.html | 97 +- html-test/ref/HiddenInstancesB.html | 41 +- html-test/ref/Hyperlinks.html | 37 +- html-test/ref/IgnoreExports.html | 41 +- html-test/ref/ImplicitParams.html | 51 +- html-test/ref/Instances.html | 1708 ++++++++++++++++++++++ html-test/ref/Math.html | 31 +- html-test/ref/Minimal.html | 125 +- html-test/ref/ModuleWithWarning.html | 33 +- html-test/ref/NamedDoc.html | 25 +- html-test/ref/Nesting.html | 57 +- html-test/ref/NoLayout.html | 35 +- html-test/ref/NonGreedy.html | 33 +- html-test/ref/Operators.html | 177 +-- html-test/ref/OrphanInstances.html | 37 +- html-test/ref/OrphanInstancesClass.html | 33 +- html-test/ref/OrphanInstancesType.html | 33 +- html-test/ref/PatternSyns.html | 115 +- html-test/ref/PromotedTypes.html | 107 +- html-test/ref/Properties.html | 39 +- html-test/ref/PruneWithWarning.html | 25 +- html-test/ref/QuasiExpr.html | 137 +- html-test/ref/QuasiQuote.html | 29 +- html-test/ref/SpuriousSuperclassConstraints.html | 85 +- html-test/ref/TH.html | 27 +- html-test/ref/TH2.html | 27 +- html-test/ref/Test.html | 845 +++++------ html-test/ref/Threaded.html | 33 +- html-test/ref/Threaded_TH.html | 88 ++ html-test/ref/Ticket112.html | 31 +- html-test/ref/Ticket61.html | 37 +- html-test/ref/Ticket75.html | 45 +- html-test/ref/TitledPicture.html | 45 +- html-test/ref/TypeFamilies.html | 671 +++++---- html-test/ref/TypeFamilies2.html | 87 +- html-test/ref/TypeOperators.html | 69 +- html-test/ref/Unicode.html | 33 +- html-test/ref/Visible.html | 31 +- 81 files changed, 4556 insertions(+), 2873 deletions(-) create mode 100644 html-test/ref/Instances.html create mode 100644 html-test/ref/Threaded_TH.html (limited to 'html-test') diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 56c04bc6..73534dc7 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -1,32 +1,33 @@ - A

 

other :: :: Int

test2 :: :: Bool

data X

X

reExport :: :: Int

+> \ No newline at end of file diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 6176cbeb..cc8f9eef 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -1,32 +1,33 @@ - B
Synopsis

Documentation

module module A

test :: :: Int

other. These links should work: other, sortBy, test2, test2, fromMaybe. - Module link: Prelude.

reExport :: :: Int

data X

X +> \ No newline at end of file diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 904d2239..c1f304fd 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -1,32 +1,33 @@ - Bold
Synopsis

Documentation

foo :: t

:: a

Some

+> \ No newline at end of file diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 28de3c64..ad864e78 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -1,32 +1,33 @@ - Bug1
  • data T = = T

    • data T

    We should have different anchors for constructors and types/classes. This hyperlink should point to the type constructor by default: T.

    T 
    +> \ No newline at end of file diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index 39816f32..c81cfbb4 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -1,32 +1,33 @@ - Bug195

    data T

    Methods

    c_f :: ()

    +> \ No newline at end of file diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 59171bd6..8c0f2837 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -1,32 +1,33 @@ -Bug294
    A 
    B 
    C 
    • someField :: ()
    • someOtherField :: ()
      +> \ No newline at end of file diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index c28fb609..1b7f50ff 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -1,32 +1,33 @@ - Bug2
      Documentation

      x :: :: A

      +> \ No newline at end of file diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 58bed8e8..06d8ec96 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -1,32 +1,33 @@ - Bug201
      Synopsis

      • f :: ()
      • g :: ()
      Documentation

      f :: ()

      g :: ()

      +> \ No newline at end of file diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index d8e49bd4..2d78880b 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -1,32 +1,33 @@ - Bug253
      Synopsis

      Documentation

      foo :: ()

      This link should generate #v anchor: fakeFakeFake

      +> \ No newline at end of file diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index bdb51231..6537e30b 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -1,32 +1,33 @@ - Bug26
      Synopsis

      • f :: ()
      • g :: ()
      • class C a where
    Documentation

    f :: ()

    g :: ()

    class C a whereSince: 1.0

    Minimal complete definition

    c_f

    Methods

    c_f :: a

    C ()
    		  
    data TP TP A = = ProblemCtor A 

    problemField :: TO :: TO A -> -> A

    problemField' :: DO :: DO A -> -> A

    gadtField :: GADT :: ({..} -> GADT A -> ) -> A

    data family DP t :: *

    t :: *

    Instances

    data DP A = = ProblemCtor' A
    		 
    +> \ No newline at end of file diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 9e52da5e..6ce24bdb 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -1,32 +1,33 @@ - Bug298
    Synopsis

    Documentation

    (<^>) :: (a -> a) -> a -> a

    (<^) :: a -> a -> a

    (^>) :: a -> a -> a

    (⋆^) :: a -> a -> a

    f :: ()

    Links to <^> and ^>, <^ and ⋆^.

    +> \ No newline at end of file diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 70e799be..d5287df4 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -1,32 +1,33 @@ - Bug3
    Synopsis

    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 23761bec..6113fdeb 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -1,32 +1,33 @@ - Bug308
    Synopsis

    • f :: ()
    • g :: ()
    Documentation

    f :: ()

    g :: ()

    start start Bug308

    startOldStyle startOldStyle Bug308

    middle middle Bug308

    end end Bug308

    +> \ No newline at end of file diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index fea4c4a5..cf935c85 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -1,32 +1,33 @@ - Bug308CrossModule
    Synopsis

    • h :: ()
    Documentation

    h :: ()

    start start Bug308

    startOldStyle startOldStyle Bug308

    middle middle Bug308

    end end Bug308

    +> \ No newline at end of file diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 62717c76..7ba62e68 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -1,32 +1,33 @@ - Bug310
  • type family a a + b :: b :: Nat

    • type family a a + b :: b :: Nat infixl 6

    +> \ No newline at end of file diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 5477cf2c..b2857202 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -1,32 +1,33 @@ - Bug313
    The first list is incorrectly numbered as 1. 2. 1.; the second example renders fine (1. 2. 3.).

    See See https://github.com/haskell/haddock/issues/313

    Synopsis

    • a :: a
    • b :: a
    Documentation

    a :: a

    b :: a

    +> \ No newline at end of file diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 6b3dc613..c8f5bed9 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -1,32 +1,33 @@ - Bug335
    Synopsis

    • f :: ()
    • g :: ()
    Documentation

    f :: ()

    g :: ()

    +> \ No newline at end of file diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 80735916..0fdfd723 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -1,34 +1,33 @@ - Bug387
    +> \ No newline at end of file diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index f1fab937..d109a20b 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -1,32 +1,33 @@ - Bug4
    Synopsis

    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 407a031c..335a16d0 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -1,32 +1,33 @@ - Bug6
  • data A = = A Int
  • data B = = B {
  • data C = = C {
  • data D = = D Int Int
  • newtype E = = E Int

    • data A

    A Int 

    data B

    B 

    data C

    class Bar x y

    Bar Foo Foo
    +> \ No newline at end of file diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 6f0bc654..3b91dfc7 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -1,32 +1,33 @@ -Bug8

    data Typ

    C 

    data D

    D Int Int 

    newtype E

    E Int 
    +> \ No newline at end of file diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index f3bd4db6..4578c771 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -1,32 +1,33 @@ - Bug7
    Type ( (Typ, [, [Typ]) 
    TFree ( (Typ, [, [Typ]) 

    (-->) :: t -> t1 -> :: t -> t1 -> Typ infix 9

    (--->) :: :: Foldable t0 => t0 t -> t0 => t0 t -> Typ -> -> Typ infix 9

    s :: t

    :: a

    t :: t

    :: a

    main :: t

    :: a

    +> \ No newline at end of file diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index e1f0431f..4e52ad65 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -1,32 +1,33 @@ - Bug85

    data Foo :: (* -> *) -> * -> * :: (* -> *) -> * -> * where

    Bar :: f x -> :: f x -> Foo f (f x) 

    data Baz :: * :: * where

    Baz' :: :: Baz 

    data Qux where
    Quux :: :: Qux 

    +> \ No newline at end of file diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 28cf89be..38f8e00e 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -1,32 +1,33 @@ - BugDeprecated
    Synopsis

    Documentation

    foo :: :: Int

    bar :: :: Int

    baz :: :: Int

    one :: :: Int

    two :: :: Int

    three :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index d6ae0359..970f8200 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -1,32 +1,33 @@ - BugExportHeadings
    Contents

    Synopsis

    Foo

    foo :: :: Int

    Bar

    bar :: :: Int

    Baz

    baz :: :: Int

    One

    one :: :: Int

    Two

    two :: :: Int

    Three

    three :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 78807f43..6082a9b8 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -1,32 +1,33 @@ - Bugs

    data A a

    A a (a -> a (a -> Int) 
    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index 7bf4b41c..0c7449dc 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -1,32 +1,33 @@ - DeprecatedClass
  • class SomeClass a where
  • class SomeOtherClass a where

    • class SomeClass a where

    some class

    Minimal complete definition

    foo

    Methods

    foo :: a -> a

    class SomeOtherClass a whereDeprecated: SomeOtherClass

    Minimal complete definition

    bar

    Methods

    bar :: a -> a

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 0a90e110..2029bb89 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -1,32 +1,33 @@ - DeprecatedData
  • data Foo
  • data One

    data Foo

    Foo
    Bar

    data One

    One
    Two +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index b015bc95..e3ecec8d 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -1,32 +1,33 @@ - DeprecatedFunction
    Synopsis

    Documentation

    foo :: :: Int

    Deprecated: use bar instead

    bar :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 46a509ee..10676eef 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -1,32 +1,33 @@ - DeprecatedFunction2
    Synopsis

    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 1749d024..c5dbf8ee 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -1,32 +1,33 @@ - DeprecatedFunction3
    Synopsis

    Documentation

    foo :: :: Integer

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 1dd3fb45..4a38a820 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -1,32 +1,33 @@ - DeprecatedModule

    Deprecated: Use Deprecated: Use Foo instead

    Documentation for Documentation for DeprecatedModule.

    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index dea6dc97..b32e079e 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -1,32 +1,33 @@ - DeprecatedModule2
    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index c521ec33..084c95b1 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -1,32 +1,33 @@ - DeprecatedNewtype
  • newtype SomeNewType = = SomeNewTypeConst String
  • newtype SomeOtherNewType = = SomeOtherNewTypeConst String

    • newtype SomeNewType

    SomeNewTypeConst String

    newtype SomeOtherNewType

    SomeOtherNewTypeConst String +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index f73c2996..4279ef80 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -1,32 +1,33 @@ - DeprecatedReExport
    Contents

    Synopsis

    Re-exported from an other module

    foo :: :: Int

    Deprecated: use bar instead

    Re-exported from an other package

    Not yet working, see Not yet working, see http://trac.haskell.org/haddock/ticket/223 , isEmptyChan

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 5991b7dc..c2fb2e0d 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -1,32 +1,33 @@ - DeprecatedRecord
  • data Foo = = Foo {

    data Foo

    Foo 
    • fooName :: :: String
    • fooValue :: :: Int
      +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 175c1b25..5539aadb 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -1,32 +1,33 @@ - DeprecatedTypeFamily
    • data family SomeTypeFamily k :: * -> *
      • k :: * -> *
    • data family SomeOtherTypeFamily k :: * -> *
      • k :: * -> *

    data family SomeTypeFamily k :: * -> *

    k :: * -> *

    data family SomeOtherTypeFamily k :: * -> *

    k :: * -> *

    +> \ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 0f986624..925f4656 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -1,32 +1,33 @@ - DeprecatedTypeSynonym
    +> \ No newline at end of file diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index 57c359df..a8565ae6 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -1,32 +1,33 @@ - Examples
    Synopsis

    Documentation

    fib :: :: Integer -> -> Integer

    Fibonacci number of given Integer.

    +> \ No newline at end of file diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 780466b8..66b77c04 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -1,32 +1,33 @@ - Extensions
    Synopsis

    Documentation

    foobar :: t

    +> \ No newline at end of file diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index d889b611..30273c0b 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -1,32 +1,33 @@ - FunArgs
    Documentation

    f

    (a :: ()). proxy a
    :: :: Ord a 
    => => Int
    -> -> Bool

    g

    h

    i

    		:: forall (b :: ()). (d ~ (b :: ()). d ~ ()) 

    j

    		:: forall (a :: ()). proxy a

    First argument

    +> \ No newline at end of file diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index b5b60d0f..8ee4b332 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -1,32 +1,33 @@ - GADTRecords
  • data H1 a b where

    data H1 a b where VisibleClass VisibleData

    data VisibleData

    Num VisibleData

    Methods

    (+) :: :: VisibleData -> -> VisibleData -> -> VisibleData

    (-) :: :: VisibleData -> -> VisibleData -> -> VisibleData

    (*) :: :: VisibleData -> -> VisibleData -> -> VisibleData

    negate :: :: VisibleData -> -> VisibleData

    abs :: :: VisibleData -> -> VisibleData

    signum :: :: VisibleData -> -> VisibleData

    fromInteger :: :: Integer -> -> VisibleData

    VisibleClass VisibleData +> \ No newline at end of file diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 8a1eb968..17f1d03f 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -1,32 +1,33 @@ -HiddenInstancesB
  • class Foo a
  • data Bar

    • class Foo a

    Foo Bar

    data Bar

    Foo Bar
    +> \ No newline at end of file diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index b5547e50..964da904 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -1,32 +1,33 @@ - Hyperlinks
    Synopsis

    Documentation

    foo :: :: Int

    A plain URL: A plain URL: http://example.com/

    A URL with a label: A URL with a label: some link

    +> \ No newline at end of file diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 6591f0d3..cd8d2388 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -1,32 +1,33 @@ - IgnoreExports
    Synopsis

    Documentation

    foo :: :: Int

    bar :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index c81f484b..68656338 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -1,32 +1,33 @@ - ImplicitParams

    data X

    C1 :: :: H1 a b 
    C2 :: :: Ord a => [a] -> a => [a] -> H1 a a 
    C3 :: Int -> :: {..} -> H1 Int Int 
    C4 :: a -> :: {..} -> H1 Int a 

    data HashTable key val

    key should be an instance of Eq.

    s

    new :: ( :: (Eq key, key, Hash key) => key) => Int -> -> IO ( (HashTable key val)

    insert :: ( :: (Eq key, key, Hash key) => key -> val -> key) => key -> val -> IO ()

    lookup :: :: Hash key => key -> key => key -> IO ( (Maybe val)

    Looks up a key in the hash table, returns Just val if the key was found, or Nothing otherwise.

    class Hash a where

    A class of types which can be hashed.

    Minimal complete definition

    hash

    Methods

    hash :: a -> :: a -> Int

    hashes the value of type a into an Int

    Hash Float
    		 

    Methods

    hash :: :: Float -> -> Int

    Hash Int    		 

    Methods

    hash :: :: Int -> -> Int

    ( (Hash a, a, Hash b) => b) => Hash (a, b)    		 

    Methods

    hash :: (a, b) -> :: (a, b) -> Int

    +> \ No newline at end of file diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index 3eb94df8..d18c6b6c 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -1,32 +1,33 @@ - HiddenInstances
    X 

    • c :: (?x :: :: (?x :: X) => ) => X

    d :: (?x :: :: (?x :: X, ?y :: , ?y :: X) => () => (X, , X)

    f :: ((?x :: :: ((?x :: X) => a) -> a

    +> \ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html new file mode 100644 index 00000000..c2904e42 --- /dev/null +++ b/html-test/ref/Instances.html @@ -0,0 +1,1708 @@ +Instances
    Safe HaskellSafe

    Instances

    Documentation

    newtype a <~~ b

    Constructors

    Xyzzy (b -> (a, a))

    Instances

    Foo ((<~~) a)

    Methods

    foo :: (a <~~ Int) -> a -> a <~~ a

    foo' :: (a <~~ (a <~~ a)) -> Int -> a <~~ (a <~~ Int)

    class Foo f where

    Methods

    foo :: f Int -> a -> f a

    foo' :: f (f a) -> Int -> f (f Int)

    Instances

    Foo []

    Methods

    foo :: [Int] -> a -> [a]

    foo' :: [[a]] -> Int -> [[Int]]

    Foo Maybe

    Methods

    foo :: Maybe Int -> a -> Maybe a

    foo' :: Maybe (Maybe a) -> Int -> Maybe (Maybe Int)

    Foo ((->) a)

    Methods

    foo :: (a -> Int) -> a -> a -> a

    foo' :: (a -> a -> a) -> Int -> a -> a -> Int

    Foo (Either a)

    Methods

    foo :: Either a Int -> a -> Either a a

    foo' :: Either a (Either a a) -> Int -> Either a (Either a Int)

    (Eq a, Foo f) => Foo ((,) (f a))

    Methods

    foo :: (f a, Int) -> a -> (f a, a)

    foo' :: (f a, (f a, a)) -> Int -> (f a, (f a, Int))

    Foo ((<~~) a)

    Methods

    foo :: (a <~~ Int) -> a -> a <~~ a

    foo' :: (a <~~ (a <~~ a)) -> Int -> a <~~ (a <~~ Int)

    Foo ((,,) a a)

    Methods

    foo :: (a, a, Int) -> a -> (a, a, a)

    foo' :: (a, a, (a, a, a)) -> Int -> (a, a, (a, a, Int))

    Foo (Quux a b)

    Methods

    foo :: Quux a b Int -> a -> Quux a b a

    foo' :: Quux a b (Quux a b a) -> Int -> Quux a b (Quux a b Int)

    class Foo f => Bar f a where

    Methods

    bar :: f a -> f Bool -> a

    bar' :: f (f a) -> f (f (f b))

    bar0, bar1 :: (f a, f a) -> (f b, f c)

    Instances

    Bar Maybe Bool

    Methods

    bar :: Maybe Bool -> Maybe Bool -> Bool

    bar' :: Maybe (Maybe Bool) -> Maybe (Maybe (Maybe b))

    bar0 :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c)

    bar1 :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c)

    Bar Maybe [a]

    Methods

    bar :: Maybe [a] -> Maybe Bool -> [a]

    bar' :: Maybe (Maybe [a]) -> Maybe (Maybe (Maybe b))

    bar0 :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c)

    bar1 :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c)

    Bar [] (a, a)

    Methods

    bar :: [(a, a)] -> [Bool] -> (a, a)

    bar' :: [[(a, a)]] -> [[[b]]]

    bar0 :: ([(a, a)], [(a, a)]) -> ([b], [c])

    bar1 :: ([(a, a)], [(a, a)]) -> ([b], [c])

    Foo f => Bar (Either a) (f a)

    Methods

    bar :: Either a (f a) -> Either a Bool -> f a

    bar' :: Either a (Either a (f a)) -> Either a (Either a (Either a b))

    bar0 :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c)

    bar1 :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c)

    Foo ((,,) a b) => Bar ((,,) a b) (a, b, a)

    Methods

    bar :: (a, b, (a, b, a)) -> (a, b, Bool) -> (a, b, a)

    bar' :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b)))

    bar0 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))

    bar1 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))

    Bar (Quux a c) (Quux a b c)

    Methods

    bar :: Quux a c (Quux a b c) -> Quux a c Bool -> Quux a b c

    bar' :: Quux a c (Quux a c (Quux a b c)) -> Quux a c (Quux a c (Quux a c b))

    bar0 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b, Quux a c c)

    bar1 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b, Quux a c c)

    class Baz a where

    Methods

    baz :: a -> (forall a. a -> a) -> (b, forall c. c -> a) -> (b, c)

    baz' :: b -> (forall b. b -> a) -> (forall b. b -> a) -> [(b, a)]

    baz'' :: b -> (forall b. (forall b. b -> a) -> c) -> forall c. c -> b

    Instances

    Baz [c]

    Methods

    baz :: [c] -> (forall a. a -> a) -> (b, forall a. a -> [c]) -> (b, c)

    baz' :: b -> (forall b. b -> [c]) -> (forall b. b -> [c]) -> [(b, [c])]

    baz'' :: b -> (forall b. (forall a. a -> [c]) -> c) -> forall a. a -> b

    Baz (a -> b)

    Methods

    baz :: (a -> b) -> (forall c. c -> c) -> (b, forall c. c -> a -> b) -> (b, c)

    baz' :: b -> (forall c. c -> a -> b) -> (forall c. c -> a -> b) -> [(b, a -> b)]

    baz'' :: b -> (forall c. (forall d. d -> a -> b) -> c) -> forall c. c -> b

    Baz (a, b, c)

    Methods

    baz :: (a, b, c) -> (forall d. d -> d) -> (b, forall d. d -> (a, b, c)) -> (b, c)

    baz' :: b -> (forall d. d -> (a, b, c)) -> (forall d. d -> (a, b, c)) -> [(b, (a, b, c))]

    baz'' :: b -> (forall d. (forall e. e -> (a, b, c)) -> c) -> forall d. d -> b

    Baz (Quux a b c)

    Methods

    baz :: Quux a b c -> (forall d. d -> d) -> (b, forall d. d -> Quux a b c) -> (b, c)

    baz' :: b -> (forall d. d -> Quux a b c) -> (forall d. d -> Quux a b c) -> [(b, Quux a b c)]

    baz'' :: b -> (forall d. (forall e. e -> Quux a b c) -> c) -> forall d. d -> b

    Baz (a, [b], b, a)

    Methods

    baz :: (a, [b], b, a) -> (forall c. c -> c) -> (b, forall c. c -> (a, [b], b, a)) -> (b, c)

    baz' :: b -> (forall c. c -> (a, [b], b, a)) -> (forall c. c -> (a, [b], b, a)) -> [(b, (a, [b], b, a))]

    baz'' :: b -> (forall c. (forall d. d -> (a, [b], b, a)) -> c) -> forall c. c -> b

    data Quux a b c

    Constructors

    Qx a
    Qux a b
    Quux a b c

    Instances

    Foo (Quux a b)

    Methods

    foo :: Quux a b Int -> a -> Quux a b a

    foo' :: Quux a b (Quux a b a) -> Int -> Quux a b (Quux a b Int)

    Bar (Quux a c) (Quux a b c)

    Methods

    bar :: Quux a c (Quux a b c) -> Quux a c Bool -> Quux a b c

    bar' :: Quux a c (Quux a c (Quux a b c)) -> Quux a c (Quux a c (Quux a c b))

    bar0 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b, Quux a c c)

    bar1 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b, Quux a c c)

    Baz (Quux a b c)

    Methods

    baz :: Quux a b c -> (forall d. d -> d) -> (b, forall d. d -> Quux a b c) -> (b, c)

    baz' :: b -> (forall d. d -> Quux a b c) -> (forall d. d -> Quux a b c) -> [(b, Quux a b c)]

    baz'' :: b -> (forall d. (forall e. e -> Quux a b c) -> c) -> forall d. d -> b

    data Thud Int (Quux a [a] c)

    class Norf a b where

    Associated Types

    type Plugh a c b

    data Thud a c

    Methods

    norf :: Plugh a c b -> a -> (a -> c) -> b

    Instances

    Norf Int Bool

    Associated Types

    type Plugh Int c Bool :: *

    data Thud Int c :: *

    Methods

    norf :: Plugh Int c Bool -> Int -> (Int -> c) -> Bool

    Norf [a] [b]

    Associated Types

    type Plugh [a] c [b] :: *

    data Thud [a] c :: *

    Methods

    norf :: Plugh [a] c [b] -> [a] -> ([a] -> c) -> [b]

    \ No newline at end of file diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index 5b76fd13..e2e962f6 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -1,34 +1,33 @@ - Math
    Synopsis

    Documentation

    f :: :: Integer

    +> \ No newline at end of file diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 48c469d1..eb9d1f5d 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -1,32 +1,33 @@ - Minimal

    class Foo a where

    Minimal complete definition

    foo, , bar | | bar, , bat | | foo, , bat | | fooBarBat

    Methods

    foo :: a

    Any two of these are required...

    bar :: a

    bat :: a

    fooBarBat :: (a, a, a)

    class Weird a where

    Minimal complete definition

    a, , b, , c | | d | | e, (, (f | | g)

    Methods

    a :: a

    b :: a

    c :: a

    d :: a

    e :: a

    f :: a

    g :: a

    class NoMins a where

    Minimal complete definition

    x, , y

    Methods

    x :: a

    y :: a

    z :: a

    class FullMin a where

    Minimal complete definition

    aaa, bbb

    Methods

    aaa :: a

    bbb :: a

    class PartialMin a where

    Minimal complete definition

    ccc, ddd

    Methods

    ccc :: a

    class EmptyMin a where

    Minimal complete definition

    Nothing

    Methods

    eee :: a

    fff :: a

    +> \ No newline at end of file diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index fa2a6787..ff6b6c65 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -1,32 +1,33 @@ - ModuleWithWarning

    Warning: This is an unstable interface. Prefer functions from Warning: This is an unstable interface. Prefer functions from Prelude instead!

    Documentation for Documentation for ModuleWithWarning.

    Documentation

    foo :: :: Int

    +> \ No newline at end of file diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 64e18711..50590660 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -1,32 +1,33 @@ - NamedDoc
    +> \ No newline at end of file diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 7bba5148..37266c5d 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -1,32 +1,33 @@ - Nesting
    Synopsis

    • d :: t
    • e :: t
    • f :: t
    • g :: t
    • h :: t
    • i :: t
    • j :: t
    • k :: t
    Documentation

    d :: t

    e :: t

    f :: t

    g :: t

    h :: t

    i :: t

    j :: t

    k :: t

    +> \ No newline at end of file diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 8b47eab8..23017d56 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -1,32 +1,33 @@ - NoLayout
    Synopsis

    Documentation

    g :: :: Int

    the function g

    +> \ No newline at end of file diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index c22c8ea9..9530b46b 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -1,32 +1,33 @@ - NonGreedy
    Synopsis

    • f :: a
    Documentation

    f :: a

    url1 url2

    +> \ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 6ac8ae38..e22147d6 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -1,32 +1,33 @@ - Operators
    Synopsis

    Documentation

    (+-) :: a -> a -> a

    (*/) :: a -> a -> a infixr 7

    foo :: a -> a -> a infixl 3

    data Foo

    Methods

    aClass :: :: AType -> -> Int

    +> \ No newline at end of file diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 69ba33f8..871fe6c0 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -1,32 +1,33 @@ -OrphanInstancesClass

    class AClass a where

    Minimal complete definition

    aClass

    Methods

    aClass :: a -> :: a -> Int

    +> \ No newline at end of file diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index 2652db73..0fc47009 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -1,32 +1,33 @@ -OrphanInstancesType

    data AType

    Foo `Bar` Foo infixl 3
    Foo :- Foo infixr 5

    pattern (:+) :: t -> t -> [t] :: forall t. t -> t -> [t] infixr 3

    data a a <-> b where
    (:<->) :: a -> b -> a :: a -> b -> a <-> b infixr 6 

    type family a a ++ b infix 3

    data family a a ** b infix 9

    class a a ><> b b | a -> b where infixr 1

    Class with fixity, including associated types

    Minimal complete definition

    (>><), (<<>), (**>), (**<), (>**), (<**)

    Associated Types

    type a a <>< b :: * b :: * infixl 2

    data a a ><< b infixl 3

    Methods

    (>><), , (<<>) :: a -> b -> () infixl 5 <<>

    (**>), , (**<), , (>**), , (<**) :: a -> a -> () infixr 8 **>, >**

    type (>-<) a b = a a b = a <-> b infixl 6

    +> \ No newline at end of file diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index 0f12bb2e..0ece21f5 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -1,32 +1,33 @@ - OrphanInstances
    AType Int 
    +> \ No newline at end of file diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 6fe8fff0..9347dfb8 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -1,32 +1,33 @@ - PatternSyns
  • data FooType x = x = FooCtor x
  • pattern Foo :: t -> :: forall t. t -> FooType t
  • pattern Bar :: t -> :: forall t. t -> FooType ( (FooType t)
  • pattern (:<->) :: t -> t -> ( :: forall t t. t -> t -> (FooType t, t, FooType ( (FooType t))
  • data a a >< b = b = Empty
  • pattern E :: :: forall k t t. (><) k t t

    • data FooType x

    FooCtor x 

    pattern Foo :: t -> :: forall t. t -> FooType t

    Pattern synonym for Foo x

    pattern Bar :: t -> :: forall t. t -> FooType ( (FooType t)

    Pattern synonym for Bar x

    pattern (:<->) :: t -> t -> ( :: forall t t. t -> t -> (FooType t, t, FooType ( (FooType t))

    Pattern synonym for (:<->)

    data a a >< b

    Doc for (><)

    Empty 

    pattern E :: :: forall k t t. (><) k t t

    Pattern for Empty

    +> \ No newline at end of file diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index db42f637..7567d2f5 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -1,32 +1,33 @@ - PromotedTypes

    data RevList a

    RNil 
    ((RevList a) a) :> a 

    data Pattern :: [*] -> * :: [*] -> * where

    Nil :: :: Pattern '[] 
    Cons :: :: Maybe h -> h -> Pattern t -> t -> Pattern (h ': t) 

    data RevPattern :: :: RevList * -> * * -> * where

    RevNil :: :: RevPattern RNil 
    RevCons :: :: Maybe h -> h -> RevPattern t -> t -> RevPattern (t (t :> h) 

    data Tuple :: (*, *) -> * :: (*, *) -> * where

    Tuple :: a -> b -> :: a -> b -> Tuple '(a, b) 
    +> \ No newline at end of file diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 5d2e58c0..e24d6265 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -1,32 +1,33 @@ - Properties
    Synopsis

    Documentation

    fib :: :: Integer -> -> Integer

    Fibonacci number of given Integer.

    +> \ No newline at end of file diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index bbf21f42..0ee2b104 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -1,32 +1,33 @@ - PruneWithWarning
    +> \ No newline at end of file diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 41129d59..45371eb9 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -1,32 +1,33 @@ - QuasiExpr
    		 

    Methods

    showsPrec :: :: Int -> -> Expr -> -> ShowS

    show :: :: Expr -> -> String

    showList :: [ :: [Expr] -> ] -> ShowS

    data BinOp

    AddOp 
    SubOp 
    MulOp 
    DivOp 
    Show BinOp    		 

    Methods

    showsPrec :: :: Int -> -> BinOp -> -> ShowS

    show :: :: BinOp -> -> String

    showList :: [ :: [BinOp] -> ] -> ShowS

    eval :: :: Expr -> -> Integer

    expr :: QuasiQuoter

    parseExprExp :: :: String -> Q Exp

    +> \ No newline at end of file diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 610f5edf..ad23b77d 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -1,32 +1,33 @@ - QuasiQuote
    Documentation

    val :: :: Integer

    +> \ No newline at end of file diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 1cae5ba1..243ab30b 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -1,32 +1,33 @@ - SpuriousSuperclassConstraints
    Due to a change in GHC 7.6.1 we had a bug that superclass contraints were included in the instances list. Edward K. repported it here:

    http://www.haskell.org/pipermail/haskell-cafe/2012-September/103600.html

    And here is the corresponding theard on glasgow-haskell-users:

    http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022914.html

    data SomeType f a

    Functor ( (SomeType f)
    		 

    Methods

    fmap :: (a -> b) -> :: (a -> b) -> SomeType f a -> f a -> SomeType f b

    (<$) :: a -> :: a -> SomeType f b -> f b -> SomeType f a

    Applicative f => f => Applicative ( (SomeType f)    		 

    Methods

    pure :: a -> :: a -> SomeType f a

    (<*>) :: :: SomeType f (a -> b) -> f (a -> b) -> SomeType f a -> f a -> SomeType f b

    (*>) :: :: SomeType f a -> f a -> SomeType f b -> f b -> SomeType f b

    (<*) :: :: SomeType f a -> f a -> SomeType f b -> f b -> SomeType f a

    +> \ No newline at end of file diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index e72c2189..f142479c 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -1,32 +1,33 @@ - TH
    Documentation

    decl :: Q [Dec]

    +> \ No newline at end of file diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index cf896bac..07b2c7d4 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -1,32 +1,33 @@ - TH2
    Documentation

    f :: t -> t

    +> \ No newline at end of file diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 8b82fe0b..6fb34801 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -1,32 +1,33 @@ - Test
    Contents

  • class E a
  • class F a where
  • a :: C a => IO a
  • f :: :: C a => a -> a => a -> Int
  • g :: :: Int -> -> IO CInt
  • hidden :: :: Int -> -> Int
  • module module Visible
  • data Ex a
  • k :: :: T () () -> () () -> T2 Int Int -> ( -> (T3 Bool Bool -> -> T4 Float Float) -> ) -> T5 () () -> () () -> IO ()
  • l :: ( :: (Int, , Int, , Float) -> ) -> Int
  • m :: :: R -> -> N1 () -> () -> IO Int
  • o :: :: Float -> -> IO Float
  • f' :: :: Int
  • withType :: :: Int
  • withoutType :: t
    • :: a

    data T a b

    A Int ( (Maybe Float)

    This comment describes the A constructor

    B ( (T a b, a b, T Int Float)

    This comment describes the B constructor

    data T2 a b

    data T3 a b

    A1 a 
    B1 b 

    data T4 a b

    A2 a 
    B2 b 

    data T5 a b

    A3 a

    documents A3

    B3 b

    documents B3

    data T6

    A4

    This is the doc for A4

    B4

    This is the doc for B4

    C4

    This is the doc for C4

    newtype N1 a

    N1 a 

    newtype N2 a b

    N2 
    • n :: a b
       

    newtype N3 a b

    N3 
    • n3 :: a b

      this is the n3 field

      data N4 a b

      newtype N5 a b

      N5 
      • n5 :: a b

        newtype N6 a b

        N6
        • n6 :: a b
           

        newtype N7 a b

        data Bar Y
        N7

        The N7 constructor

        • n7 :: a b
           

        data R

        This is the documentation for the R record, which has four fields, p, q, r, and s.

        C1

        This is the C1 record constructor, with the following fields:

        • p :: :: Int

          This comment applies to the p field

        • q :: forall

          This comment applies to the q field

        • r, , s :: :: Int

          This comment applies to both r and s

        C2

        This is the C2 record constructor, also with some fields:

        data R1

        type Foo W
        C3

        This is the C3 record constructor

        • s1 :: :: Int

          The s1 record selector

        • s2 :: :: Int

          The s2 record selector

        • s3 :: :: Int

          The s3 record selector

          class D a => a => C a whereThis comment applies to the previous declaration (the C class)

          Minimal complete definition

          a, b

          Methods

          a :: :: IO a

          this is a description of the a method

          b :: [a]

          this is a description of the b method

          class D a where

          This is a class declaration with no separate docs for the methods

          Minimal complete definition

          d, e

          Methods

          d :: :: T a b

          e :: (a, a)

          D Float
        		 

        Methods

        d :: :: T Float b

        e :: ( :: (Float, , Float)

        D Int        		 

        Methods

        d :: :: T Int b

        e :: ( :: (Int, , Int)

        class E a

        class F a where

        Minimal complete definition

        ff

        Methods

        ff :: a

        Test that we can export a class method on its own:

        a :: C a => IO a

        this is a description of the a method

        Function types

        f :: :: C a => a -> a => a -> Int

        In a comment string we can refer to identifiers in scope with single quotes like this: T, and we can refer to modules by -using double quotes: Foo. We can add emphasis like this

             This is a block of code, which can include other markup: R
@@ -1711,18 +1736,18 @@ using double quotes: 
        this is another block of code
        We can also include URLs in documentation: We can also include URLs in documentation: http://www.haskell.org/.

        g :: :: Int -> -> IO CInt

        Auxiliary stuff

        This is some documentation that is attached to a name ($aux1) - rather than a source declaration. The documentation may be - referred to in the export list using its name.

         code block in named doc
        This is some documentation that is attached to a name ($aux1)

        This is some documentation that is attached to a name ($aux2)

         code block on its own in named doc
         code block on its own in named doc (after newline)

        a nested, named doc comment

        foo
        bar

        This is some inline documentation in the export list

        A hidden module

        hidden :: :: Int -> -> Int

        A visible module

        module module Visible

        data Ex a

        forall b . C b => b => Ex1 b 
        forall b . Ex2 b 
        forall b . C a => a => Ex3 b 
        Ex4 (forall a. a -> a) 
        Type signatures with argument docs

        k

        :: :: T () ()

        This argument has type T

        -> -> T2 Int Int
        -> (-> (T3 Bool Bool -> -> T4 Float Float)
        -> -> T5 () ()
        -> -> IO ()

        l

        data Bat * * X
        :: (:: (Int, , Int, , Float)
        -> -> Int

        returns an Int

        m

        Test * * X

        type family Foo a :: k

        type Foo * * Y = = X
        :: :: R 
        -> -> N1 ()
        -> -> IO Int

        o

        data AssocD ( Y (a :: Y :: k)

        ) :: *

        type AssocT ( Y :: k) :: *

        (a :: Y) :: *

        Test * * Ydata Bar Ytype Foo * * Y = = X
        :: :: Float
        -> -> IO Float

        f' :: :: Int

        a function with a prime can be referred to as f' @@ -2156,9 +2163,9 @@ is at the beginning of the line).

        withType :: :: Int

        withoutType :: t

        :: a

        Comment on a definition without type signature

        +> \ No newline at end of file diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 1f54b9ea..7aacfb60 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -1,32 +1,33 @@ - Threaded
        Synopsis

        Documentation

        f :: :: Integer

        +> \ No newline at end of file diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html new file mode 100644 index 00000000..ca191bd6 --- /dev/null +++ b/html-test/ref/Threaded_TH.html @@ -0,0 +1,88 @@ +Threaded_TH
        Safe HaskellNone

        Threaded_TH

        Description

        Imported by Threaded, since a TH splice can't be used in the + module where it is defined.

        Synopsis

        Documentation

        forkTH :: Q Exp

        forkOS requires the threaded RTS, so this TH fails if haddock was + built without -threaded.

        \ No newline at end of file diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 4aefb488..42e9cf13 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -1,32 +1,33 @@ - Ticket112
        Synopsis

        • f :: a
        Documentation

        f :: a

        ...given a raw Addr# to the string, and the length of the string.

        +> \ No newline at end of file diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index aeb3c022..cb6ee3d7 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -1,32 +1,33 @@ - Ticket61

        class C a where

        Minimal complete definition

        f

        Methods

        f :: a

        +> \ No newline at end of file diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 169b0522..948453cf 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -1,32 +1,33 @@ - Ticket75
      • data a a :- b = b = Q
      • f :: :: Int

        • data a a :- b

        Q 

        f :: :: Int

        A reference to :-

        +> \ No newline at end of file diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 3aac9689..1b0cc539 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -1,32 +1,33 @@ - TitledPicture
        Synopsis

        Documentation

        foo :: :: Integer

        Picture for foo without a title

        bar :: :: Integer

        Picture for bar with title

        +> \ No newline at end of file diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 3295318f..a55a55ad 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -1,32 +1,33 @@ - TypeFamilies
      • data X
      • data Y
      • data Z
      • class Test a
      • type family Foo a :: k
      • data family Bat a :: *
        • a :: *
      • class Assoc a where
      • data AssocD a :: *
        • a :: *
      • type AssocT a :: *
        • a :: *
      • type family Bar b
      • type family a a <> b :: k
      • class a a >< b

        • data X

        X
        XX
        XXX
        (><) X XX XXX
        Assoc * * X

        Associated Types

        data AssocD ( X (a :: X :: k)

        ) :: *

        type AssocT ( X :: k) :: *

        (a :: X) :: *

        Test * * X
        (><) type Foo X XX XXX = Y 
        type Foo (<>) X XXX XX = X = Y

        External instance

        data AssocD * * X = = AssocX 
        type AssocT * * X = = Foo * * X 
        data Bat * * X

        Doc for: type instance Foo X = Y

        type (<>) * X a = X 
        type (<>) * X XXX XX = a = X 

        data Y

        Assoc * * Y
        		 
        data AssocD * * Y = = AssocY 
        type AssocT * * Y = = Bat * * Y 
        data Bat * * Y = = BatY Y

        Doc for: type instance Foo Y = X

        type (<>) * * Y a = a 

        data Z

        ZA 
        ZB 
        data Bat Z where

        class Test a

        Test * * Y

        Doc for: type instance Foo Y = X

        type Foo * * X = = Y

        Doc for: type instance Foo X = Y

        data family Bat a :: *

        a :: *

        Doc for: data family Bat a

        data Bat Z wheredata Bat * * Y = = BatY Y
        Bar X = = X 
        Bar y = y = Y 

        type family a a <> b :: k

        type (<>) * Y a = a X XXX XX = X
        		 
        type (<>) * X a = X * Y a = a 
        type (<>) * X XXX XX = a = X 

        class a a >< b

        (><) X XX XXX
        		 
        +> \ No newline at end of file diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 0c7e4ec6..dae60489 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -1,32 +1,33 @@ - TypeFamilies2
      • data W
      • type family Foo a
      • data family Bar a

        • data W

        data Bar W = = BarX Z

        Should be visible, but with a hidden right hand side

        type family Foo a

        type Foo W

        Should be visible, but with a hidden right hand side

        type Foo X = = Y

        External instance

        data family Bar a

        data Bar W = = BarX Z
        		 
        +> \ No newline at end of file diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 283083be..a6521437 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -1,32 +1,33 @@ - TypeOperators

        data a a :-: b

        data (a (a :+: b) c

        data Op a b

        newtype O g f a

        O 
        • unO :: g (f a)
           

        class a a <=> b

        biO :: (g :: (g `O` f) a

        f :: (a ~ b) => a -> b

        :: a ~ b => a -> b

        g :: (a ~ b, b ~ c) => a -> c

        x :: (a :: (a :-: a) a) <=> (a (a `Op` a) => a

        y :: (a :: (a <=> a, (a a, (a `Op` a) a) <=> a) => a

        +> \ No newline at end of file diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index d724ecd7..393973d5 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -1,32 +1,33 @@ - Unicode
        Synopsis

        Documentation

        x :: :: Int

        +> \ No newline at end of file diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 54a04e86..755eb9cd 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -1,32 +1,33 @@ - Visible
        Documentation

        visible :: :: Int -> -> Int

        +> \ No newline at end of file -- cgit v1.2.3