From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/TypeOperators.html | 69 +++++++++++++++++++--------------------- 1 file changed, 33 insertions(+), 36 deletions(-) (limited to 'html-test/ref/TypeOperators.html') diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 283083be..a6521437 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -1,32 +1,33 @@ - TypeOperators

 

data a a :-: b

data (a (a :+: b) c

data Op a b

newtype O g f a

O 
  • unO :: g (f a)
     

class a a <=> b

biO :: (g :: (g `O` f) a

f :: (a ~ b) => a -> b

:: a ~ b => a -> b

g :: (a ~ b, b ~ c) => a -> c

x :: (a :: (a :-: a) a) <=> (a (a `Op` a) => a

y :: (a :: (a <=> a, (a a, (a `Op` a) a) <=> a) => a

+> \ No newline at end of file -- cgit v1.2.3