Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

Documentation

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

Constructors

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

Instances details

MonadThrow 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 #
MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString Source #
type ApplyMonadOperations ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadOperations ObjectMap
type ObjectIdOf ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap type ObjectIdOf ObjectMap = UUID
type ApplyMonadOver ObjectMap m Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

Orphan instances

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 #
PrimApply Prim Source #
Instance details Methods applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL 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 #
MonadThrow 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 #
MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Methods readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString Source #