Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.ObjectMap

Synopsis

newtype UUID = UUID ByteString
data Location = L !UUID !Name
data Object (m :: * -> *)
- = Directory DirContent
- | Blob (m FileContent) !Hash
data ObjectMap (m :: * -> *) = ObjectMap {
- getObject :: UUID -> m (Maybe (Object m))
- putObject :: UUID -> Object m -> m (ObjectMap m)
- listObjects :: m [UUID]
}
type DirContent = Map Name UUID
type FileContent = ByteString
isBlob :: Object m -> Bool
isDirectory :: Object m -> Bool
data Name

Documentation

newtype UUID Source #

Constructors

UUID ByteString

Instances

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 #
Show UUID Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods showsPrec :: Int -> UUID -> ShowS # show :: UUID -> String # showList :: [UUID] -> ShowS #

data Location Source #

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

Constructors

L !UUID !Name

Instances

Eq Location Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Show Location Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.ObjectMap Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #

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

Constructors

Directory DirContent
Blob (m FileContent) !Hash

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

Constructors

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

Instances

ApplyMonadState ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadStateOperations ObjectMap :: (Type -> Type) -> Constraint Source #
ToTree ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods toTree :: ObjectMap m -> Tree m Source #
Monad 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 #
Monad m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadBase (StateT (ObjectMap m) m) :: Type -> Type Source # Methods nestedApply :: StateT (ObjectMap m) m x -> ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m)) -> StateT (ObjectMap m) m (x, ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source # 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))) Source # getApplyState :: StateT (ObjectMap m) m (ObjectMap (ApplyMonadBase (StateT (ObjectMap m) m))) Source #
type ApplyMonadStateOperations ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadStateOperations ObjectMap
type ApplyMonadOver ObjectMap m Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadBase (StateT (ObjectMap m) 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

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