Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > de32ea27bd707d1312968a7e865c03b7 > files > 78

ghc-fgl-devel-5.4.2.3-1.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
>Data.Graph.Inductive.Internal.Thread</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_Data-Graph-Inductive-Internal-Thread.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"
>fgl-5.4.2.3: Martin Erwig's Functional Graph Library</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"
>Data.Graph.Inductive.Internal.Thread</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><B
>Contents</B
></TD
></TR
><TR
><TD
><DL
><DT
><A HREF="#1"
>Types
</A
></DT
><DT
><A HREF="#2"
>Operations
</A
></DT
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>Threading Combinators.
</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"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ASplit"
>Split</A
> t i r = i -&gt; t -&gt; (r, t)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ASplitM"
>SplitM</A
> t i r = <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> r)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AThread"
>Thread</A
> t i r = (t, <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ACollect"
>Collect</A
> r c = (r -&gt; c -&gt; c, c)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AthreadList%27"
>threadList'</A
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ACollect"
>Collect</A
> r c -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; [i] -&gt; t -&gt; (c, t)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AthreadList"
>threadList</A
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ACollect"
>Collect</A
> r c -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; [i] -&gt; t -&gt; (c, t)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AthreadMaybe%27"
>threadMaybe'</A
> ::  (r -&gt; a) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t j (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> i) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t j (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AthreadMaybe"
>threadMaybe</A
> ::  (i -&gt; r -&gt; a) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t j i -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t j a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsplitPar"
>splitPar</A
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> u j s -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> (t, u) (i, j) (r, s)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsplitParM"
>splitParM</A
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> u j s -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> (t, u) (i, j) (r, s)</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>Types
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:Split"
><A NAME="t%3ASplit"
></A
></A
><B
>Split</B
> t i r = i -&gt; t -&gt; (r, t)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:SplitM"
><A NAME="t%3ASplitM"
></A
></A
><B
>SplitM</B
> t i r = <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> r)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:Thread"
><A NAME="t%3AThread"
></A
></A
><B
>Thread</B
> t i r = (t, <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:Collect"
><A NAME="t%3ACollect"
></A
></A
><B
>Collect</B
> r c = (r -&gt; c -&gt; c, c)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="2"
><A NAME="2"
>Operations
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:threadList'"
><A NAME="v%3AthreadList%27"
></A
></A
><B
>threadList'</B
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ACollect"
>Collect</A
> r c -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; [i] -&gt; t -&gt; (c, t)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:threadList"
><A NAME="v%3AthreadList"
></A
></A
><B
>threadList</B
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ACollect"
>Collect</A
> r c -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; [i] -&gt; t -&gt; (c, t)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:threadMaybe'"
><A NAME="v%3AthreadMaybe%27"
></A
></A
><B
>threadMaybe'</B
> ::  (r -&gt; a) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t j (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> i) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t j (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:threadMaybe"
><A NAME="v%3AthreadMaybe"
></A
></A
><B
>threadMaybe</B
> ::  (i -&gt; r -&gt; a) -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t j i -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t j a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:splitPar"
><A NAME="v%3AsplitPar"
></A
></A
><B
>splitPar</B
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> u j s -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> (t, u) (i, j) (r, s)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:splitParM"
><A NAME="v%3AsplitParM"
></A
></A
><B
>splitParM</B
> ::  <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> t i r -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplit"
>Split</A
> u j s -&gt; <A HREF="Data-Graph-Inductive-Internal-Thread.html#t%3ASplitM"
>SplitM</A
> (t, u) (i, j) (r, s)</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
>