Darcs.Patch.Set
Documentation
data PatchSet p start x where
data Tagged p x2 z where
Constructors
| Tagged :: PatchInfoAnd p y z -> Maybe String -> RL (PatchInfoAnd p) x3 y -> Tagged p x3 z |
type SealedPatchSet p start = Sealed (PatchSet p start)
data Origin
progressPatchSet :: String -> PatchSet p start x7 -> PatchSet p start x7
appendPSFL :: PatchSet p start x -> FL (PatchInfoAnd p) x y -> PatchSet p start y
newset2RL :: PatchSet p start x4 -> RL (PatchInfoAnd p) start x4
newset2FL :: PatchSet p start x6 -> FL (PatchInfoAnd p) start x6