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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

Documentation

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

Constructors

ObjectMap 

Fields

Instances
ApplyMonadState ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

ToTree ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

toTree :: ObjectMap m -> Tree m Source #

Monad m => ApplyMonadTrans ObjectMap m Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type Source #

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

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadBase (StateT (ObjectMap m) m) :: Type -> Type Source #

type ApplyMonadStateOperations ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadBase (StateT (ObjectMap m) m) Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Orphan instances

ApplyMonadState ObjectMap Source # 
Instance details

ToTree ObjectMap Source # 
Instance details

Methods

toTree :: ObjectMap m -> Tree m Source #

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 #

RepairToFL Prim Source # 
Instance details

Methods

applyAndTryToFixFL :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m (Maybe (String, FL Prim wX wY)) Source #

PrimApply Prim Source # 
Instance details

Methods

applyPrimFL :: ApplyMonad (ApplyState Prim) m => FL Prim wX wY -> m () Source #

Monad m => ApplyMonadTrans ObjectMap m Source # 
Instance details

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type Source #

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

Associated Types

type ApplyMonadBase (StateT (ObjectMap m) m) :: Type -> Type Source #