Darcs.Patch.Prim.FileUUID.Apply

Documentation

hunkEdit :: Hunk wX wY -> FileContent -> Either String FileContent

data ObjectMap (m :: * -> *)

Constructors

ObjectMap

Fields

• getObject :: UUID -> m (Maybe (Object m))
• putObject :: UUID -> Object m -> m (ObjectMap m)
• listObjects :: m [UUID]

Instances

MonadThrow m => ApplyMonadTrans ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type

Methods

runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m)

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m)

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString

type ApplyMonadOperations ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOperations ObjectMap

type ObjectIdOf ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

type ObjectIdOf ObjectMap = UUID

type ApplyMonadOver ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

Orphan instances

Apply Prim

Associated Types

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

Methods

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

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

PrimApply Prim

Methods

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

RepairToFL Prim

Methods

applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY))

MonadThrow m => ApplyMonadTrans ObjectMap m

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type

Methods

runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m)

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m)

Methods

readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString