darcs-2.16.5: a distributed, interactive, smart revision control system

Safe Haskell | Safe-Inferred
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 #

This class is a hack to abstract over pullapply and rebase pullapply.

Associated Types

type ApplierRepoTypeConstraint pa (rt :: RepoType) :: Constraint #

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 () #

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 () #

#### Instances

Instances details

PatchApplier StandardPatchApplier # |
Instance details Defined in Darcs.UI.ApplyPatches Associated Types type ApplierRepoTypeConstraint StandardPatchApplier rt # 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 () # 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 () #

data PatchProxy (p :: * -> * -> *) #

Constructors

PatchProxy |

data StandardPatchApplier #

Constructors

StandardPatchApplier |

#### Instances

Instances details

PatchApplier StandardPatchApplier # |
Instance details Defined in Darcs.UI.ApplyPatches Associated Types type ApplierRepoTypeConstraint StandardPatchApplier rt # 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 () # 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 () #
type ApplierRepoTypeConstraint StandardPatchApplier rt # |
Instance details Defined in Darcs.UI.ApplyPatches type ApplierRepoTypeConstraint StandardPatchApplier rt = ()

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 () #