Darcs.Repository.Checkpoint

Documentation

read_patch_ids :: ByteString -> [PatchInfo]

read_checkpoints :: String -> IO [(PatchInfo, Maybe Slurpy)]

get_checkpoint :: RepoPatch p => Repository p -> IO (Maybe (Sealed (Named p)))

get_checkpoint_by_default :: RepoPatch p => Repository p -> IO (Maybe (Sealed (Named p)))

identify_checkpoint :: RepoPatch p => Repository p -> IO (Maybe PatchInfo)

get_check_internal :: RepoPatch p => Repository p -> IO (Maybe (Sealed (Named p)))

format_inv :: [PatchInfo] -> Doc

write_recorded_checkpoint :: RepoPatch p => Repository p -> PatchInfo -> IO ()

is_setprefFL :: Prim -> EqCheck

write_checkpoint :: RepoPatch p => Repository p -> PatchInfo -> IO ()

write_checkpoint_patch :: RepoPatch p => Named p -> IO ()

with_tag :: RepoPatch p => Repository p -> PatchInfo -> IO () -> IO ()

Produced by Haddock version 2.4.2