darcs

Darcs.Patch.Commute

Synopsis

Documentation

fromPrims :: FromPrims p => FL Prim -> p

modernizePatch :: Patch -> Patch

modernizePatch is used during conversion to Darcs 2 format. It does the following:

  • removes mergers by linearising them, thus removing the ability to commute them
  • drops mv a b ; add b which was introduced by an error in earlier versions of darcs (TODO: check this; identify the versions)

merge :: Commute p => (p :\/: p) -> p :/\: p

data Perhaps a

Constructors

Unknown 
Failed 
Succeeded a