Sophie

Sophie

distrib > Fedora > 14 > x86_64 > media > updates > by-pkgid > a47f0719970f9f829128f311a437816d > files > 249

ghc-ForSyDe-devel-3.1.1-4.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
>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
>