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

Darcs.Patch.Prim.FileUUID.Apply

Documentation

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

Constructors

ObjectMap 

Fields

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 #

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 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 #

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))) #