From ce568c3afb00610d659d3c2bab022983d252f1cd Mon Sep 17 00:00:00 2001 From: Simon Jakobi Date: Wed, 13 Jun 2018 23:49:52 +0200 Subject: html-test: Accept output --- html-test/ref/Bug548.html | 256 +++++++++------------------------------------- 1 file changed, 46 insertions(+), 210 deletions(-) (limited to 'html-test/ref/Bug548.html') 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 WrappedArrow (a :: * -> * -> *) b c (a :: * -> * -> *) b c #

Generic1 ( Generic1 (WrappedArrow a b :: * -> *) a b :: * -> *)

type Rep1 (WrappedArrow a b) :: k -> * #

Rep1 (WrappedArrow a b) :: k -> *

from1 :: WrappedArrow a b a0 -> Rep1 ( a b a0 -> Rep1 (WrappedArrow a b) a0 #

a b) a0

to1 :: Rep1 ( :: Rep1 (WrappedArrow a b) a0 -> WrappedArrow a b a0 #

a b a0

Arrow a => Functor ( Arrow a => Functor (WrappedArrow a b)

Since: base-2.1

WrappedArrow a b a0 -> WrappedArrow a b b0 #

a b b0

(<$)WrappedArrow a b b0 -> WrappedArrow a b a0 #

a b a0

Arrow a => Applicative ( Arrow a => Applicative (WrappedArrow a b)

Since: base-2.1

pure :: a0 -> WrappedArrow a b a0 #

a b a0

(<*>)WrappedArrow a b a0 -> WrappedArrow a b b0 #

a b b0

liftA2WrappedArrow a b b0 -> WrappedArrow a b c #

a b c

(*>)WrappedArrow a b b0 -> WrappedArrow a b b0 #

a b b0

(<*)WrappedArrow a b b0 -> WrappedArrow a b a0 #

a b a0

(ArrowZero a, ArrowPlus a) => Alternative ( (ArrowZero a, ArrowPlus a) => Alternative (WrappedArrow a b)

Since: base-2.1

empty :: WrappedArrow a b a0 #

a b a0

(<|>)WrappedArrow a b a0 -> WrappedArrow a b a0 #

a b a0

someWrappedArrow a b a0 -> WrappedArrow a b [a0] #

a b [a0]

manyWrappedArrow a b a0 -> WrappedArrow a b [a0] #

a b [a0]

Generic ( Generic (WrappedArrow a b c)

type Rep (WrappedArrow a b c) :: * -> * #

Rep (WrappedArrow a b c) :: * -> *

from :: WrappedArrow a b c -> Rep ( a b c -> Rep (WrappedArrow a b c) x #

a b c) x

to :: Rep ( :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c #

a b c

type Rep1 ( Rep1 (WrappedArrow a b :: * -> *) a b :: * -> *)
type Rep1 ( Rep1 (WrappedArrow a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b))))
a b :: * -> *) = D1 (MetaData "WrappedArrow" "Control.Applicative" "base" True) (C1 (MetaCons "WrapArrow" PrefixI True) (S1 (MetaSel (Just "unwrapArrow") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (a b)))) type Rep ( Rep (WrappedArrow a b c)
type Rep ( Rep (WrappedArrow 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))))
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)))) +> \ No newline at end of file -- cgit v1.2.3