- get_common_and_uncommon :: RepoPatch p => (PatchSet p, PatchSet p) -> ([PatchInfo], RL (PatchInfoAnd p) :\/: RL (PatchInfoAnd p))
- get_tags_right :: RL (RL (PatchInfoAnd p)) -> [PatchInfo]
- get_common_and_uncommon_or_missing :: RepoPatch p => (PatchSet p, PatchSet p) -> Either PatchInfo ([PatchInfo], RL (PatchInfoAnd p) :\/: RL (PatchInfoAnd p))
- optimize_patchset :: PatchSet p -> PatchSet p
- deep_optimize_patchset :: PatchSet p -> PatchSet p
- slightly_optimize_patchset :: PatchSet p -> PatchSet p
- get_patches_beyond_tag :: RepoPatch p => PatchInfo -> PatchSet p -> FlippedSeal (RL (PatchInfoAnd p))
- get_patches_in_tag :: RepoPatch p => PatchInfo -> PatchSet p -> SealedPatchSet p
- patchset_union :: forall p. RepoPatch p => [SealedPatchSet p] -> SealedPatchSet p
- patchset_intersection :: RepoPatch p => [SealedPatchSet p] -> SealedPatchSet p
- commute_to_end :: forall p. RepoPatch p => FL (Named p) -> PatchSet p -> FL (Named p) :< RL (RL (PatchInfoAnd p))
Documentation
get_common_and_uncommon :: RepoPatch p => (PatchSet p, PatchSet p) -> ([PatchInfo], RL (PatchInfoAnd p) :\/: RL (PatchInfoAnd p))Source
get_tags_right :: RL (RL (PatchInfoAnd p)) -> [PatchInfo]Source
get_common_and_uncommon_or_missing :: RepoPatch p => (PatchSet p, PatchSet p) -> Either PatchInfo ([PatchInfo], RL (PatchInfoAnd p) :\/: RL (PatchInfoAnd p))Source
optimize_patchset :: PatchSet p -> PatchSet pSource
deep_optimize_patchset :: PatchSet p -> PatchSet pSource
slightly_optimize_patchset :: PatchSet p -> PatchSet pSource
get_patches_beyond_tag :: RepoPatch p => PatchInfo -> PatchSet p -> FlippedSeal (RL (PatchInfoAnd p))Source
get_patches_in_tag :: RepoPatch p => PatchInfo -> PatchSet p -> SealedPatchSet pSource
get_patches_in_tag t ps
returns a SealedPatchSet
of all
patches in ps
which are contained in t
.
patchset_union :: forall p. RepoPatch p => [SealedPatchSet p] -> SealedPatchSet pSource
patchset_intersection :: RepoPatch p => [SealedPatchSet p] -> SealedPatchSet pSource