Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class PatchApplier pa where
- type CarrierType pa p :: * -> * -> *
- repoJob :: pa -> [DarcsFlag] -> (forall p wR wU. (RepoPatch p, ApplyState p ~ Tree, ApplyState (PrimOf p) ~ Tree, RepoPatch (CarrierType pa p), ApplyState (CarrierType pa p) ~ Tree, ApplyState (PrimOf (CarrierType pa p)) ~ Tree) => PatchProxy p -> Repository (CarrierType pa p) wR wU wR -> IO ()) -> RepoJob ()
- applyPatches :: forall p wR wU wT wX wZ. (RepoPatch p, ApplyState (PrimOf p) ~ Tree, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> String -> Repository (CarrierType pa p) wR wU wT -> FL (PatchInfoAnd (CarrierType pa p)) wX wT -> FL (PatchInfoAnd (CarrierType pa p)) wX wZ -> IO ()
- data PatchProxy p = PatchProxy
- data StandardPatchApplier = StandardPatchApplier
Documentation
class PatchApplier pa where Source
This class is a hack to abstract over pullapply and rebase pullapply.
type CarrierType pa p :: * -> * -> * Source
'CarrierType pa p' resolves to either p
or 'Rebasing p'
repoJob :: pa -> [DarcsFlag] -> (forall p wR wU. (RepoPatch p, ApplyState p ~ Tree, ApplyState (PrimOf p) ~ Tree, RepoPatch (CarrierType pa p), ApplyState (CarrierType pa p) ~ Tree, ApplyState (PrimOf (CarrierType pa p)) ~ Tree) => PatchProxy p -> Repository (CarrierType pa p) wR wU wR -> IO ()) -> RepoJob () Source
applyPatches :: forall p wR wU wT wX wZ. (RepoPatch p, ApplyState (PrimOf p) ~ Tree, ApplyState p ~ Tree) => pa -> PatchProxy p -> String -> [DarcsFlag] -> String -> Repository (CarrierType pa p) wR wU wT -> FL (PatchInfoAnd (CarrierType pa p)) wX wT -> FL (PatchInfoAnd (CarrierType pa p)) wX wZ -> IO () Source
data PatchProxy p Source