TypeOperators

From 33ab68b67ce865cd6447b41eda6d64ed0f65e8d9 Mon Sep 17 00:00:00 2001 From: David Waern Date: Sat, 12 Apr 2008 18:57:23 +0000 Subject: Simplify test suite and add tests I move all tests into one single directory to simplify things, and add a test for the last bug that was fixed. --- tests/output/TypeOperators.html | 380 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 380 insertions(+) create mode 100644 tests/output/TypeOperators.html (limited to 'tests/output/TypeOperators.html') diff --git a/tests/output/TypeOperators.html b/tests/output/TypeOperators.html new file mode 100644 index 00000000..9c0149dd --- /dev/null +++ b/tests/output/TypeOperators.html @@ -0,0 +1,380 @@ + + +TypeOperators

TypeOperators

Contents

stuff +

Synopsis

data a :-: b

data (a :+: b) c

data Op a b

newtype O g f a = O {

unO :: g (f a)

}

biO :: (g `O` f) a

newtype Flip (~>) b a = Flip {

unFlip :: a ~> b

}

stuff +

data a :-: b

data (a :+: b) c

data Op a b

newtype O g f a

Constructors

unO :: g (f a)

biO :: (g `O` f) a

newtype Flip (~>) b a

Constructors

Flip

unFlip :: a ~> b

Produced by Haddock version 2.1.0

-- cgit v1.2.3