darcs-2.8.2: a distributed, interactive, smart revision control system

Safe HaskellSafe-Infered

Darcs.Patch.Invert

Documentation

class Invert p whereSource

Methods

invert :: p x y -> p y xSource

Instances

Invert Prim 
Invert Prim 
Invert DummyPatch 
(Commute p, Invert p) => Invert (RL p) 
(Invert p, Commute p) => Invert (FL p) 
Invert prim => Invert (Patch prim) 
(Commute p, Invert p) => Invert (Named p) 
(Commute p, Invert p) => Invert (PatchInfoAnd p) 
Invert p => Invert (TaggedPatch p) 
Invert prim => Invert (RealPatch prim) 

invertFL :: Invert p => FL p x y -> RL p y xSource

invertRL :: Invert p => RL p x y -> FL p y xSource