erebos-0.1.9: Decentralized messaging and synchronization
Safe HaskellNone
LanguageHaskell2010

Erebos.Storage.Internal

Documentation

data Storage' (c :: Type -> Type) Source #

Constructors

Storage 

Fields

Instances

Instances details
Show (Storage' c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

show :: Storage' c -> String #

showList :: [Storage' c] -> ShowS #

Eq (Storage' c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

MonadIO m => MonadStorage (ReaderT Storage m) Source # 
Instance details

Defined in Erebos.Storage

Methods

getStorage :: ReaderT Storage m Storage Source #

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

showParentStorage :: forall (c :: Type -> Type). Storage' c -> String Source #

data StorageBacking (c :: Type -> Type) Source #

Constructors

StorageDir 

Fields

StorageMemory 

Fields

Instances

Instances details
Eq (StorageBacking c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

newtype WatchID Source #

Constructors

WatchID Int 

Instances

Instances details
Num WatchID Source # 
Instance details

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

Defined in Erebos.Storage.Internal

Methods

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

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

Ord WatchID Source # 
Instance details

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 :: Type -> Type) Source #

Constructors

WatchList 

Fields

data WatchListItem (c :: Type -> Type) Source #

Constructors

WatchListItem 

Fields

newtype RefDigest Source #

Constructors

RefDigest (Digest Blake2b_256) 

Instances

Instances details
Show RefDigest Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> RefDigest -> ShowS #

show :: RefDigest -> String #

showList :: [RefDigest] -> ShowS #

NFData RefDigest Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

rnf :: RefDigest -> () #

StorageCompleteness Partial Source # 
Instance details

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Partial a 
Instance details

Defined in Erebos.Storage.Internal

type LoadResult Partial a = Either RefDigest a

Methods

returnLoadResult :: Partial a -> LoadResult Partial a Source #

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

Eq RefDigest Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

Ord RefDigest Source # 
Instance details

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

Defined in Erebos.Storage.Internal

Methods

hashWithSalt :: Int -> RefDigest -> Int #

hash :: RefDigest -> Int #

ByteArrayAccess RefDigest Source # 
Instance details

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

Defined in Erebos.Storage.Internal

type LoadResult Partial a = Either RefDigest a

data Ref' (c :: Type -> Type) Source #

Constructors

Ref (Storage' c) RefDigest 

Instances

Instances details
Show (Ref' c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

show :: Ref' c -> String #

showList :: [Ref' c] -> ShowS #

Eq (Ref' c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

Hashable (Ref' c) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

hash :: Ref' c -> Int #

ByteArrayAccess (Ref' c) Source # 
Instance details

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 :: forall (c :: Type -> Type). Ref' c -> Storage' c Source #

refDigest :: forall (c :: Type -> Type). Ref' c -> RefDigest Source #

showRef :: forall (c :: Type -> Type). Ref' c -> ByteString Source #

showRefDigestParts :: RefDigest -> (ByteString, ByteString) Source #

showRefDigest :: RefDigest -> ByteString Source #

readRefDigest :: ByteString -> Maybe RefDigest Source #

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

hashToRefDigest :: ByteString -> RefDigest Source #

showHex :: ByteArrayAccess ba => ba -> ByteString Source #

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

newtype Generation Source #

Constructors

Generation Int 

Instances

Instances details
Show Generation Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> Generation -> ShowS #

show :: Generation -> String #

showList :: [Generation] -> ShowS #

Eq Generation Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

data Head' (c :: Type -> Type) a Source #

Constructors

Head HeadID (Stored' c a) 

Instances

Instances details
(HeadType a, MonadIO m) => MonadHead a (ReaderT (Head a) m) Source # 
Instance details

Defined in Erebos.State

Methods

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

getLocalHead :: ReaderT (Head a) m (Stored a) Source #

Show a => Show (Head' c a) Source # 
Instance details

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

Defined in Erebos.Storage

Methods

getStorage :: ReaderT (Head a) m Storage Source #

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

Eq (Head' c a) Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

newtype HeadID Source #

Constructors

HeadID UUID 

Instances

Instances details
Show HeadID Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

showsPrec :: Int -> HeadID -> ShowS #

show :: HeadID -> String #

showList :: [HeadID] -> ShowS #

StorableUUID HeadID Source # 
Instance details

Defined in Erebos.Storage

Methods

toUUID :: HeadID -> UUID Source #

fromUUID :: UUID -> HeadID Source #

Eq HeadID Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

Ord HeadID Source # 
Instance details

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

Constructors

HeadTypeID UUID 

Instances

Instances details
StorableUUID HeadTypeID Source # 
Instance details

Defined in Erebos.Storage

Methods

toUUID :: HeadTypeID -> UUID Source #

fromUUID :: UUID -> HeadTypeID Source #

Eq HeadTypeID Source # 
Instance details

Defined in Erebos.Storage.Internal

Methods

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

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

Ord HeadTypeID Source # 
Instance details

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 :: Type -> Type) a Source #

Constructors

Stored (Ref' c) a 

Instances

Instances details
Storable a => Storable (Stored a) Source # 
Instance details

Defined in Erebos.Storage

Methods

store' :: Stored a -> Store Source #

load' :: Load (Stored a) Source #

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

load :: Ref -> Stored a Source #

ZeroStorable a => ZeroStorable (Stored a) Source # 
Instance details

Defined in Erebos.Storage

Methods

fromZero :: Storage -> Stored a Source #

Mergeable [Stored Object] Source # 
Instance details

Defined in Erebos.Storage.Merge

Associated Types

type Component [Stored Object] 
Instance details

Defined in Erebos.Storage.Merge

type Component [Stored Object] = Object

Methods

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

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

Show a => Show (Stored' c a) Source # 
Instance details

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

Defined in Erebos.Storage.Internal

Methods

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

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

Ord (Stored' c a) Source # 
Instance details

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

Defined in Erebos.Storage.Merge

type Component [Stored Object] = Object

storedStorage :: forall (c :: Type -> Type) a. Stored' c a -> Storage' c Source #

type Complete = Identity Source #

type Partial = Either RefDigest Source #

class (Traversable compl, Monad compl) => StorageCompleteness (compl :: Type -> Type) where Source #

Associated Types

type LoadResult (compl :: Type -> Type) a Source #

Methods

returnLoadResult :: compl a -> LoadResult compl a Source #

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

Instances

Instances details
StorageCompleteness Complete Source # 
Instance details

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Complete a 
Instance details

Defined in Erebos.Storage.Internal

type LoadResult Complete a = a

Methods

returnLoadResult :: Complete a -> LoadResult Complete a Source #

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

StorageCompleteness Partial Source # 
Instance details

Defined in Erebos.Storage.Internal

Associated Types

type LoadResult Partial a 
Instance details

Defined in Erebos.Storage.Internal

type LoadResult Partial a = Either RefDigest a

Methods

returnLoadResult :: Partial a -> LoadResult Partial a Source #

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

unsafeStoreRawBytes :: forall (c :: Type -> Type). Storage' c -> ByteString -> IO (Ref' c) Source #

ioLoadBytesFromStorage :: forall (c :: Type -> Type). Storage' c -> RefDigest -> IO (Maybe ByteString) Source #

refPath :: FilePath -> RefDigest -> FilePath Source #

openLockFile :: FilePath -> IO Handle Source #

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

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