| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Darcs.UI.ApplyPatches
Synopsis
- class PatchApplier pa where
- repoJob :: pa -> (forall p wR wU. (RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository 'RW p wU wR -> IO ()) -> RepoJob 'RW ()
- applyPatches :: forall p wR wU wZ. (RepoPatch p, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> Repository 'RW p wU wR -> Fork (PatchSet p) (FL (PatchInfoAnd p)) (FL (PatchInfoAnd p)) Origin wR wZ -> IO ()
- data PatchProxy (p :: * -> * -> *) = PatchProxy
- data StandardPatchApplier = StandardPatchApplier
- applyPatchesStart :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> FL (PatchInfoAnd p) wX wY -> IO ()
- applyPatchesFinish :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> Repository 'RW p 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.
Methods
repoJob :: pa -> (forall p wR wU. (RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository 'RW p wU wR -> IO ()) -> RepoJob 'RW () Source #
applyPatches :: forall p wR wU wZ. (RepoPatch p, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> Repository 'RW p wU wR -> Fork (PatchSet p) (FL (PatchInfoAnd p)) (FL (PatchInfoAnd p)) Origin wR wZ -> IO () Source #
Instances
| PatchApplier StandardPatchApplier Source # | |
Defined in Darcs.UI.ApplyPatches Methods repoJob :: StandardPatchApplier -> (forall (p :: Type -> Type -> Type) wR wU. (RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository 'RW p wU wR -> IO ()) -> RepoJob 'RW () Source # applyPatches :: forall (p :: Type -> Type -> Type) wR wU wZ. (RepoPatch p, ApplyState p ~ Tree) => StandardPatchApplier -> PatchProxy p -> String -> [DarcsFlag] -> Repository 'RW p wU wR -> Fork (PatchSet p) (FL (PatchInfoAnd p)) (FL (PatchInfoAnd 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 Methods repoJob :: StandardPatchApplier -> (forall (p :: Type -> Type -> Type) wR wU. (RepoPatch p, ApplyState p ~ Tree) => PatchProxy p -> Repository 'RW p wU wR -> IO ()) -> RepoJob 'RW () Source # applyPatches :: forall (p :: Type -> Type -> Type) wR wU wZ. (RepoPatch p, ApplyState p ~ Tree) => StandardPatchApplier -> PatchProxy p -> String -> [DarcsFlag] -> Repository 'RW p wU wR -> Fork (PatchSet p) (FL (PatchInfoAnd p)) (FL (PatchInfoAnd p)) Origin wR wZ -> IO () Source # | |
applyPatchesStart :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> FL (PatchInfoAnd p) wX wY -> IO () Source #
applyPatchesFinish :: (RepoPatch p, ApplyState p ~ Tree) => String -> [DarcsFlag] -> Repository 'RW p wU wR -> FL (PrimOf p) wU wY -> Bool -> IO () Source #