darcs-2.14.2: 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

Associated Types

type ApplyMonadStateOperations ObjectMap :: (Type -> Type) -> Constraint Source #

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 #

Methods

nestedApply :: StateT (ObjectMap m) m x -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #

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

getApplyState :: StateT (ObjectMap m) m (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) 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 ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadBase (StateT (ObjectMap m) m) = m

Orphan instances

ApplyMonadState ObjectMap Source # 
Instance details

Associated Types

type ApplyMonadStateOperations ObjectMap :: (Type -> Type) -> Constraint Source #

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 #

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 #

Methods

nestedApply :: StateT (ObjectMap m) m x -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #

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

getApplyState :: StateT (ObjectMap m) m (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #