<!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 >Darcs.Patch.Info</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" >Darcs.Patch.Info</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Patch-Info.html#t%3APatchInfo" TARGET="main" >PatchInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Apatchinfo" TARGET="main" >patchinfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ainvert_name" TARGET="main" >invert_name</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ais_inverted" TARGET="main" >is_inverted</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Aidpatchinfo" TARGET="main" >idpatchinfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Aadd_junk" TARGET="main" >add_junk</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Amake_filename" TARGET="main" >make_filename</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Amake_alt_filename" TARGET="main" >make_alt_filename</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3AreadPatchInfo" TARGET="main" >readPatchInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ajust_name" TARGET="main" >just_name</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ajust_author" TARGET="main" >just_author</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Arepopatchinfo" TARGET="main" >repopatchinfo</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Patch-Info.html#t%3ARepoPatchInfo" TARGET="main" >RepoPatchInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ahuman_friendly" TARGET="main" >human_friendly</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ato_xml" TARGET="main" >to_xml</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_date" TARGET="main" >pi_date</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Aset_pi_date" TARGET="main" >set_pi_date</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_name" TARGET="main" >pi_name</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_rename" TARGET="main" >pi_rename</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_author" TARGET="main" >pi_author</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_tag" TARGET="main" >pi_tag</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Api_log" TARGET="main" >pi_log</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3AshowPatchInfo" TARGET="main" >showPatchInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Info.html#v%3Ais_tag" TARGET="main" >is_tag</A ></DIV ></DIV ></DIV ></BODY ></HTML >