Darcs.Patch.Apply

Documentation

class Apply p where

Associated Types

type ApplyState p :: (* -> *) -> *

Methods

apply :: ApplyMonad (ApplyState p) m => p wX wY -> m ()

Instances

Apply Prim

Defined in Darcs.Patch.Prim.V1.Apply

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m ()

Apply Prim

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m ()

Apply Prim

Defined in Darcs.Patch.V2.Prim

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m ()

Apply Prim

Defined in Darcs.Patch.V1.Prim

Associated Types

type ApplyState Prim :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m ()

Apply DummyPatch

Defined in Darcs.Patch.Dummy

Associated Types

type ApplyState DummyPatch :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState DummyPatch) m => DummyPatch wX wY -> m ()

Apply p => Apply (RL p)

Defined in Darcs.Patch.Apply

Associated Types

type ApplyState (RL p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RL p)) m => RL p wX wY -> m ()

Apply p => Apply (FL p)

Defined in Darcs.Patch.Apply

Associated Types

type ApplyState (FL p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (FL p)) m => FL p wX wY -> m ()

PrimPatch prim => Apply (RepoPatchV1 prim)

Defined in Darcs.Patch.V1.Apply

Associated Types

type ApplyState (RepoPatchV1 prim) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RepoPatchV1 prim)) m => RepoPatchV1 prim wX wY -> m ()

Apply p => Apply (Named p)

Defined in Darcs.Patch.Named

Associated Types

type ApplyState (Named p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m ()

Apply (RebaseName p)

Defined in Darcs.Patch.Rebase.Name

Associated Types

type ApplyState (RebaseName p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RebaseName p)) m => RebaseName p wX wY -> m ()

(PrimPatchBase p, ApplyState p ~ ApplyState (PrimOf p)) => Apply (RebaseFixup p)

Defined in Darcs.Patch.Rebase.Fixup

Associated Types

type ApplyState (RebaseFixup p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RebaseFixup p)) m => RebaseFixup p wX wY -> m ()

Apply (Suspended p)

Defined in Darcs.Patch.Rebase.Container

Associated Types

type ApplyState (Suspended p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (Suspended p)) m => Suspended p wX wY -> m ()

(PrimPatchBase p, Invert p, Apply p, ApplyState p ~ ApplyState (PrimOf p)) => Apply (RebaseChange p)

Defined in Darcs.Patch.Rebase.Viewing

Associated Types

type ApplyState (RebaseChange p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RebaseChange p)) m => RebaseChange p wX wY -> m ()

(PrimPatchBase p, Invert p, Apply p, ApplyState p ~ ApplyState (PrimOf p)) => Apply (RebaseSelect p)

Defined in Darcs.Patch.Rebase.Viewing

Associated Types

type ApplyState (RebaseSelect p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RebaseSelect p)) m => RebaseSelect p wX wY -> m ()

PrimPatch prim => Apply (RepoPatchV2 prim)

Defined in Darcs.Patch.V2.RepoPatch

Associated Types

type ApplyState (RepoPatchV2 prim) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (RepoPatchV2 prim)) m => RepoPatchV2 prim wX wY -> m ()

Apply p => Apply (WrappedNamed rt p)

Defined in Darcs.Patch.Named.Wrapped

Associated Types

type ApplyState (WrappedNamed rt p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (WrappedNamed rt p)) m => WrappedNamed rt p wX wY -> m ()

Apply p => Apply (PatchInfoAnd rt p)

Defined in Darcs.Patch.PatchInfoAnd

Associated Types

type ApplyState (PatchInfoAnd rt p) :: (Type -> Type) -> Type

Methods

apply :: ApplyMonad (ApplyState (PatchInfoAnd rt p)) m => PatchInfoAnd rt p wX wY -> m ()

applyToFilePaths :: (Apply p, ApplyState p ~ Tree) => p wX wY -> Maybe [(FilePath, FilePath)] -> [FilePath] -> ([FilePath], [FilePath], [(FilePath, FilePath)])

applyToTree :: (Apply p, Monad m, ApplyState p ~ Tree) => p wX wY -> Tree m -> m (Tree m)

Apply a patch to a Tree, yielding a new Tree.

applyToState :: forall p m wX wY. (Apply p, ApplyMonadTrans (ApplyState p) m) => p wX wY -> ApplyState p m -> m (ApplyState p m)

maybeApplyToTree :: (Apply p, ApplyState p ~ Tree) => p wX wY -> Tree IO -> IO (Maybe (Tree IO))

Attempts to apply a given replace patch to a Tree. If the apply fails (if the file the patch applies to already contains the target token), we return Nothing, otherwise we return the updated Tree.

effectOnFilePaths :: (Apply p, ApplyState p ~ Tree) => p wX wY -> [FilePath] -> [FilePath]