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 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/extensions/TypeOperators.hs (limited to 'tests/extensions/TypeOperators.hs') 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 } -- cgit v1.2.3