Darcs.Patch.Invert

Documentation

class Invert p where

Methods

invert :: p x y -> p y x

Instances

Invert DummyPatch

Invert Prim

(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)

Invert p => Invert (TaggedPatch p)

(Commute p, Invert p) => Invert (PatchInfoAnd p)

Invert prim => Invert (RealPatch prim)

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

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