Darcs.Patch.Prim.V3.ObjectMap

Documentation

newtype UUID

Constructors

UUID ByteString

Instances

Eq UUID

Ord UUID

Show UUID

type Location = (UUID, ByteString)

data Object m

Constructors

Directory DirContent

Blob (m ByteString) !Hash

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

type DirContent = Map ByteString UUID