Darcs.Patch.Prim.FileUUID.ObjectMap

Documentation

newtype UUID

Constructors

UUID ByteString

Instances

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

Show UUID

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

data Location

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

Constructors

L !UUID !Name

Instances

Eq Location

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

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

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

Show Location

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

data Object (m :: * -> *)

Constructors

Directory DirContent

Blob (m FileContent) !Hash

data ObjectMap (m :: * -> *)

Constructors

ObjectMap

Fields

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

Instances

ApplyMonadState ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

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

ToTree ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

toTree :: ObjectMap m -> Tree m

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

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

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

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

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

type ApplyMonadStateOperations ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadStateOperations ObjectMap

type ApplyMonadOver ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m

type ApplyMonadBase (StateT (ObjectMap m) m)

Defined in Darcs.Patch.Prim.FileUUID.Apply

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

type DirContent = Map Name UUID

type FileContent = ByteString

isBlob :: Object m -> Bool

isDirectory :: Object m -> Bool

data Name

Instances

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

Show Name

Defined in Darcs.Util.Path

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS