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

Darcs.Patch.Prim.FileUUID.ObjectMap

Synopsis

Documentation

newtype UUID #

Constructors

UUID ByteString 

Instances

Instances details
Show UUID # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

showsPrec :: Int -> UUID -> ShowS #

show :: UUID -> String #

showList :: [UUID] -> ShowS #

Eq UUID # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Methods

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

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

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

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

Constructors

L !UUID !Name 

Instances

Instances details
Show Location # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

Eq Location # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.ObjectMap

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

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

Constructors

ObjectMap 

Fields

Instances

Instances details
ApplyMonadState ObjectMap # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

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

ToTree ObjectMap # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

toTree :: forall (m :: Type -> Type). ObjectMap m -> Tree m #

Monad m => ApplyMonadTrans ObjectMap m # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type #

Monad m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) # 
Instance details

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

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOver ObjectMap m = StateT (ObjectMap m) m
type ApplyMonadBase (StateT (ObjectMap m) m) # 
Instance details

Defined in Darcs.Patch.Prim.FileUUID.Apply

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

type DirContent = Map Name UUID #

data Name #

Instances

Instances details
Show Name # 
Instance details

Defined in Darcs.Util.Path

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

Binary Name # 
Instance details

Defined in Darcs.Util.Path

Methods

put :: Name -> Put

get :: Get Name

putList :: [Name] -> Put

Eq Name # 
Instance details

Defined in Darcs.Util.Path

Methods

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

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

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