blob: 721260c68de831c5ee0a50f6e01b457ec0d2d1af (
plain) (
tree)
|
|
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
/><title
>Minimal</title
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");};
//
</script
></head
><body
><div id="package-header"
><ul class="links" id="page-menu"
><li
><a href="#"
>Contents</a
></li
><li
><a href="#"
>Index</a
></li
></ul
><p class="caption empty"
></p
></div
><div id="content"
><div id="module-header"
><table class="info"
><tr
><th
>Safe Haskell</th
><td
>Safe</td
></tr
></table
><p class="caption"
>Minimal</p
></div
><div id="description"
><p class="caption"
>Description</p
><div class="doc"
><p
>This tests the new MINIMAL pragma present in GHC 7.8</p
></div
></div
><div id="interface"
><h1
>Documentation</h1
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:Foo" class="def"
>Foo</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
><a href="#"
>foo</a
>, <a href="#"
>bar</a
> | <a href="#"
>bar</a
>, <a href="#"
>bat</a
> | <a href="#"
>foo</a
>, <a href="#"
>bat</a
> | <a href="#"
>fooBarBat</a
></p
></div
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:foo" class="def"
>foo</a
> :: a <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>Any two of these are required...</p
></div
><p class="src"
><a id="v:bar" class="def"
>bar</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:bat" class="def"
>bat</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:fooBarBat" class="def"
>fooBarBat</a
> :: (a, a, a) <a href="#" class="selflink"
>#</a
></p
><div class="doc"
><p
>.. or just this</p
></div
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:Weird" class="def"
>Weird</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
><a href="#"
>a</a
>, <a href="#"
>b</a
>, <a href="#"
>c</a
> | <a href="#"
>d</a
> | <a href="#"
>e</a
>, (<a href="#"
>f</a
> | <a href="#"
>g</a
>)</p
></div
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:a" class="def"
>a</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:b" class="def"
>b</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:c" class="def"
>c</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:d" class="def"
>d</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:e" class="def"
>e</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:f" class="def"
>f</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:g" class="def"
>g</a
> :: a <a href="#" class="selflink"
>#</a
></p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:NoMins" class="def"
>NoMins</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
><a href="#"
>x</a
>, <a href="#"
>y</a
></p
></div
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:x" class="def"
>x</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:y" class="def"
>y</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:z" class="def"
>z</a
> :: a <a href="#" class="selflink"
>#</a
></p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:FullMin" class="def"
>FullMin</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
><a href="#"
>aaa</a
>, <a href="#"
>bbb</a
></p
></div
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:aaa" class="def"
>aaa</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:bbb" class="def"
>bbb</a
> :: a <a href="#" class="selflink"
>#</a
></p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:PartialMin" class="def"
>PartialMin</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs minimal"
><p class="caption"
>Minimal complete definition</p
><p class="src"
><a href="#"
>ccc</a
>, ddd</p
></div
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:ccc" class="def"
>ccc</a
> :: a <a href="#" class="selflink"
>#</a
></p
></div
></div
><div class="top"
><p class="src"
><span class="keyword"
>class</span
> <a id="t:EmptyMin" class="def"
>EmptyMin</a
> a <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
></p
><div class="subs methods"
><p class="caption"
>Methods</p
><p class="src"
><a id="v:eee" class="def"
>eee</a
> :: a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:fff" class="def"
>fff</a
> :: a <a href="#" class="selflink"
>#</a
></p
></div
></div
></div
></div
><div id="footer"
></div
></body
></html
>
|