Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.Prim.FileUUID.ObjectMap
Synopsis
- newtype UUID = UUID ByteString
- data Location = L !UUID !Name
- data Object (m :: Type -> Type)
- = Directory DirContent
- | Blob (m FileContent) !(Maybe Hash)
- data ObjectMap (m :: Type -> Type) = ObjectMap {}
- type DirContent = Map Name UUID
- type FileContent = ByteString
- isBlob :: forall (m :: Type -> Type). Object m -> Bool
- isDirectory :: forall (m :: Type -> Type). Object m -> Bool
- data Name
Documentation
data Object (m :: Type -> Type) Source #
Constructors
Directory DirContent | |
Blob (m FileContent) !(Maybe Hash) |
data ObjectMap (m :: Type -> Type) Source #
Constructors
ObjectMap | |
Instances
MonadThrow m => ApplyMonadTrans ObjectMap m Source # | |||||
Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types
Methods runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source # | |||||
MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source # | |||||
Defined in Darcs.Patch.Prim.FileUUID.Apply Methods readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString Source # | |||||
type ApplyMonadOperations ObjectMap Source # | |||||
Defined in Darcs.Patch.Prim.FileUUID.Apply | |||||
type ObjectIdOf ObjectMap Source # | |||||
Defined in Darcs.Patch.Prim.FileUUID.ObjectMap | |||||
type ApplyMonadOver ObjectMap m Source # | |||||
Defined in Darcs.Patch.Prim.FileUUID.Apply |
type DirContent = Map Name UUID Source #
type FileContent = ByteString Source #
isDirectory :: forall (m :: Type -> Type). Object m -> Bool Source #