diff options
Diffstat (limited to 'html-test/ref/TypeOperators.html')
| -rw-r--r-- | html-test/ref/TypeOperators.html | 64 |
1 files changed, 42 insertions, 22 deletions
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index a6521437..f6da47b1 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -49,40 +49,48 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm ><p class="src" ><span class="keyword" >data</span - > a <a href="#" id="t::-45-:" class="def" + > a <a id="t::-45-:" class="def" >:-:</a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" ><span class="keyword" >data</span - > (a <a href="#" id="t::-43-:" class="def" + > (a <a id="t::-43-:" class="def" >:+:</a - > b) c</p + > b) c <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Op" class="def" + > <a id="t:Op" class="def" >Op</a - > a b</p + > a b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" ><span class="keyword" >newtype</span - > <a href="#" id="t:O" class="def" + > <a id="t:O" class="def" >O</a - > g f a</p + > g f a <a href="#" class="selflink" + >#</a + ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" - ><a href="#" id="v:O" class="def" + ><a id="v:O" class="def" >O</a ></td ><td class="doc empty" @@ -96,7 +104,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm ><ul ><li ><dfn class="src" - ><a href="#" id="v:unO" class="def" + ><a id="v:unO" class="def" >unO</a > :: g (f a)</dfn ><div class="doc empty" @@ -113,33 +121,41 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm ><p class="src" ><span class="keyword" >class</span - > a <a href="#" id="t:-60--61--62-" class="def" + > a <a id="t:-60--61--62-" class="def" ><=></a - > b</p + > b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:biO" class="def" + ><a id="v:biO" class="def" >biO</a > :: (g <a href="#" >`O`</a - > f) a</p + > f) a <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:f" class="def" + ><a id="v:f" class="def" >f</a - > :: a ~ b => a -> b</p + > :: a ~ b => a -> b <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:g" class="def" + ><a id="v:g" class="def" >g</a - > :: (a ~ b, b ~ c) => a -> c</p + > :: (a ~ b, b ~ c) => a -> c <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:x" class="def" + ><a id="v:x" class="def" >x</a > :: (a <a href="#" >:-:</a @@ -147,11 +163,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm ><=></a > (a <a href="#" >`Op`</a - > a) => a</p + > a) => a <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:y" class="def" + ><a id="v:y" class="def" >y</a > :: (a <a href="#" ><=></a @@ -159,7 +177,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.htm >`Op`</a > a) <a href="#" ><=></a - > a) => a</p + > a) => a <a href="#" class="selflink" + >#</a + ></p ></div ></div ></div |