darcs-2.1.99.0: a distributed, interactive, smart revision control system Source code Contents Index

Darcs.Patch.Prim

Synopsis

data Prim where Move :: !FileName -> !FileName -> Prim DP :: !FileName -> !DirPatchType -> Prim FP :: !FileName -> !FilePatchType -> Prim Split :: FL Prim -> Prim Identity :: Prim ChangePref :: !String -> !String -> !String -> Prim data IsConflictedPrim where IsC :: !ConflictState -> !Prim -> IsConflictedPrim data ConflictState = Okay | Conflicted | Duplicated showPrim :: FileNameFormat -> Prim -> Doc data DirPatchType = RmDir | AddDir data FilePatchType = RmFile | AddFile | Hunk !Int [ByteString] [ByteString] | TokReplace !String !String !String | Binary ByteString ByteString type CommuteFunction = (Prim :< Prim) -> Perhaps (Prim :< Prim) data Perhaps a = Unknown | Failed | Succeeded a null_patch :: Prim nullP :: Prim -> EqCheck is_null_patch :: Prim -> Bool is_identity :: Prim -> EqCheck formatFileName :: FileNameFormat -> FileName -> Doc data FileNameFormat = OldFormat | NewFormat adddir :: FilePath -> Prim addfile :: FilePath -> Prim binary :: FilePath -> ByteString -> ByteString -> Prim changepref :: String -> String -> String -> Prim hunk :: FilePath -> Int -> [ByteString] -> [ByteString] -> Prim move :: FilePath -> FilePath -> Prim rmdir :: FilePath -> Prim rmfile :: FilePath -> Prim tokreplace :: FilePath -> String -> String -> String -> Prim is_addfile :: Prim -> Bool is_hunk :: Prim -> Bool is_binary :: Prim -> Bool is_setpref :: Prim -> Bool is_similar :: Prim -> Prim -> Bool is_adddir :: Prim -> Bool is_filepatch :: Prim -> Maybe FileName canonize :: Prim -> FL Prim try_to_shrink :: FL Prim -> FL Prim modernizePrim :: Prim -> FL Prim subcommutes :: [(String, CommuteFunction)] sort_coalesceFL :: FL Prim -> FL Prim join :: (Prim :> Prim) -> Maybe Prim applyBinary :: ByteString -> ByteString -> FileContents -> Maybe FileContents try_tok_internal :: String -> ByteString -> ByteString -> ByteString -> Maybe [ByteString] try_shrinking_inverse :: FL Prim -> Maybe (FL Prim) class FromPrim p where fromPrim :: Prim -> p class FromPrims p where fromPrims :: FL Prim -> p joinPatches :: FL p -> p class FromPrim p => ToFromPrim p where toPrim :: p -> Maybe Prim class (Invert p, Commute p, Effect p) => Conflict p where list_conflicted_files :: p -> [FilePath] resolve_conflicts :: p -> [[Sealed (FL Prim)]] commute_no_conflicts :: (p :> p) -> Maybe (p :> p) conflictedEffect :: p -> [IsConflictedPrim] class Effect p where effect :: p -> FL Prim effectRL :: p -> RL Prim isHunk :: p -> Maybe Prim commute_no_conflictsFL :: Conflict p => (p :> FL p) -> Maybe (FL p :> p) commute_no_conflictsRL :: Conflict p => (RL p :> p) -> Maybe (p :> RL p)

Documentation

data Prim where Source

Constructors Move :: !FileName -> !FileName -> Prim DP :: !FileName -> !DirPatchType -> Prim FP :: !FileName -> !FilePatchType -> Prim Split :: FL Prim -> Prim Identity :: Prim ChangePref :: !String -> !String -> !String -> Prim Instances Show Prim Show2 Prim MyEq Prim Invert Prim ReadPatch Prim ShowPatch Prim Commute Prim Apply Prim Patchy Prim Effect Prim Conflict Prim ToFromPrim Prim FromPrim Prim Nonable Prim

data IsConflictedPrim where Source

Constructors IsC :: !ConflictState -> !Prim -> IsConflictedPrim

data ConflictState Source

Constructors Okay Conflicted Duplicated Instances Eq ConflictState Ord ConflictState Read ConflictState Show ConflictState

showPrim :: FileNameFormat -> Prim -> Doc Source

data DirPatchType Source

Constructors RmDir AddDir Instances Eq DirPatchType Ord DirPatchType Show DirPatchType MyEq DirPatchType

data FilePatchType Source

Constructors RmFile AddFile Hunk !Int [ByteString] [ByteString] TokReplace !String !String !String Binary ByteString ByteString Instances Eq FilePatchType Ord FilePatchType Show FilePatchType MyEq FilePatchType

type CommuteFunction = (Prim :< Prim) -> Perhaps (Prim :< Prim) Source

data Perhaps a Source

Constructors Unknown Failed Succeeded a Instances Monad Perhaps MonadPlus Perhaps

null_patch :: Prim Source

nullP :: Prim -> EqCheck Source

is_null_patch :: Prim -> Bool Source

is_identity :: Prim -> EqCheck Source

formatFileName :: FileNameFormat -> FileName -> Doc Source

data FileNameFormat Source

Constructors OldFormat NewFormat

adddir :: FilePath -> Prim Source

addfile :: FilePath -> Prim Source

binary :: FilePath -> ByteString -> ByteString -> Prim Source

changepref :: String -> String -> String -> Prim Source

hunk :: FilePath -> Int -> [ByteString] -> [ByteString] -> Prim Source

move :: FilePath -> FilePath -> Prim Source

rmdir :: FilePath -> Prim Source

rmfile :: FilePath -> Prim Source

tokreplace :: FilePath -> String -> String -> String -> Prim Source

is_addfile :: Prim -> Bool Source

is_hunk :: Prim -> Bool Source

is_binary :: Prim -> Bool Source

is_setpref :: Prim -> Bool Source

is_similar :: Prim -> Prim -> Bool Source

is_adddir :: Prim -> Bool Source

is_filepatch :: Prim -> Maybe FileName Source

canonize :: Prim -> FL Prim Source

try_to_shrink :: FL Prim -> FL Prim Source

modernizePrim :: Prim -> FL Prim Source

subcommutes :: [(String, CommuteFunction)] Source

sort_coalesceFL :: FL Prim -> FL Prim Source

sort_coalesceFL ps coalesces as many patches in ps as possible, sorting the results according to the scheme defined in comparePrim

join :: (Prim :> Prim) -> Maybe Prim Source

applyBinary :: ByteString -> ByteString -> FileContents -> Maybe FileContents Source

try_tok_internal :: String -> ByteString -> ByteString -> ByteString -> Maybe [ByteString] Source

try_shrinking_inverse :: FL Prim -> Maybe (FL Prim) Source

class FromPrim p where Source

Methods fromPrim :: Prim -> p Source Instances FromPrim Prim FromPrim Patch FromPrim RealPatch

class FromPrims p where Source

Methods fromPrims :: FL Prim -> p Source joinPatches :: FL p -> p Source Instances FromPrims Patch FromPrim p => FromPrims (RL p) FromPrim p => FromPrims (FL p)

class FromPrim p => ToFromPrim p where Source

Methods toPrim :: p -> Maybe Prim Source Instances ToFromPrim Prim ToFromPrim RealPatch

class (Invert p, Commute p, Effect p) => Conflict p where Source

Methods list_conflicted_files :: p -> [FilePath] Source resolve_conflicts :: p -> [[Sealed (FL Prim)]] Source commute_no_conflicts :: (p :> p) -> Maybe (p :> p) Source conflictedEffect :: p -> [IsConflictedPrim] Source Instances Conflict Prim Conflict Patch Conflict RealPatch Conflict p => Conflict (RL p) Conflict p => Conflict (FL p) Conflict p => Conflict (Named p) Conflict p => Conflict (PatchInfoAnd p)

class Effect p where Source

Methods effect :: p -> FL Prim Source effectRL :: p -> RL Prim Source isHunk :: p -> Maybe Prim Source Instances Effect Prim Effect Patch Effect RealPatch Effect p => Effect (RL p) Effect p => Effect (FL p) Effect p => Effect (Named p) Effect p => Effect (PatchInfoAnd p)

commute_no_conflictsFL :: Conflict p => (p :> FL p) -> Maybe (FL p :> p) Source

commute_no_conflictsRL :: Conflict p => (RL p :> p) -> Maybe (p :> RL p) Source

Produced by Haddock version 2.4.2