Darcs.Patch.Prim.V3.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

ToTree ObjectMap

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

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

type ApplyMonadOver m ObjectMap = StateT (ObjectMap m) m

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