darcs-2.18.2: a distributed, interactive, smart revision control system
Safe HaskellSafe-Inferred
LanguageHaskell2010

Darcs.Patch.Prim.FileUUID.Apply

Documentation

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

Constructors

ObjectMap 

Fields

Instances

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 #

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 ObjectIdOf ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

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 #

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source # 
Instance details

Methods

readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString Source #