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

type ApplyMonadStateOperations ObjectMap Source #
type ApplyMonadStateOperations ObjectMap
type ApplyMonadOver ObjectMap m Source #
type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) Source #
type ApplyMonadBase (StateT (ObjectMap m) m) = m

Orphan instances

ApplyMonadState ObjectMap Source #
Associated Types type ApplyMonadStateOperations (ObjectMap :: (* -> ) -> ) :: (* -> *) -> Constraint Source #
ToTree ObjectMap Source #
Methods toTree :: ObjectMap m -> Tree m Source #
Apply Prim Source #
Associated Types type ApplyState (Prim :: * -> * -> ) :: ( -> ) -> Source # Methods apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () Source #
RepairToFL Prim Source #
Methods applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #
PrimApply Prim Source #
Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #
Monad m => ApplyMonadTrans ObjectMap m Source #
Associated Types type ApplyMonadOver (ObjectMap :: (* -> ) -> ) (m :: * -> ) :: -> * Source # Methods runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source #
Monad m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Associated Types type ApplyMonadBase (StateT (ObjectMap m) m :: * -> ) :: -> * 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 #