diff options
Diffstat (limited to 'tests/extensions')
-rw-r--r-- | tests/extensions/TypeOperators.hs | 22 | ||||
-rw-r--r-- | tests/extensions/TypeOperators.html.ref | 380 |
2 files changed, 0 insertions, 402 deletions
diff --git a/tests/extensions/TypeOperators.hs b/tests/extensions/TypeOperators.hs deleted file mode 100644 index aa0fbe8c..00000000 --- a/tests/extensions/TypeOperators.hs +++ /dev/null @@ -1,22 +0,0 @@ -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 deleted file mode 100644 index 1094536f..00000000 --- a/tests/extensions/TypeOperators.html.ref +++ /dev/null @@ -1,380 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> -<!--Rendered using the Haskell Html Library v0.2--> -<HTML -><HEAD -><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" -><TITLE ->TypeOperators</TITLE -><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" -><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" -></SCRIPT -></HEAD -><BODY -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="topbar" -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD -><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " -></TD -><TD CLASS="title" -></TD -><TD CLASS="topbut" -><A HREF="index.html" ->Contents</A -></TD -><TD CLASS="topbut" -><A HREF="doc-index.html" ->Index</A -></TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="modulebar" -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD -><FONT SIZE="6" ->TypeOperators</FONT -></TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="section4" -><B ->Contents</B -></TD -></TR -><TR -><TD -><DL -><DT -><A HREF="#1" ->stuff -</A -></DT -></DL -></TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="section1" ->Synopsis</TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="body" -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> a <A HREF="#t%3A%3A-%3A" ->:-:</A -> b</TD -></TR -><TR -><TD CLASS="s8" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> (a <A HREF="#t%3A%3A%2B%3A" ->:+:</A -> b) c</TD -></TR -><TR -><TD CLASS="s8" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> <A HREF="#t%3AOp" ->Op</A -> a b</TD -></TR -><TR -><TD CLASS="s8" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->newtype</SPAN -> <A HREF="#t%3AO" ->O</A -> g f a = <A HREF="#v%3AO" ->O</A -> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="recfield" -><A HREF="#v%3AunO" ->unO</A -> :: g (f a)</TD -></TR -></TABLE ->}</TD -></TR -><TR -><TD CLASS="s8" -></TD -></TR -><TR -><TD CLASS="decl" -><A HREF="#v%3AbiO" ->biO</A -> :: (g `<A HREF="TypeOperators.html#t%3AO" ->O</A ->` f) a</TD -></TR -><TR -><TD CLASS="s8" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->newtype</SPAN -> <A HREF="#t%3AFlip" ->Flip</A -> (~>) b a = <A HREF="#v%3AFlip" ->Flip</A -> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="recfield" -><A HREF="#v%3AunFlip" ->unFlip</A -> :: a ~> b</TD -></TR -></TABLE ->}</TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="section1" -><A NAME="1" ->stuff -</A -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> a <A NAME="t%3A%3A-%3A" -></A -><B ->:-:</B -> b </TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> (a <A NAME="t%3A%3A%2B%3A" -></A -><B ->:+:</B -> b) c </TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->data</SPAN -> <A NAME="t%3AOp" -></A -><B ->Op</B -> a b </TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->newtype</SPAN -> <A NAME="t%3AO" -></A -><B ->O</B -> g f a </TD -></TR -><TR -><TD CLASS="body" -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="section4" ->Constructors</TD -></TR -><TR -><TD CLASS="body" -><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" -><TR -><TD CLASS="arg" -><A NAME="v%3AO" -></A -><B ->O</B -></TD -><TD CLASS="rdoc" -></TD -></TR -><TR -><TD CLASS="body" COLSPAN="2" -><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" -><TR -><TD CLASS="arg" -><A NAME="v%3AunO" -></A -><B ->unO</B -> :: g (f a)</TD -><TD CLASS="rdoc" -></TD -></TR -></TABLE -></TD -></TR -></TABLE -></TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><A NAME="v%3AbiO" -></A -><B ->biO</B -> :: (g `<A HREF="TypeOperators.html#t%3AO" ->O</A ->` f) a</TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="decl" -><SPAN CLASS="keyword" ->newtype</SPAN -> <A NAME="t%3AFlip" -></A -><B ->Flip</B -> (~>) b a </TD -></TR -><TR -><TD CLASS="body" -><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" -><TR -><TD CLASS="section4" ->Constructors</TD -></TR -><TR -><TD CLASS="body" -><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" -><TR -><TD CLASS="arg" -><A NAME="v%3AFlip" -></A -><B ->Flip</B -></TD -><TD CLASS="rdoc" -></TD -></TR -><TR -><TD CLASS="body" COLSPAN="2" -><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" -><TR -><TD CLASS="arg" -><A NAME="v%3AunFlip" -></A -><B ->unFlip</B -> :: a ~> b</TD -><TD CLASS="rdoc" -></TD -></TR -></TABLE -></TD -></TR -></TABLE -></TD -></TR -></TABLE -></TD -></TR -><TR -><TD CLASS="s15" -></TD -></TR -><TR -><TD CLASS="botbar" ->Produced by <A HREF="http://www.haskell.org/haddock/" ->Haddock</A -> version 2.0.0.0</TD -></TR -></TABLE -></BODY -></HTML -> |