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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Prim.FileUUID.Apply

Contents

Documentation

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

Constructors

ObjectMap 

Fields

Instances
ApplyMonadState ObjectMap # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadStateOperations ObjectMap :: (* -> *) -> Constraint #

ToTree ObjectMap # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

toTree :: ObjectMap m -> Tree m #

Monad m => ApplyMonadTrans ObjectMap m # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: * -> * #

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 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 ApplyMonadBase (StateT (ObjectMap m) m) # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Orphan instances

ApplyMonadState ObjectMap # 
Instance details

Associated Types

type ApplyMonadStateOperations ObjectMap :: (* -> *) -> Constraint #

ToTree ObjectMap # 
Instance details

Methods

toTree :: ObjectMap m -> Tree m #

Apply Prim # 
Instance details

Associated Types

type ApplyState Prim :: (* -> *) -> * #

Methods

apply :: ApplyMonad (ApplyState Prim) m => Prim wX wY -> m () #

RepairToFL Prim # 
Instance details

Methods

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

PrimApply Prim # 
Instance details

Methods

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

Monad m => ApplyMonadTrans ObjectMap m # 
Instance details

Associated Types

type ApplyMonadOver ObjectMap m :: * -> * #

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

Associated Types

type ApplyMonadBase (StateT (ObjectMap m) m) :: * -> * #