Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Patch.Bundle

Synopsis

data Bundle p wX wY where
- Bundle :: (FL (PatchInfoAnd p) :> FL (PatchInfoAnd p)) wX wY -> Bundle p wX wY
makeBundle :: (RepoPatch p, ApplyMonadTrans (ApplyState p) IO, ObjectId (ObjectIdOfPatch p)) => Maybe (ApplyState p IO) -> PatchSet p wStart wX -> FL (Named p) wX wY -> IO Doc
parseBundle :: RepoPatch p => ByteString -> Either String (Sealed (Bundle p wX))
interpretBundle :: Commute p => PatchSet p Origin wT -> Bundle p wA wB -> Either String (PatchSet p Origin wB)
readContextFile :: Commute p => PatchSet p Origin wX -> FilePath -> IO (SealedPatchSet p Origin)
minContext :: RepoPatch p => PatchSet p wStart wB -> FL (PatchInfoAnd p) wB wC -> Sealed ((PatchSet p :> FL (PatchInfoAnd p)) wStart)

Documentation

data Bundle p wX wY where Source #

A Bundle is a context together with some patches. The context consists of unavailable patches.

Constructors

Bundle :: (FL (PatchInfoAnd p) :> FL (PatchInfoAnd p)) wX wY -> Bundle p wX wY

makeBundle :: (RepoPatch p, ApplyMonadTrans (ApplyState p) IO, ObjectId (ObjectIdOfPatch p)) => Maybe (ApplyState p IO) -> PatchSet p wStart wX -> FL (Named p) wX wY -> IO Doc Source #

parseBundle :: RepoPatch p => ByteString -> Either String (Sealed (Bundle p wX)) Source #

interpretBundle :: Commute p => PatchSet p Origin wT -> Bundle p wA wB -> Either String (PatchSet p Origin wB) Source #

Interpret a Bundle in the context of a PatchSet. This means we match up a possible tag in the context of the Bundle. This fails if the tag couldn't be found.

readContextFile :: Commute p => PatchSet p Origin wX -> FilePath -> IO (SealedPatchSet p Origin) Source #

minContext :: RepoPatch p => PatchSet p wStart wB -> FL (PatchInfoAnd p) wB wC -> Sealed ((PatchSet p :> FL (PatchInfoAnd p)) wStart) Source #

Minimize the context of an FL of patches to be packed into a bundle.