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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Invert

Documentation

class Invert p where Source #

Minimal complete definition

invert

Methods

invert :: p wX wY -> p wY wX Source #

Instances

Invert Prim Source # 

Methods

invert :: Prim wX wY -> Prim wY wX Source #

Invert Prim Source # 

Methods

invert :: Prim wX wY -> Prim wY wX Source #

Invert Prim Source # 

Methods

invert :: Prim wX wY -> Prim wY wX Source #

Invert Prim Source # 

Methods

invert :: Prim wX wY -> Prim wY wX Source #

Invert DummyPatch Source # 

Methods

invert :: DummyPatch wX wY -> DummyPatch wY wX Source #

Invert p => Invert (RL p) Source # 

Methods

invert :: RL p wX wY -> RL p wY wX Source #

Invert p => Invert (FL p) Source # 

Methods

invert :: FL p wX wY -> FL p wY wX Source #

Invert p => Invert (LabelledPatch p) Source # 

Methods

invert :: LabelledPatch p wX wY -> LabelledPatch p wY wX Source #

Invert p => Invert (Named p) Source # 

Methods

invert :: Named p wX wY -> Named p wY wX Source #

Invert (RebaseName p) Source # 

Methods

invert :: RebaseName p wX wY -> RebaseName p wY wX Source #

Invert (PrimOf p) => Invert (RebaseFixup p) Source # 

Methods

invert :: RebaseFixup p wX wY -> RebaseFixup p wY wX Source #

Invert (RebaseChange p) Source # 

Methods

invert :: RebaseChange p wX wY -> RebaseChange p wY wX Source #

Invert (RebaseSelect p) Source # 

Methods

invert :: RebaseSelect p wX wY -> RebaseSelect p wY wX Source #

Invert prim => Invert (RepoPatchV2 prim) Source # 

Methods

invert :: RepoPatchV2 prim wX wY -> RepoPatchV2 prim wY wX Source #

Invert p => Invert ((:>) p p) Source # 

Methods

invert :: (p :> p) wX wY -> (p :> p) wY wX Source #

Invert p => Invert (WrappedNamed rt p) Source # 

Methods

invert :: WrappedNamed rt p wX wY -> WrappedNamed rt p wY wX Source #

Invert p => Invert (PatchInfoAnd rt p) Source # 

Methods

invert :: PatchInfoAnd rt p wX wY -> PatchInfoAnd rt p wY wX Source #

invertFL :: Invert p => FL p wX wY -> RL p wY wX Source #

invertRL :: Invert p => RL p wX wY -> FL p wY wX Source #