Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 66ae51d8e8419fa35b264b4bcbd419fd > files > 19

ghc-parameterized-data-devel-0.1.5-3.fc15.i686.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>parameterized-data-0.1.5: Parameterized data library implementing lightweight dependent
types</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">parameterized-data-0.1.5: Parameterized data library implementing lightweight dependent
types</p></div><div id="content"><div id="description" class="doc"><h1>parameterized-data-0.1.5: Parameterized data library implementing lightweight dependent
types</h1><p>This library provides an implementation of parameterized types using
type-level computations to implement the type parameters and emulate
dependent types.
Right now only fixed-sized vectors are provided. A tutorial on how to use them can be found at <a href="http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec">http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec</a>
</p></div><div id="module-list"><p class="caption">Modules</p><ul><li><span id="control.n.1" class="module collapser" onclick="toggleSection('n.1')">Data</span><ul id="section.n.1" class="show"><li><span class="module"><span id="control.n.1.1" class="collapser" onclick="toggleSection('n.1.1')">&nbsp;</span><a href="Data-Param.html">Data.Param</a></span><ul id="section.n.1.1" class="show"><li><span class="module"><a href="Data-Param-FSVec.html">Data.Param.FSVec</a></span></li></ul></li></ul></li></ul></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.9.2</p></div></body></html>