<!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 >ForSyDe-3.1.1: ForSyDe's Haskell-embedded Domain Specific Language.</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></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" >ForSyDe-3.1.1: ForSyDe's Haskell-embedded Domain Specific Language.</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="section1" >ForSyDe-3.1.1: ForSyDe's Haskell-embedded Domain Specific Language.</TD ></TR ><TR ><TD CLASS="doc" >The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <A HREF="http://www.ict.kth.se/forsyde/" >http://www.ict.kth.se/forsyde/</A >. This will be most probably the last update on this package. It will be splitted to ForSyDe-shallow and ForSyDe-deep in the next release. </TD ></TR ><TR ><TD CLASS="section1" >Modules</TD ></TR ><TR ><TD ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ><TR ><TD STYLE="width: 50em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:0')" ALT="show/hide" ><A HREF="ForSyDe.html" >ForSyDe</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:0" STYLE="display:block;" ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-AbsentExt.html" >ForSyDe.AbsentExt</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="width: 48em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:1')" ALT="show/hide" ><A HREF="ForSyDe-Backend.html" >ForSyDe.Backend</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:1" STYLE="display:block;" ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Backend-GraphML.html" >ForSyDe.Backend.GraphML</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Backend-Simulate.html" >ForSyDe.Backend.Simulate</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Backend-VHDL.html" >ForSyDe.Backend.VHDL</A ></TD ><TD ></TD ><TD ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-Bit.html" >ForSyDe.Bit</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-DFT.html" >ForSyDe.DFT</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-FIR.html" >ForSyDe.FIR</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-Ids.html" >ForSyDe.Ids</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="width: 48em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:2')" ALT="show/hide" ><A HREF="ForSyDe-Process.html" >ForSyDe.Process</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:2" STYLE="display:block;" ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Process-SynchProc.html" >ForSyDe.Process.SynchProc</A ></TD ><TD ></TD ><TD ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD STYLE="width: 48em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:3')" ALT="show/hide" ><A HREF="ForSyDe-Shallow.html" >ForSyDe.Shallow</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:3" STYLE="display:block;" ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-AbsentExt.html" >ForSyDe.Shallow.AbsentExt</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-AdaptivityLib.html" >ForSyDe.Shallow.AdaptivityLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-BitVector.html" >ForSyDe.Shallow.BitVector</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-CTLib.html" >ForSyDe.Shallow.CTLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-CoreLib.html" >ForSyDe.Shallow.CoreLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-DFT.html" >ForSyDe.Shallow.DFT</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-DataflowLib.html" >ForSyDe.Shallow.DataflowLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-DomainInterfaces.html" >ForSyDe.Shallow.DomainInterfaces</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-FIR.html" >ForSyDe.Shallow.FIR</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-FilterLib.html" >ForSyDe.Shallow.FilterLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-Gaussian.html" >ForSyDe.Shallow.Gaussian</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-Memory.html" >ForSyDe.Shallow.Memory</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-MoCLib.html" >ForSyDe.Shallow.MoCLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-PolyArith.html" >ForSyDe.Shallow.PolyArith</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-Queue.html" >ForSyDe.Shallow.Queue</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-Signal.html" >ForSyDe.Shallow.Signal</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-StochasticLib.html" >ForSyDe.Shallow.StochasticLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-SynchronousLib.html" >ForSyDe.Shallow.SynchronousLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-SynchronousProcessLib.html" >ForSyDe.Shallow.SynchronousProcessLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-UntimedLib.html" >ForSyDe.Shallow.UntimedLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-UtilityLib.html" >ForSyDe.Shallow.UtilityLib</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 46em" ><A HREF="ForSyDe-Shallow-Vector.html" >ForSyDe.Shallow.Vector</A ></TD ><TD ></TD ><TD ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-Signal.html" >ForSyDe.Signal</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 48em" ><A HREF="ForSyDe-System.html" >ForSyDe.System</A ></TD ><TD ></TD ><TD ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD STYLE="width: 50em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:4')" ALT="show/hide" >Language</TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:4" STYLE="display:block;" ><TR ><TD STYLE="width: 48em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:5')" ALT="show/hide" >Haskell</TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:5" STYLE="display:block;" ><TR ><TD STYLE="width: 46em" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'n:6')" ALT="show/hide" >TH</TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding: 0; padding-left: 2em" COLSPAN="3" ><TABLE CLASS="vanilla2" CELLSPACING="0" CELLPADDING="0" ID="n:6" STYLE="display:block;" ><TR ><TD STYLE="padding-left: 1.25em;width: 44em" ><A HREF="Language-Haskell-TH-Lift.html" >Language.Haskell.TH.Lift</A ></TD ><TD ></TD ><TD ></TD ></TR ><TR ><TD STYLE="padding-left: 1.25em;width: 44em" ><A HREF="Language-Haskell-TH-LiftInstances.html" >Language.Haskell.TH.LiftInstances</A ></TD ><TD ></TD ><TD ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></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 >