Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

Orphan instances

Documentation

hunkEdit :: Hunk wX wY -> FileContent -> FileContent Source #

data ObjectMap (m :: * -> *) Source #

Constructors

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

Instances

ApplyMonadState ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadStateOperations ObjectMap :: (Type -> Type) -> Constraint Source #
ToTree ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods toTree :: ObjectMap m -> Tree m Source #
Monad m => ApplyMonadTrans ObjectMap m Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadOver ObjectMap m :: Type -> Type Source # Methods runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source #
Monad m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadBase (StateT (ObjectMap m) m) :: Type -> Type Source # Methods nestedApply :: StateT (ObjectMap m) m x -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source # liftApply :: (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> ApplyMonadBase (StateT (ObjectMap m) m) x) -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source # getApplyState :: StateT (ObjectMap m) m (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #
type ApplyMonadStateOperations ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadStateOperations ObjectMap
type ApplyMonadOver ObjectMap m Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadBase (StateT (ObjectMap m) m) = m

Orphan instances

ApplyMonadState ObjectMap Source #
Instance details Associated Types type ApplyMonadStateOperations ObjectMap :: (Type -> Type) -> Constraint Source #
ToTree ObjectMap Source #
Instance details Methods toTree :: ObjectMap m -> Tree m Source #
Apply Prim Source #
Instance details Associated Types type ApplyState Prim :: (Type -> Type) -> Type Source # Methods apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source # unapply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
RepairToFL Prim Source #
Instance details Methods applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
PrimApply Prim Source #
Instance details Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
Monad m => ApplyMonadTrans ObjectMap m Source #
Instance details Associated Types type ApplyMonadOver ObjectMap m :: Type -> Type Source # Methods runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source #
Monad m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Associated Types type ApplyMonadBase (StateT (ObjectMap m) m) :: Type -> Type Source # Methods nestedApply :: StateT (ObjectMap m) m x -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source # liftApply :: (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> ApplyMonadBase (StateT (ObjectMap m) m) x) -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source # getApplyState :: StateT (ObjectMap m) m (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #