darcs-2.16.5: a distributed, interactive, smart revision control system

Safe Haskell | Safe-Inferred
Language | Haskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

- Orphan instances

# Documentation

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

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

Constructors

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

#### Instances

Instances details

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

# Orphan instances

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