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/Instances.html | 1708 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1708 insertions(+) create mode 100644 html-test/ref/Instances.html (limited to 'html-test/ref/Instances.html') 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 -- cgit v1.2.3 From 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 Mon Sep 17 00:00:00 2001 From: Phil Ruffwind Date: Wed, 30 Sep 2015 03:22:14 -0400 Subject: Update tests for previous commit --- html-test/ref/A.html | 24 +- html-test/ref/B.html | 14 +- html-test/ref/Bold.html | 6 +- html-test/ref/Bug1.html | 6 +- html-test/ref/Bug195.html | 22 +- html-test/ref/Bug2.html | 4 +- html-test/ref/Bug201.html | 12 +- html-test/ref/Bug253.html | 6 +- html-test/ref/Bug26.html | 28 +- html-test/ref/Bug294.html | 32 +- html-test/ref/Bug298.html | 30 +- html-test/ref/Bug3.html | 4 +- html-test/ref/Bug308.html | 18 +- html-test/ref/Bug308CrossModule.html | 6 +- html-test/ref/Bug310.html | 4 +- html-test/ref/Bug313.html | 12 +- html-test/ref/Bug335.html | 12 +- html-test/ref/Bug387.html | 12 +- html-test/ref/Bug4.html | 4 +- html-test/ref/Bug6.html | 36 +- html-test/ref/Bug7.html | 16 +- html-test/ref/Bug8.html | 34 +- html-test/ref/Bug85.html | 18 +- html-test/ref/BugDeprecated.html | 24 +- html-test/ref/BugExportHeadings.html | 24 +- html-test/ref/Bugs.html | 8 +- html-test/ref/DeprecatedClass.html | 20 +- html-test/ref/DeprecatedData.html | 16 +- html-test/ref/DeprecatedFunction.html | 8 +- html-test/ref/DeprecatedFunction2.html | 4 +- html-test/ref/DeprecatedFunction3.html | 4 +- html-test/ref/DeprecatedModule.html | 4 +- html-test/ref/DeprecatedModule2.html | 4 +- html-test/ref/DeprecatedNewtype.html | 12 +- html-test/ref/DeprecatedReExport.html | 4 +- html-test/ref/DeprecatedRecord.html | 10 +- html-test/ref/DeprecatedTypeFamily.html | 8 +- html-test/ref/DeprecatedTypeSynonym.html | 8 +- html-test/ref/Examples.html | 4 +- html-test/ref/Extensions.html | 6 +- html-test/ref/FunArgs.html | 20 +- html-test/ref/GADTRecords.html | 16 +- html-test/ref/Hash.html | 44 ++- html-test/ref/HiddenInstances.html | 32 +- html-test/ref/HiddenInstancesB.html | 14 +- html-test/ref/Hyperlinks.html | 4 +- html-test/ref/IgnoreExports.html | 8 +- html-test/ref/ImplicitParams.html | 22 +- html-test/ref/Instances.html | 434 +++++++++++++++++------ html-test/ref/Math.html | 4 +- html-test/ref/Minimal.html | 138 ++++--- html-test/ref/ModuleWithWarning.html | 4 +- html-test/ref/Nesting.html | 48 ++- html-test/ref/NoLayout.html | 4 +- html-test/ref/NonGreedy.html | 6 +- html-test/ref/Operators.html | 72 ++-- html-test/ref/OrphanInstances.html | 4 + html-test/ref/OrphanInstancesClass.html | 8 +- html-test/ref/OrphanInstancesType.html | 6 +- html-test/ref/PatternSyns.html | 40 ++- html-test/ref/PromotedTypes.html | 32 +- html-test/ref/Properties.html | 4 +- html-test/ref/QuasiExpr.html | 56 ++- html-test/ref/QuasiQuote.html | 4 +- html-test/ref/SpuriousSuperclassConstraints.html | 34 +- html-test/ref/TH.html | 6 +- html-test/ref/TH2.html | 6 +- html-test/ref/Test.html | 286 +++++++++------ html-test/ref/Threaded.html | 4 +- html-test/ref/Threaded_TH.html | 6 +- html-test/ref/Ticket112.html | 6 +- html-test/ref/Ticket61.html | 10 +- html-test/ref/Ticket75.html | 12 +- html-test/ref/TitledPicture.html | 8 +- html-test/ref/TypeFamilies.html | 182 ++++++++-- html-test/ref/TypeFamilies2.html | 32 +- html-test/ref/TypeOperators.html | 64 ++-- html-test/ref/Unicode.html | 4 +- html-test/ref/Visible.html | 4 +- html-test/ref/ocean.css | 15 +- 80 files changed, 1586 insertions(+), 645 deletions(-) (limited to 'html-test/ref/Instances.html') diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 73534dc7..b58845e5 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -89,8 +89,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");}; >

data A #

A

other :: Int #

test2 :: Bool #

data X #

X

reExport :: Int #

test :: Int #

reExport :: Int #

data X #

XDocumentation

foo :: a

:: a #

Some

data T #

T

data T #

data A #

DP A = = ProblemCtor' A #

data TP A = = ProblemCtorA#

problemField :: TO A -> A #

problemField' :: DO A -> A #

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

data family DP t :: * #

DP A = = ProblemCtor' A #

Documentation

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

:: (a -> a) -> a -> a #

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

:: a -> a -> a #

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

:: a -> a -> a #

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

:: a -> a -> a #

f :: ()

:: () #

Links to Documentation

foo :: Int #

Documentation

f :: ()

:: () #

startstart followed by middle followed by middle and end and end

g :: ()

:: () #

start Documentation

h :: ()

:: () #

start

type family a a + b :: Natinfixl 6 #

Documentation

a :: a

:: a #

Some text.

b :: a

:: a #

Some text.

Documentation

f :: ()

:: () #

ExF:

g :: ()

:: () #

ExG:

Section1Section1

test1 :: Int #

Section2Section2

test2 :: Int #

Documentation

foo :: Int #

data A #

A
B
C
  • someField :: ()
  • someOtherField :: ()
    Documentation

    x :: A #

    Documentation

    f :: ()

    :: () #

    This leading whitespace
@@ -73,9 +75,11 @@ should be dropped
 	  >

    g :: ()

    :: () #

     But this one
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 2d78880b..36640332 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -73,9 +73,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug253.html"
 	>Documentation
    foo :: ()
     :: () #
    This link should generate Documentation
    f :: ()
     :: () #
    Foo
    g :: ()
     :: () #
    Bar
    class  C a where #
    Methods
    c_f :: a
     :: a #
     C () #

c_f :: ()

:: () #
A Int

data B #

B