Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > 806fb379d914c5e8502232a5ad1e7431 > files > 10

ghc-Boolean-devel-0.0.1-1.fc14.i686.rpm

<!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
>Data.Boolean</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_Data-Boolean.html")};</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"
>Boolean-0.0.1: Generalized booleans</TD
><TD CLASS="topbut"
><A HREF="src/Data-Boolean.html"
>Source code</A
></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"
>Data.Boolean</FONT
></TD
><TD ALIGN="right"
><TABLE CLASS="narrow" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="infohead"
>Stability</TD
><TD CLASS="infoval"
>experimental</TD
></TR
><TR
><TD CLASS="infohead"
>Maintainer</TD
><TD CLASS="infoval"
>conal@conal.net</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
><P
>Some classes for generalized boolean operations.
</P
><P
>In this design, for if-then-else, equality and inequality tests, the
 boolean type depends functionally on the value type.  This dependency
 allows the boolean type to be inferred in a conditional expression.
</P
><P
>I also tried using a unary type constructor class.  The class doesn't work
 for regular booleans, so generality is lost.  Also, we'd probably have
 to wire class constraints in like: <TT
>(==*) :: Eq a =&gt; f Bool -&gt; f a -&gt; f
 a -&gt; f a</TT
>, which disallows situations needing additional constraints,
 e.g., Show.
</P
></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"
>class</SPAN
>  <A HREF="#t%3ABoolean"
>Boolean</A
> b  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3Atrue"
>true</A
> :: b</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Afalse"
>false</A
> :: b</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnotB"
>notB</A
> :: b -&gt; b</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%26%26%2A"
>(&amp;&amp;*)</A
> :: b -&gt; b -&gt; b</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%7C%7C%2A"
>(||*)</A
> :: b -&gt; b -&gt; b</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A HREF="#t%3AIfB"
>IfB</A
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3AifB"
>ifB</A
> :: bool -&gt; a -&gt; a -&gt; a</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aboolean"
>boolean</A
> :: <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a =&gt; a -&gt; a -&gt; bool -&gt; a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Acond"
>cond</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Applicative.html#t%3AApplicative"
>Applicative</A
> f, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a) =&gt; f bool -&gt; f a -&gt; f a -&gt; f a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Acrop"
>crop</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Applicative.html#t%3AApplicative"
>Applicative</A
> f, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Monoid.html#t%3AMonoid"
>Monoid</A
> (f a), <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a) =&gt; f bool -&gt; f a -&gt; f a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A HREF="#t%3AEqB"
>EqB</A
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3D%3D%2A"
>(==*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%2F%3D%2A"
>(/=*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A HREF="#t%3AOrdB"
>OrdB</A
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3C%2A"
>(&lt;*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3E%3D%2A"
>(&gt;=*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3E%2A"
>(&gt;*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3C%3D%2A"
>(&lt;=*)</A
> :: a -&gt; a -&gt; bool</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AminB"
>minB</A
> :: (<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a, <A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> bool a) =&gt; a -&gt; a -&gt; a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmaxB"
>maxB</A
> :: (<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a, <A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> bool a) =&gt; a -&gt; a -&gt; a</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>class</SPAN
>  <A NAME="t:Boolean"
><A NAME="t%3ABoolean"
></A
></A
><B
>Boolean</B
> b  <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#Boolean"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Generalized boolean class
</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:true"
><A NAME="v%3Atrue"
></A
></A
><B
>true</B
> :: b</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#true"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:false"
><A NAME="v%3Afalse"
></A
></A
><B
>false</B
> :: b</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#false"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:notB"
><A NAME="v%3AnotB"
></A
></A
><B
>notB</B
> :: b -&gt; b</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#notB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:&&*"
><A NAME="v%3A%26%26%2A"
></A
></A
><B
>(&amp;&amp;*)</B
> :: b -&gt; b -&gt; b</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%26%26%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:||*"
><A NAME="v%3A%7C%7C%2A"
></A
></A
><B
>(||*)</B
> :: b -&gt; b -&gt; b</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%7C%7C%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Boolean')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Boolean" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> (z -&gt; bool)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A NAME="t:IfB"
><A NAME="t%3AIfB"
></A
></A
><B
>IfB</B
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#IfB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Types with conditionals
</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:ifB"
><A NAME="v%3AifB"
></A
></A
><B
>ifB</B
> :: bool -&gt; a -&gt; a -&gt; a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#ifB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:IfB')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:IfB" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Prelude.html#t%3AFloat"
>Float</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool p, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool q) =&gt; <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool (p, q)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool p, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool q, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool r) =&gt; <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool (p, q, r)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool p, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool q, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool r, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool s) =&gt; <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool (p, q, r, s)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a =&gt; <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> (z -&gt; bool) (z -&gt; a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:boolean"
><A NAME="v%3Aboolean"
></A
></A
><B
>boolean</B
> :: <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a =&gt; a -&gt; a -&gt; bool -&gt; a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#boolean"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Expression-lifted conditional with condition last
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:cond"
><A NAME="v%3Acond"
></A
></A
><B
>cond</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Applicative.html#t%3AApplicative"
>Applicative</A
> f, <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a) =&gt; f bool -&gt; f a -&gt; f a -&gt; f a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#cond"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Point-wise conditional
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:crop"
><A NAME="v%3Acrop"
></A
></A
><B
>crop</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Applicative.html#t%3AApplicative"
>Applicative</A
> f, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Monoid.html#t%3AMonoid"
>Monoid</A
> (f a), <A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a) =&gt; f bool -&gt; f a -&gt; f a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#crop"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Crop a function, filling in <TT
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Monoid.html#v%3Amempty"
>mempty</A
></TT
> where the test yeis false.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A NAME="t:EqB"
><A NAME="t%3AEqB"
></A
></A
><B
>EqB</B
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#EqB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Types with equality.  Minimum definition: '(==*)'.
</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:==*"
><A NAME="v%3A%3D%3D%2A"
></A
></A
><B
>(==*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%3D%3D%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:/=*"
><A NAME="v%3A%2F%3D%2A"
></A
></A
><B
>(/=*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%2F%3D%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:EqB')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:EqB" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AEqB"
>EqB</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Prelude.html#t%3AFloat"
>Float</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AEqB"
>EqB</A
> bool a =&gt; <A HREF="Data-Boolean.html#t%3AEqB"
>EqB</A
> (z -&gt; bool) (z -&gt; a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="Data-Boolean.html#t%3ABoolean"
>Boolean</A
> bool =&gt; <A NAME="t:OrdB"
><A NAME="t%3AOrdB"
></A
></A
><B
>OrdB</B
> bool a | a -&gt; bool <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#OrdB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Types with inequality.  Minimum definition: '(&lt;*)'.
</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:<*"
><A NAME="v%3A%3C%2A"
></A
></A
><B
>(&lt;*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%3C%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:>=*"
><A NAME="v%3A%3E%3D%2A"
></A
></A
><B
>(&gt;=*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%3E%3D%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:>*"
><A NAME="v%3A%3E%2A"
></A
></A
><B
>(&gt;*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%3E%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:<=*"
><A NAME="v%3A%3C%3D%2A"
></A
></A
><B
>(&lt;=*)</B
> :: a -&gt; a -&gt; bool</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#%3C%3D%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:OrdB')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:OrdB" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Prelude.html#t%3AFloat"
>Float</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> bool a =&gt; <A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> (z -&gt; bool) (z -&gt; a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:minB"
><A NAME="v%3AminB"
></A
></A
><B
>minB</B
> :: (<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a, <A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> bool a) =&gt; a -&gt; a -&gt; a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#minB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Variant of <TT
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#v%3Amin"
>min</A
></TT
> using <TT
><A HREF="Data-Boolean.html#v%3AifB"
>ifB</A
></TT
> and '(&lt;=*)'
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:maxB"
><A NAME="v%3AmaxB"
></A
></A
><B
>maxB</B
> :: (<A HREF="Data-Boolean.html#t%3AIfB"
>IfB</A
> bool a, <A HREF="Data-Boolean.html#t%3AOrdB"
>OrdB</A
> bool a) =&gt; a -&gt; a -&gt; a</TD
><TD CLASS="declbut"
><A HREF="src/Data-Boolean.html#maxB"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Variant of <TT
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#v%3Amax"
>max</A
></TT
> using <TT
><A HREF="Data-Boolean.html#v%3AifB"
>ifB</A
></TT
> and '(&gt;=*)'
</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.6.1</TD
></TR
></TABLE
></BODY
></HTML
>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional