Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Prim.FileUUID.ObjectMap

Synopsis

Documentation

Constructors

Instances

Eq UUID Source #
Methods (==) :: UUID -> UUID -> Bool # (/=) :: UUID -> UUID -> Bool #
Ord UUID Source #
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 #
Methods showsPrec :: Int -> UUID -> ShowS # show :: UUID -> String # showList :: [UUID] -> ShowS #

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

Constructors

Instances

Eq Location Source #
Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Show Location Source #
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

type ApplyMonadStateOperations ObjectMap Source #
type ApplyMonadStateOperations ObjectMap
type ApplyMonadOver ObjectMap m Source #
type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) Source #
type ApplyMonadBase (StateT (ObjectMap m) m) = m

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
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 #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #