Darcs.Patch.Prim.FileUUID.Apply

Documentation

data ObjectMap m

Constructors

ObjectMap

Fields

• getObject :: UUID -> m (Maybe (Object m))
• putObject :: UUID -> Object m -> m (ObjectMap m)
• listObjects :: m [UUID]

Instances

type ApplyMonadStateOperations ObjectMap

type ApplyMonadStateOperations ObjectMap

type ApplyMonadOver ObjectMap m

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

type ApplyMonadBase (StateT (ObjectMap m) m)

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

Orphan instances

ApplyMonadState ObjectMap

Associated Types

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

ToTree ObjectMap

Methods

toTree :: ObjectMap m -> Tree m

Apply Prim

Associated Types

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

Methods

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

RepairToFL Prim

Methods

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

PrimApply Prim

Methods

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

(Functor m, Monad m) => ApplyMonadTrans ObjectMap m

Associated Types

type ApplyMonadOver (ObjectMap :: (* -> *) -> *) (m :: * -> *) :: * -> *

Methods

runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m)

(Functor m, Monad m) => ApplyMonad ObjectMap (StateT (ObjectMap m) m)

Associated Types

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

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