Sophie: ghc-fgl-devel-5.4.2.3-1.fc14 i686

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.Query.Monad</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
></HEAD
><BODY
><DIV CLASS="outer"
><DIV CLASS="mini-topbar"
>Data.Graph.Inductive.Query.Monad</DIV
><DIV CLASS="mini-synopsis"
><H1
>Additional Graph Utilities
</H1
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AmapFst" TARGET="main"
>mapFst</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AmapSnd" TARGET="main"
>mapSnd</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3A%3E%3C" TARGET="main"
>(&gt;&lt;)</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AorP" TARGET="main"
>orP</A
></DIV
> <H1
>Graph Transformer Monad
</H1
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="Data-Graph-Inductive-Query-Monad.html#t%3AGT" TARGET="main"
>GT</A
> m g a</DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3Aapply" TARGET="main"
>apply</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3Aapply%27" TARGET="main"
>apply'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AapplyWith" TARGET="main"
>applyWith</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AapplyWith%27" TARGET="main"
>applyWith'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3ArunGT" TARGET="main"
>runGT</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AcondMGT%27" TARGET="main"
>condMGT'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3ArecMGT%27" TARGET="main"
>recMGT'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AcondMGT" TARGET="main"
>condMGT</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3ArecMGT" TARGET="main"
>recMGT</A
></DIV
> <H1
>Graph Computations Based on Graph Monads
</H1
> <H2
>Monadic Graph Accessing Functions
</H2
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgetNode" TARGET="main"
>getNode</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgetContext" TARGET="main"
>getContext</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgetNodes%27" TARGET="main"
>getNodes'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgetNodes" TARGET="main"
>getNodes</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AsucGT" TARGET="main"
>sucGT</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AsucM" TARGET="main"
>sucM</A
></DIV
> <H2
>Derived Graph Recursion Operators
</H2
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphRec" TARGET="main"
>graphRec</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphRec%27" TARGET="main"
>graphRec'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphUFold" TARGET="main"
>graphUFold</A
></DIV
> <H1
>Examples: Graph Algorithms as Instances of Recursion Operators
</H1
> <H2
>Instances of graphRec
</H2
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphNodesM0" TARGET="main"
>graphNodesM0</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphNodesM" TARGET="main"
>graphNodesM</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphNodes" TARGET="main"
>graphNodes</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphFilterM" TARGET="main"
>graphFilterM</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphFilter" TARGET="main"
>graphFilter</A
></DIV
> <H1
>Example: Monadic DFS Algorithm(s)
</H1
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AdfsGT" TARGET="main"
>dfsGT</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AdfsM" TARGET="main"
>dfsM</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AdfsM%27" TARGET="main"
>dfsM'</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AdffM" TARGET="main"
>dffM</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphDff" TARGET="main"
>graphDff</A
></DIV
> <DIV CLASS="decl"
><A HREF="Data-Graph-Inductive-Query-Monad.html#v%3AgraphDff%27" TARGET="main"
>graphDff'</A
></DIV
></DIV
></DIV
></BODY
></HTML
>