| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.UI.ApplyPatches
Synopsis
- class PatchApplier pa where
- type ApplierRepoTypeConstraint pa (rt :: RepoType) :: Constraint
- repoJob :: pa -> (forall rt p wR wU. (IsRepoType rt, ApplierRepoTypeConstraint pa rt, RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository rt p wR wU wR -> IO ()) -> RepoJob ()
- applyPatches :: forall rt p wR wU wZ. (ApplierRepoTypeConstraint pa rt, IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> Repository rt p wR wU wR -> Fork (PatchSet rt p) (FL (PatchInfoAnd rt p)) (FL (PatchInfoAnd rt p)) Origin wR wZ -> IO ()
- data PatchProxy (p :: * -> * -> *) = PatchProxy
- data StandardPatchApplier = StandardPatchApplier
- applyPatchesStart :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> FL (PatchInfoAnd rt p) wX wY -> IO ()
- applyPatchesFinish :: (IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> Repository rt p wR wU wR -> FL (PrimOf p) wU wY -> Bool -> IO ()
Documentation
class PatchApplier pa where Source #
This class is a hack to abstract over pullapply and rebase pullapply.
Associated Types
type ApplierRepoTypeConstraint pa (rt :: RepoType) :: Constraint Source #
Methods
repoJob :: pa -> (forall rt p wR wU. (IsRepoType rt, ApplierRepoTypeConstraint pa rt, RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository rt p wR wU wR -> IO ()) -> RepoJob () Source #
applyPatches :: forall rt p wR wU wZ. (ApplierRepoTypeConstraint pa rt, IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> Repository rt p wR wU wR -> Fork (PatchSet rt p) (FL (PatchInfoAnd rt p)) (FL (PatchInfoAnd rt p)) Origin wR wZ -> IO () Source #
Instances
| PatchApplier StandardPatchApplier Source # | |
Defined in Darcs.UI.ApplyPatches Associated Types type ApplierRepoTypeConstraint StandardPatchApplier rt Source # Methods repoJob :: StandardPatchApplier -> (forall (rt :: RepoType) (p :: Type -> Type -> Type) wR wU. (IsRepoType rt, ApplierRepoTypeConstraint StandardPatchApplier rt, RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository rt p wR wU wR -> IO ()) -> RepoJob () Source # applyPatches :: forall (rt :: RepoType) (p :: Type -> Type -> Type) wR wU wZ. (ApplierRepoTypeConstraint StandardPatchApplier rt, IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => StandardPatchApplier -> PatchProxy p -> String -> [DarcsFlag] -> Repository rt p wR wU wR -> Fork (PatchSet rt p) (FL (PatchInfoAnd rt p)) (FL (PatchInfoAnd rt p)) Origin wR wZ -> IO () Source # | |
data PatchProxy (p :: * -> * -> *) Source #
Constructors
| PatchProxy |
data StandardPatchApplier Source #
Constructors
| StandardPatchApplier |
Instances
| PatchApplier StandardPatchApplier Source # | |
Defined in Darcs.UI.ApplyPatches Associated Types type ApplierRepoTypeConstraint StandardPatchApplier rt Source # Methods repoJob :: StandardPatchApplier -> (forall (rt :: RepoType) (p :: Type -> Type -> Type) wR wU. (IsRepoType rt, ApplierRepoTypeConstraint StandardPatchApplier rt, RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository rt p wR wU wR -> IO ()) -> RepoJob () Source # applyPatches :: forall (rt :: RepoType) (p :: Type -> Type -> Type) wR wU wZ. (ApplierRepoTypeConstraint StandardPatchApplier rt, IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => StandardPatchApplier -> PatchProxy p -> String -> [DarcsFlag] -> Repository rt p wR wU wR -> Fork (PatchSet rt p) (FL (PatchInfoAnd rt p)) (FL (PatchInfoAnd rt p)) Origin wR wZ -> IO () Source # | |
| type ApplierRepoTypeConstraint StandardPatchApplier rt Source # | |
Defined in Darcs.UI.ApplyPatches | |
applyPatchesStart :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> FL (PatchInfoAnd rt p) wX wY -> IO () Source #
applyPatchesFinish :: (IsRepoType rt, RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> Repository rt p wR wU wR -> FL (PrimOf p) wU wY -> Bool -> IO () Source #