Documentation
data Tagged p x2 z whereSource
Tagged :: PatchInfoAnd p y z -> Maybe String -> RL (PatchInfoAnd p) x3 y -> Tagged p x3 z |
type SealedPatchSet p start = Sealed (PatchSet p start)Source
progressPatchSet :: String -> PatchSet p start x7 -> PatchSet p start x7Source
appendPSFL :: PatchSet p start x -> FL (PatchInfoAnd p) x y -> PatchSet p start ySource
newset2RL :: PatchSet p start x4 -> RL (PatchInfoAnd p) start x4Source
newset2FL :: PatchSet p start x6 -> FL (PatchInfoAnd p) start x6Source