<!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.Properties</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.Properties</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Arecommute" TARGET="main" >recommute</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Acommute_inverses" TARGET="main" >commute_inverses</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Apermutivity" TARGET="main" >permutivity</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Apartial_permutivity" TARGET="main" >partial_permutivity</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Aidentity_commutes" TARGET="main" >identity_commutes</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Ainverse_doesnt_commute" TARGET="main" >inverse_doesnt_commute</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Apatch_and_inverse_commute" TARGET="main" >patch_and_inverse_commute</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Amerge_either_way" TARGET="main" >merge_either_way</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Ashow_read" TARGET="main" >show_read</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Amerge_commute" TARGET="main" >merge_commute</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Amerge_consistent" TARGET="main" >merge_consistent</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Amerge_arguments_consistent" TARGET="main" >merge_arguments_consistent</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Ajoin_inverses" TARGET="main" >join_inverses</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Patch-Properties.html#v%3Ajoin_commute" TARGET="main" >join_commute</A ></DIV ></DIV ></DIV ></BODY ></HTML >