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

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

- Orphan instances

# Documentation

data ObjectMap m #

Constructors

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

Instances

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

# Orphan instances

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