From 0f578158c1745bd98f940c2124c3463055a400b6 Mon Sep 17 00:00:00 2001 From: David Waern Date: Tue, 9 Oct 2007 16:14:05 +0000 Subject: Add a simple test suite --- tests/extensions/TypeOperators.hs | 22 ++ tests/extensions/TypeOperators.html.ref | 398 ++++++++++++++++++++++++++++++++ 2 files changed, 420 insertions(+) create mode 100644 tests/extensions/TypeOperators.hs create mode 100644 tests/extensions/TypeOperators.html.ref (limited to 'tests/extensions') diff --git a/tests/extensions/TypeOperators.hs b/tests/extensions/TypeOperators.hs new file mode 100644 index 00000000..aa0fbe8c --- /dev/null +++ b/tests/extensions/TypeOperators.hs @@ -0,0 +1,22 @@ +module TypeOperators ( + -- * stuff + (:-:), + (:+:), + Op, + O(..), + biO, + Flip(..) +) where + +data a :-: b + +data (a :+: b) c + +data a `Op` b + +newtype (g `O` f) a = O { unO :: g (f a) } + +biO :: (g `O` f) a +biO = undefined + +newtype Flip (~>) b a = Flip { unFlip :: a ~> b } diff --git a/tests/extensions/TypeOperators.html.ref b/tests/extensions/TypeOperators.html.ref new file mode 100644 index 00000000..7928c244 --- /dev/null +++ b/tests/extensions/TypeOperators.html.ref @@ -0,0 +1,398 @@ + + +TypeOperators
ContentsIndex
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
O
unO :: g (f a)
biO :: (g `O` f) a
newtype Flip (~>) b a
Constructors
Flip
unFlip :: a ~> b
Produced by Haddock version 2.0
-- cgit v1.2.3