darcs-2.13.0: a distributed, interactive, smart revision control system
Darcs.Patch.Prim.FileUUID.Apply
Contents
data ObjectMap (m :: * -> *) Source #
Constructors
Fields
Instances
Associated Types
type ApplyMonadStateOperations (ObjectMap :: (* -> *) -> *) :: (* -> *) -> Constraint Source #
Methods
toTree :: ObjectMap m -> Tree m Source #
type ApplyState (Prim :: * -> * -> *) :: (* -> *) -> * Source #
apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
type ApplyMonadOver (ObjectMap :: (* -> *) -> *) (m :: * -> *) :: * -> * Source #
runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source #
type ApplyMonadBase (StateT (ObjectMap m) m :: * -> *) :: * -> * Source #
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 #