darcs-2.18.2: a distributed, interactive, smart revision control system
Safe HaskellSafe-Inferred
LanguageHaskell2010

Darcs.Patch.Prim.FileUUID.ObjectMap

Synopsis

Documentation

newtype UUID Source #

Constructors

UUID ByteString 

Instances

Instances details
Show UUID Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> UUID -> ShowS #

show :: UUID -> String #

showList :: [UUID] -> ShowS #

Eq UUID Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

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

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

Ord UUID Source # 
Instance details

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 Source #

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

Constructors

L !UUID !Name 

Instances

Instances details
Show Location Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> Location -> ShowS #

show :: Location -> String #

showList :: [Location] -> ShowS #

Eq Location Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

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

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

data Object (m :: * -> *) Source #

Constructors

Directory DirContent 
Blob (m FileContent) !(Maybe Hash) 

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

Constructors

ObjectMap 

Fields

Instances

Instances details
MonadThrow m => ApplyMonadTrans ObjectMap m Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type Source #

Methods

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

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

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

type ApplyMonadOperations ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOperations ObjectMap
type ObjectIdOf ObjectMap Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

type ObjectIdOf ObjectMap = UUID
type ApplyMonadOver ObjectMap m Source # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

type DirContent = Map Name UUID Source #

type FileContent = ByteString Source #

isBlob :: Object m -> Bool Source #

isDirectory :: Object m -> Bool Source #

data Name Source #

Instances

Instances details
Show Name Source # 
Instance details

Defined in Darcs.Util.Path

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

Binary Name Source # 
Instance details

Defined in Darcs.Util.Path

Methods

put :: Name -> Put #

get :: Get Name #

putList :: [Name] -> Put #

Eq Name Source # 
Instance details

Defined in Darcs.Util.Path

Methods

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

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

Ord Name Source # 
Instance details

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 #