Erebos.Storage.Internal

Documentation

data Storage' c

Constructors

Storage

Fields

• stBacking :: StorageBacking c
• stParent :: Maybe (Storage' Identity)
• stRefGeneration :: MVar (BasicHashTable RefDigest Generation)
• stRefRoots :: MVar (BasicHashTable RefDigest [RefDigest])

Instances

Show (Storage' c)

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Storage' c -> ShowS

show :: Storage' c -> String

showList :: [Storage' c] -> ShowS

Eq (Storage' c)

Defined in Erebos.Storage.Internal

Methods

(==) :: Storage' c -> Storage' c -> Bool

(/=) :: Storage' c -> Storage' c -> Bool

MonadIO m => MonadStorage (ReaderT Storage m)

Defined in Erebos.Storage

Methods

getStorage :: ReaderT Storage m Storage

mstore :: Storable a => a -> ReaderT Storage m (Stored a)

showParentStorage :: Storage' c -> String

data StorageBacking c

Constructors

StorageDir

Fields

• dirPath :: FilePath
• dirWatchers :: MVar ([(HeadTypeID, INotify)], WatchList c)

StorageMemory

Fields

• memHeads :: MVar [((HeadTypeID, HeadID), Ref' c)]
• memObjs :: MVar (Map RefDigest ByteString)
• memKeys :: MVar (Map RefDigest ScrubbedBytes)
• memWatchers :: MVar (WatchList c)

Instances

Eq (StorageBacking c)

Defined in Erebos.Storage.Internal

Methods

(==) :: StorageBacking c -> StorageBacking c -> Bool

(/=) :: StorageBacking c -> StorageBacking c -> Bool

newtype WatchID

Constructors

WatchID Int

Instances

Num WatchID

Defined in Erebos.Storage.Internal

Methods

(+) :: WatchID -> WatchID -> WatchID

(-) :: WatchID -> WatchID -> WatchID

(*) :: WatchID -> WatchID -> WatchID

negate :: WatchID -> WatchID

abs :: WatchID -> WatchID

signum :: WatchID -> WatchID

fromInteger :: Integer -> WatchID

Eq WatchID

Defined in Erebos.Storage.Internal

Methods

(==) :: WatchID -> WatchID -> Bool

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

Ord WatchID

Defined in Erebos.Storage.Internal

Methods

compare :: WatchID -> WatchID -> Ordering

(<) :: WatchID -> WatchID -> Bool

(<=) :: WatchID -> WatchID -> Bool

(>) :: WatchID -> WatchID -> Bool

(>=) :: WatchID -> WatchID -> Bool

max :: WatchID -> WatchID -> WatchID

min :: WatchID -> WatchID -> WatchID

data WatchList c

Constructors

WatchList

Fields

• wlNext :: WatchID
• wlList :: [WatchListItem c]

data WatchListItem c

Constructors

WatchListItem

Fields

• wlID :: WatchID
• wlHead :: (HeadTypeID, HeadID)
• wlFun :: Ref' c -> IO ()

newtype RefDigest

Constructors

RefDigest (Digest Blake2b_256)

Instances

Show RefDigest

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> RefDigest -> ShowS

show :: RefDigest -> String

showList :: [RefDigest] -> ShowS

NFData RefDigest

Defined in Erebos.Storage.Internal

Methods

rnf :: RefDigest -> ()

StorageCompleteness Partial

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Partial a

Methods

returnLoadResult :: Partial a -> LoadResult Partial a

ioLoadBytes :: Ref' Partial -> IO (Partial ByteString)

Eq RefDigest

Defined in Erebos.Storage.Internal

Methods

(==) :: RefDigest -> RefDigest -> Bool

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

Ord RefDigest

Defined in Erebos.Storage.Internal

Methods

compare :: RefDigest -> RefDigest -> Ordering

(<) :: RefDigest -> RefDigest -> Bool

(<=) :: RefDigest -> RefDigest -> Bool

(>) :: RefDigest -> RefDigest -> Bool

(>=) :: RefDigest -> RefDigest -> Bool

max :: RefDigest -> RefDigest -> RefDigest

min :: RefDigest -> RefDigest -> RefDigest

Hashable RefDigest

Defined in Erebos.Storage.Internal

Methods

hashWithSalt :: Int -> RefDigest -> Int

hash :: RefDigest -> Int

ByteArrayAccess RefDigest

Defined in Erebos.Storage.Internal

Methods

length :: RefDigest -> Int

withByteArray :: RefDigest -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: RefDigest -> Ptr p -> IO ()

type LoadResult Partial a

Defined in Erebos.Storage.Internal

type LoadResult Partial a = Either RefDigest a

data Ref' c

Constructors

Ref (Storage' c) RefDigest

Instances

Show (Ref' c)

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Ref' c -> ShowS

show :: Ref' c -> String

showList :: [Ref' c] -> ShowS

Eq (Ref' c)

Defined in Erebos.Storage.Internal

Methods

(==) :: Ref' c -> Ref' c -> Bool

(/=) :: Ref' c -> Ref' c -> Bool

Hashable (Ref' c)

Defined in Erebos.Storage.Internal

Methods

hashWithSalt :: Int -> Ref' c -> Int

hash :: Ref' c -> Int

ByteArrayAccess (Ref' c)

Defined in Erebos.Storage.Internal

Methods

length :: Ref' c -> Int

withByteArray :: Ref' c -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Ref' c -> Ptr p -> IO ()

refStorage :: Ref' c -> Storage' c

refDigest :: Ref' c -> RefDigest

showRef :: Ref' c -> ByteString

showRefDigestParts :: RefDigest -> (ByteString, ByteString)

showRefDigest :: RefDigest -> ByteString

readRefDigest :: ByteString -> Maybe RefDigest

refDigestFromByteString :: ByteArrayAccess ba => ba -> Maybe RefDigest

hashToRefDigest :: ByteString -> RefDigest

showHex :: ByteArrayAccess ba => ba -> ByteString

readHex :: ByteArray ba => ByteString -> Maybe ba

newtype Generation

Constructors

Generation Int

Instances

Show Generation

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Generation -> ShowS

show :: Generation -> String

showList :: [Generation] -> ShowS

Eq Generation

Defined in Erebos.Storage.Internal

Methods

(==) :: Generation -> Generation -> Bool

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

data Head' c a

Constructors

Head HeadID (Stored' c a)

Instances

(HeadType a, MonadIO m) => MonadHead a (ReaderT (Head a) m)

Defined in Erebos.State

Methods

updateLocalHead :: (Stored a -> ReaderT (Head a) m (Stored a, b)) -> ReaderT (Head a) m b

Show a => Show (Head' c a)

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Head' c a -> ShowS

show :: Head' c a -> String

showList :: [Head' c a] -> ShowS

MonadIO m => MonadStorage (ReaderT (Head a) m)

Defined in Erebos.Storage

Methods

getStorage :: ReaderT (Head a) m Storage

mstore :: Storable a0 => a0 -> ReaderT (Head a) m (Stored a0)

Eq (Head' c a)

Defined in Erebos.Storage.Internal

Methods

(==) :: Head' c a -> Head' c a -> Bool

(/=) :: Head' c a -> Head' c a -> Bool

newtype HeadID

Constructors

HeadID UUID

Instances

Show HeadID

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> HeadID -> ShowS

show :: HeadID -> String

showList :: [HeadID] -> ShowS

StorableUUID HeadID

Defined in Erebos.Storage

Methods

toUUID :: HeadID -> UUID

fromUUID :: UUID -> HeadID

Eq HeadID

Defined in Erebos.Storage.Internal

Methods

(==) :: HeadID -> HeadID -> Bool

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

Ord HeadID

Defined in Erebos.Storage.Internal

Methods

compare :: HeadID -> HeadID -> Ordering

(<) :: HeadID -> HeadID -> Bool

(<=) :: HeadID -> HeadID -> Bool

(>) :: HeadID -> HeadID -> Bool

(>=) :: HeadID -> HeadID -> Bool

max :: HeadID -> HeadID -> HeadID

min :: HeadID -> HeadID -> HeadID

newtype HeadTypeID

Constructors

HeadTypeID UUID

Instances

StorableUUID HeadTypeID

Defined in Erebos.Storage

Methods

toUUID :: HeadTypeID -> UUID

fromUUID :: UUID -> HeadTypeID

Eq HeadTypeID

Defined in Erebos.Storage.Internal

Methods

(==) :: HeadTypeID -> HeadTypeID -> Bool

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

Ord HeadTypeID

Defined in Erebos.Storage.Internal

Methods

compare :: HeadTypeID -> HeadTypeID -> Ordering

(<) :: HeadTypeID -> HeadTypeID -> Bool

(<=) :: HeadTypeID -> HeadTypeID -> Bool

(>) :: HeadTypeID -> HeadTypeID -> Bool

(>=) :: HeadTypeID -> HeadTypeID -> Bool

max :: HeadTypeID -> HeadTypeID -> HeadTypeID

min :: HeadTypeID -> HeadTypeID -> HeadTypeID

data Stored' c a

Constructors

Stored (Ref' c) a

Instances

Storable a => Storable (Stored a)

Defined in Erebos.Storage

Methods

store' :: Stored a -> Store

load' :: Load (Stored a)

store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> Stored a -> IO (Ref' c)

load :: Ref -> Stored a

ZeroStorable a => ZeroStorable (Stored a)

Defined in Erebos.Storage

Methods

fromZero :: Storage -> Stored a

Mergeable [Stored Object]

Defined in Erebos.Storage.Merge

Associated Types

type Component [Stored Object]

Methods

mergeSorted :: [Stored (Component [Stored Object])] -> [Stored Object]

toComponents :: [Stored Object] -> [Stored (Component [Stored Object])]

Show a => Show (Stored' c a)

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Stored' c a -> ShowS

show :: Stored' c a -> String

showList :: [Stored' c a] -> ShowS

Eq (Stored' c a)

Defined in Erebos.Storage.Internal

Methods

(==) :: Stored' c a -> Stored' c a -> Bool

(/=) :: Stored' c a -> Stored' c a -> Bool

Ord (Stored' c a)

Defined in Erebos.Storage.Internal

Methods

compare :: Stored' c a -> Stored' c a -> Ordering

(<) :: Stored' c a -> Stored' c a -> Bool

(<=) :: Stored' c a -> Stored' c a -> Bool

(>) :: Stored' c a -> Stored' c a -> Bool

(>=) :: Stored' c a -> Stored' c a -> Bool

max :: Stored' c a -> Stored' c a -> Stored' c a

min :: Stored' c a -> Stored' c a -> Stored' c a

type Component [Stored Object]

Defined in Erebos.Storage.Merge

type Component [Stored Object] = Object

storedStorage :: Stored' c a -> Storage' c

type Complete = Identity

type Partial = Either RefDigest

class (Traversable compl, Monad compl) => StorageCompleteness compl where

Associated Types

type LoadResult compl a :: Type

Methods

returnLoadResult :: compl a -> LoadResult compl a

ioLoadBytes :: Ref' compl -> IO (compl ByteString)

Instances

StorageCompleteness Complete

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Complete a

Methods

returnLoadResult :: Complete a -> LoadResult Complete a

ioLoadBytes :: Ref' Complete -> IO (Complete ByteString)

StorageCompleteness Partial

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Partial a

Methods

returnLoadResult :: Partial a -> LoadResult Partial a

ioLoadBytes :: Ref' Partial -> IO (Partial ByteString)

unsafeStoreRawBytes :: Storage' c -> ByteString -> IO (Ref' c)

ioLoadBytesFromStorage :: Storage' c -> RefDigest -> IO (Maybe ByteString)

refPath :: FilePath -> RefDigest -> FilePath

openLockFile :: FilePath -> IO Handle

writeFileOnce :: FilePath -> ByteString -> IO ()

writeFileChecked :: FilePath -> Maybe ByteString -> ByteString -> IO (Either (Maybe ByteString) ())