Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > c4c339edd383087c94d9f30c027b8418 > files > 79

ghc-regex-tdfa-devel-1.1.8-1.fc14.x86_64.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
>Text.Regex.TDFA.TDFA</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_Text-Regex-TDFA-TDFA.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"
>regex-tdfa-1.1.8: Replaces/Enhances Text.Regex</TD
><TD CLASS="topbut"
><A HREF="src/Text-Regex-TDFA-TDFA.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"
>Text.Regex.TDFA.TDFA</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
><A HREF="Text-Regex-TDFA-TDFA.html"
>Text.Regex.TDFA.TDFA</A
> converts the QNFA from TNFA into the DFA.
 A DFA state corresponds to a Set of QNFA states, repesented as list
 of Index which are used to lookup the DFA state in a lazy Trie
 which holds all possible subsets of QNFA states.
</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"
><A HREF="#v%3ApatternToRegex"
>patternToRegex</A
> :: (<A HREF="Text-Regex-TDFA-Pattern.html#t%3APattern"
>Pattern</A
>, (<A HREF="Text-Regex-TDFA-Common.html#t%3AGroupIndex"
>GroupIndex</A
>, <A HREF="Text-Regex-TDFA-Common.html#t%3ADoPa"
>DoPa</A
>)) -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ACompOption"
>CompOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3AExecOption"
>ExecOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ADFA"
>DFA</A
>  = <A HREF="#v%3ADFA"
>DFA</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Ad_id"
>d_id</A
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ASetIndex"
>SetIndex</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Ad_dt"
>d_dt</A
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ADT"
>DT</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ASimple%27"
>Simple'</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_win"
>dt_win</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-IntMap.html#t%3AIntMap"
>IntMap</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AInstructions"
>Instructions</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_trans"
>dt_trans</A
> :: <A HREF="Data-IntMap-CharMap2.html#t%3ACharMap"
>CharMap</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ATransition"
>Transition</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_other"
>dt_other</A
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ATransition"
>Transition</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ATesting%27"
>Testing'</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_test"
>dt_test</A
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3AWhichTest"
>WhichTest</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_dopas"
>dt_dopas</A
> :: <A HREF="Data-IntSet-EnumSet2.html#t%3AEnumSet"
>EnumSet</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ADoPa"
>DoPa</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_a"
>dt_a</A
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adt_b"
>dt_b</A
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
></TR
></TABLE
>}</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AexamineDFA"
>examineDFA</A
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
> -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnfaToDFA"
>nfaToDFA</A
> :: ((<A HREF="Text-Regex-TDFA-Common.html#t%3AIndex"
>Index</A
>, <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AIndex"
>Index</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AQNFA"
>QNFA</A
>), <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ATag"
>Tag</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AOP"
>OP</A
>, <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AGroupIndex"
>GroupIndex</A
> [<A HREF="Text-Regex-TDFA-Common.html#t%3AGroupInfo"
>GroupInfo</A
>]) -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ACompOption"
>CompOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3AExecOption"
>ExecOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdfaMap"
>dfaMap</A
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADFA"
>DFA</A
> -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Map.html#t%3AMap"
>Map</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ASetIndex"
>SetIndex</A
> <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADFA"
>DFA</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"
><A NAME="v:patternToRegex"
><A NAME="v%3ApatternToRegex"
></A
></A
><B
>patternToRegex</B
> :: (<A HREF="Text-Regex-TDFA-Pattern.html#t%3APattern"
>Pattern</A
>, (<A HREF="Text-Regex-TDFA-Common.html#t%3AGroupIndex"
>GroupIndex</A
>, <A HREF="Text-Regex-TDFA-Common.html#t%3ADoPa"
>DoPa</A
>)) -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ACompOption"
>CompOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3AExecOption"
>ExecOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
></TD
><TD CLASS="declbut"
><A HREF="src/Text-Regex-TDFA-TDFA.html#patternToRegex"
>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"
>data</SPAN
>  <A NAME="t:DFA"
><A NAME="t%3ADFA"
></A
></A
><B
>DFA</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Text-Regex-TDFA-Common.html#DFA"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Internal DFA node, identified by the Set of indices of the QNFA
 nodes it represents.
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:DFA"
><A NAME="v%3ADFA"
></A
></A
><B
>DFA</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:d_id"
><A NAME="v%3Ad_id"
></A
></A
><B
>d_id</B
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ASetIndex"
>SetIndex</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:d_dt"
><A NAME="v%3Ad_dt"
></A
></A
><B
>d_dt</B
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:DFA')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:DFA" 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/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADFA"
>DFA</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"
>data</SPAN
>  <A NAME="t:DT"
><A NAME="t%3ADT"
></A
></A
><B
>DT</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Text-Regex-TDFA-Common.html#DT"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Internal to the DFA node
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Simple'"
><A NAME="v%3ASimple%27"
></A
></A
><B
>Simple'</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:dt_win"
><A NAME="v%3Adt_win"
></A
></A
><B
>dt_win</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-IntMap.html#t%3AIntMap"
>IntMap</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AInstructions"
>Instructions</A
></TD
><TD CLASS="rdoc"
>Actions to perform to win
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dt_trans"
><A NAME="v%3Adt_trans"
></A
></A
><B
>dt_trans</B
> :: <A HREF="Data-IntMap-CharMap2.html#t%3ACharMap"
>CharMap</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ATransition"
>Transition</A
></TD
><TD CLASS="rdoc"
>Transition to accept Char
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dt_other"
><A NAME="v%3Adt_other"
></A
></A
><B
>dt_other</B
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ATransition"
>Transition</A
></TD
><TD CLASS="rdoc"
>default accepting transition
</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Testing'"
><A NAME="v%3ATesting%27"
></A
></A
><B
>Testing'</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:dt_test"
><A NAME="v%3Adt_test"
></A
></A
><B
>dt_test</B
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3AWhichTest"
>WhichTest</A
></TD
><TD CLASS="rdoc"
>The test to perform
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dt_dopas"
><A NAME="v%3Adt_dopas"
></A
></A
><B
>dt_dopas</B
> :: <A HREF="Data-IntSet-EnumSet2.html#t%3AEnumSet"
>EnumSet</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ADoPa"
>DoPa</A
></TD
><TD CLASS="rdoc"
>location(s) of the anchor(s) in the original regexp
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dt_a"
><A NAME="v%3Adt_a"
></A
></A
><B
>dt_a</B
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
><TD CLASS="rdoc"
>use dt_a if test is True else use dt_b
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dt_b"
><A NAME="v%3Adt_b"
></A
></A
><B
>dt_b</B
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</A
></TD
><TD CLASS="rdoc"
>use dt_a if test is True else use dt_b
</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:DT')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:DT" 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/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADT"
>DT</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:examineDFA"
><A NAME="v%3AexamineDFA"
></A
></A
><B
>examineDFA</B
> :: <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
> -&gt; <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/Text-Regex-TDFA-TDFA.html#examineDFA"
>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:nfaToDFA"
><A NAME="v%3AnfaToDFA"
></A
></A
><B
>nfaToDFA</B
> :: ((<A HREF="Text-Regex-TDFA-Common.html#t%3AIndex"
>Index</A
>, <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AIndex"
>Index</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AQNFA"
>QNFA</A
>), <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ATag"
>Tag</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AOP"
>OP</A
>, <A HREF="/usr/share/doc/ghc/html/libraries/array-0.3.0.1/Data-Array.html#t%3AArray"
>Array</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3AGroupIndex"
>GroupIndex</A
> [<A HREF="Text-Regex-TDFA-Common.html#t%3AGroupInfo"
>GroupInfo</A
>]) -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ACompOption"
>CompOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3AExecOption"
>ExecOption</A
> -&gt; <A HREF="Text-Regex-TDFA-Common.html#t%3ARegex"
>Regex</A
></TD
><TD CLASS="declbut"
><A HREF="src/Text-Regex-TDFA-TDFA.html#nfaToDFA"
>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:dfaMap"
><A NAME="v%3AdfaMap"
></A
></A
><B
>dfaMap</B
> :: <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADFA"
>DFA</A
> -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Map.html#t%3AMap"
>Map</A
> <A HREF="Text-Regex-TDFA-Common.html#t%3ASetIndex"
>SetIndex</A
> <A HREF="Text-Regex-TDFA-TDFA.html#t%3ADFA"
>DFA</A
></TD
><TD CLASS="declbut"
><A HREF="src/Text-Regex-TDFA-TDFA.html#dfaMap"
>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
>