<!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 >Lava.Property</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_Lava-Property.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" >chalmers-lava2000-1.1.1: Hardware description library</TD ><TD CLASS="topbut" ><A HREF="src/Lava-Property.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" >Lava.Property</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></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" >data</SPAN > <A NAME="t:Gen" ><A NAME="t%3AGen" ></A ></A ><B >Gen</B > a </TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#Gen" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Gen')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Gen" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > <A HREF="Lava-Property.html#t%3AGen" >Gen</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Monad.html#t%3AFunctor" >Functor</A > <A HREF="Lava-Property.html#t%3AGen" >Gen</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > a => <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > (<A HREF="Lava-Property.html#t%3AGen" >Gen</A > 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:generate" ><A NAME="v%3Agenerate" ></A ></A ><B >generate</B > :: <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > a</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#generate" >Source</A ></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 NAME="t:ChoiceWithSig" ><A NAME="t%3AChoiceWithSig" ></A ></A ><B >ChoiceWithSig</B > a </TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#ChoiceWithSig" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:ChoiceWithSig')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:ChoiceWithSig" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AChoiceWithSig" >ChoiceWithSig</A > <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</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 NAME="t:Fresh" ><A NAME="t%3AFresh" ></A ></A ><B >Fresh</B > a <SPAN CLASS="keyword" >where</SPAN ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#Fresh" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><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:fresh" ><A NAME="v%3Afresh" ></A ></A ><B >fresh</B > :: <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#fresh" >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:Fresh')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Fresh" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > ()</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Generic.html#t%3AConstructiveSig" >ConstructiveSig</A > a => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > a)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Generic.html#t%3AChoice" >Choice</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a -> b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > c) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b, c)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > c, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > d) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b, c, d)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > c, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > d, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > e) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b, c, d, e)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > c, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > d, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > e, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > f) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b, c, d, e, f)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > c, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > d, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > e, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > f, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > g) => <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > (a, b, c, d, e, f, g)</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 NAME="t:CoFresh" ><A NAME="t%3ACoFresh" ></A ></A ><B >CoFresh</B > a <SPAN CLASS="keyword" >where</SPAN ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#CoFresh" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><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:cofresh" ><A NAME="v%3Acofresh" ></A ></A ><B >cofresh</B > :: (<A HREF="Lava-Generic.html#t%3AChoice" >Choice</A > b, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b) => <A HREF="Lava-Property.html#t%3AGen" >Gen</A > b -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a -> b)</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#cofresh" >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:CoFresh')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:CoFresh" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > ()</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > [a]</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AChoiceWithSig" >ChoiceWithSig</A > a => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > a)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Generic.html#t%3AFinite" >Finite</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a -> b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > c) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b, c)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > c, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > d) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b, c, d)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > c, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > d, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > e) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b, c, d, e)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > c, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > d, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > e, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > f) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b, c, d, e, f)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > b, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > c, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > d, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > e, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > f, <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > g) => <A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > (a, b, c, d, e, f, g)</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:double" ><A NAME="v%3Adouble" ></A ></A ><B >double</B > :: <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a, a)</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#double" >Source</A ></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:triple" ><A NAME="v%3Atriple" ></A ></A ><B >triple</B > :: <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a, a, a)</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#triple" >Source</A ></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:list" ><A NAME="v%3Alist" ></A ></A ><B >list</B > :: <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > [a]</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#list" >Source</A ></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:listOf" ><A NAME="v%3AlistOf" ></A ></A ><B >listOf</B > :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > [a]</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#listOf" >Source</A ></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:results" ><A NAME="v%3Aresults" ></A ></A ><B >results</B > :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a -> b) -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a -> [b])</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#results" >Source</A ></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:sequential" ><A NAME="v%3Asequential" ></A ></A ><B >sequential</B > :: (<A HREF="Lava-Property.html#t%3ACoFresh" >CoFresh</A > a, <A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > b, <A HREF="Lava-Generic.html#t%3AChoice" >Choice</A > b) => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="Lava-Property.html#t%3AGen" >Gen</A > (a -> b)</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#sequential" >Source</A ></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:forAll" ><A NAME="v%3AforAll" ></A ></A ><B >forAll</B > :: (<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > b) => <A HREF="Lava-Property.html#t%3AGen" >Gen</A > a -> (a -> b) -> <A HREF="Lava-Property.html#t%3AProperty" >Property</A ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#forAll" >Source</A ></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" >newtype</SPAN > <A NAME="t:Property" ><A NAME="t%3AProperty" ></A ></A ><B >Property</B > </TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#Property" >Source</A ></TD ></TR ></TABLE ></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="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:P" ><A NAME="v%3AP" ></A ></A ><B >P</B > (<A HREF="Lava-Property.html#t%3AGen" >Gen</A > ([<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >], <A HREF="Lava-Property.html#t%3AModel" >Model</A > -> [[<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString" >String</A >]]))</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Property')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Property" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > <A HREF="Lava-Property.html#t%3AProperty" >Property</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 NAME="t:Checkable" ><A NAME="t%3ACheckable" ></A ></A ><B >Checkable</B > a <SPAN CLASS="keyword" >where</SPAN ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#Checkable" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><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:property" ><A NAME="v%3Aproperty" ></A ></A ><B >property</B > :: a -> <A HREF="Lava-Property.html#t%3AProperty" >Property</A ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#property" >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:Checkable')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Checkable" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</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="Lava-Property.html#t%3ACheckable" >Checkable</A > <A HREF="Lava-Property.html#t%3AProperty" >Property</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > a => <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > [a]</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > a => <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > (<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > a)</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > a => <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > (<A HREF="Lava-Property.html#t%3AGen" >Gen</A > a)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AFresh" >Fresh</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > b) => <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > (a -> b)</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 NAME="t:ShowModel" ><A NAME="t%3AShowModel" ></A ></A ><B >ShowModel</B > a <SPAN CLASS="keyword" >where</SPAN ></TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#ShowModel" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><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:showModel" ><A NAME="v%3AshowModel" ></A ></A ><B >showModel</B > :: <A HREF="Lava-Property.html#t%3AModel" >Model</A > -> a -> [<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString" >String</A >]</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#showModel" >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:ShowModel')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:ShowModel" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > ()</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > [a]</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > a)</TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a -> b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > c) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b, c)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > c, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > d) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b, c, d)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > c, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > d, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > e) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b, c, d, e)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > c, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > d, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > e, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > f) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b, c, d, e, f)</TD ></TR ><TR ><TD CLASS="decl" >(<A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > a, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > b, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > c, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > d, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > e, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > f, <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > g) => <A HREF="Lava-Property.html#t%3AShowModel" >ShowModel</A > (a, b, c, d, e, f, g)</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" >type</SPAN > <A NAME="t:Model" ><A NAME="t%3AModel" ></A ></A ><B >Model</B > = [(<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString" >String</A >, [<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString" >String</A >])]</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#Model" >Source</A ></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:properties" ><A NAME="v%3Aproperties" ></A ></A ><B >properties</B > :: <A HREF="Lava-Property.html#t%3ACheckable" >Checkable</A > a => a -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > ([<A HREF="Lava-Signal.html#t%3ASignal" >Signal</A > <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >], <A HREF="Lava-Property.html#t%3AModel" >Model</A > -> [[<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString" >String</A >]])</TD ><TD CLASS="declbut" ><A HREF="src/Lava-Property.html#properties" >Source</A ></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.6.1</TD ></TR ></TABLE ></BODY ></HTML >