Darcs.Patch.Prim.FileUUID.ObjectMap

Documentation

newtype UUID

Constructors

UUID ByteString

Instances

Show UUID

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

Eq UUID

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

(==) :: UUID -> UUID -> Bool

(/=) :: UUID -> UUID -> Bool

Ord UUID

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

data Location

An object is located by giving the UUID of the parent Directory and a Name.

Constructors

L !UUID !Name

Instances

Show Location

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

Eq Location

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

data Object (m :: * -> *)

Constructors

Directory DirContent

Blob (m FileContent) !(Maybe Hash)

data ObjectMap (m :: * -> *)

Constructors

ObjectMap

Fields

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

Instances

MonadThrow m => ApplyMonadTrans ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type

Methods

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

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m)

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString

type ApplyMonadOperations ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOperations ObjectMap

type ObjectIdOf ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

type ObjectIdOf ObjectMap = UUID

type ApplyMonadOver ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

type DirContent = Map Name UUID

type FileContent = ByteString

isBlob :: Object m -> Bool

isDirectory :: Object m -> Bool

data Name

Instances

Show Name

Defined in Darcs.Util.Path

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Binary Name

Defined in Darcs.Util.Path

Methods

put :: Name -> Put

get :: Get Name

putList :: [Name] -> Put

Eq Name

Defined in Darcs.Util.Path

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Defined in Darcs.Util.Path

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name