Safe Haskell | None |
---|
- data PatchSet p start y where
- data Tagged p x z where
- Tagged :: PatchInfoAnd p y z -> Maybe String -> RL (PatchInfoAnd p) x y -> Tagged p x z
- type SealedPatchSet p start = Sealed (PatchSet p start)
- data Origin
- progressPatchSet :: String -> PatchSet p start x -> PatchSet p start x
- tags :: PatchSet p start x -> [PatchInfo]
- appendPSFL :: PatchSet p start x -> FL (PatchInfoAnd p) x y -> PatchSet p start y
- newset2RL :: PatchSet p start x -> RL (PatchInfoAnd p) start x
- newset2FL :: PatchSet p start x -> FL (PatchInfoAnd p) start x
Documentation
Tagged :: PatchInfoAnd p y z -> Maybe String -> RL (PatchInfoAnd p) x y -> Tagged p x z |
type SealedPatchSet p start = Sealed (PatchSet p start)Source
progressPatchSet :: String -> PatchSet p start x -> PatchSet p start xSource
Runs a progress action for each tag and patch in a given PatchSet, using the passed progress message. Does not alter the PatchSet.
tags :: PatchSet p start x -> [PatchInfo]Source
tags returns the PatchInfos corresponding to the tags of a given PatchSet.
appendPSFL :: PatchSet p start x -> FL (PatchInfoAnd p) x y -> PatchSet p start ySource
appendPSFL takes a PatchSet and a FL of patches that follow
the PatchSet,
and concatenates the patches into the PatchSet.
newset2RL :: PatchSet p start x -> RL (PatchInfoAnd p) start xSource
newset2RL takes a PatchSet and returns an equivalent, linear RL of patches.
newset2FL :: PatchSet p start x -> FL (PatchInfoAnd p) start xSource
newset2FL takes a PatchSet and returns an equivalent, linear FL of patches.