Safe Haskell	Safe-Inferred
Language	Haskell2010

Erebos.Storage

Synopsis

type Storage = Storage' Complete
type PartialStorage = Storage' Partial
class (Traversable compl, Monad compl) => StorageCompleteness compl
openStorage :: FilePath -> IO Storage
memoryStorage :: IO Storage
deriveEphemeralStorage :: Storage -> IO Storage
derivePartialStorage :: Storage -> IO PartialStorage
type Ref = Ref' Complete
type PartialRef = Ref' Partial
data RefDigest
refDigest :: Ref' c -> RefDigest
readRef :: Storage -> ByteString -> IO (Maybe Ref)
showRef :: Ref' c -> ByteString
showRefDigest :: RefDigest -> ByteString
refDigestFromByteString :: ByteArrayAccess ba => ba -> Maybe RefDigest
hashToRefDigest :: ByteString -> RefDigest
copyRef :: forall c c' m. (StorageCompleteness c, StorageCompleteness c', MonadIO m) => Storage' c' -> Ref' c -> m (LoadResult c (Ref' c'))
partialRef :: PartialStorage -> Ref -> PartialRef
partialRefFromDigest :: PartialStorage -> RefDigest -> PartialRef
type Object = Object' Complete
type PartialObject = Object' Partial
data Object' c
- = Blob ByteString
- | Rec [(ByteString, RecItem' c)]
- | ZeroObject
type RecItem = RecItem' Complete
data RecItem' c
- = RecEmpty
- | RecInt Integer
- | RecNum Rational
- | RecText Text
- | RecBinary ByteString
- | RecDate ZonedTime
- | RecUUID UUID
- | RecRef (Ref' c)
serializeObject :: Object' c -> ByteString
deserializeObject :: PartialStorage -> ByteString -> Except String (PartialObject, ByteString)
deserializeObjects :: PartialStorage -> ByteString -> Except String [PartialObject]
ioLoadObject :: forall c. StorageCompleteness c => Ref' c -> IO (c (Object' c))
ioLoadBytes :: StorageCompleteness compl => Ref' compl -> IO (compl ByteString)
storeRawBytes :: PartialStorage -> ByteString -> IO PartialRef
lazyLoadBytes :: forall c. StorageCompleteness c => Ref' c -> LoadResult c ByteString
storeObject :: PartialStorage -> PartialObject -> IO PartialRef
collectObjects :: Object -> [Object]
collectStoredObjects :: Stored Object -> [Stored Object]
type Head = Head' Complete
class Storable a => HeadType a where
- headTypeID :: proxy a -> HeadTypeID
data HeadTypeID
mkHeadTypeID :: String -> HeadTypeID
headId :: Head a -> HeadID
headStorage :: Head a -> Storage
headRef :: Head a -> Ref
headObject :: Head a -> a
headStoredObject :: Head a -> Stored a
loadHeads :: forall a m. MonadIO m => HeadType a => Storage -> m [Head a]
loadHead :: forall a m. (HeadType a, MonadIO m) => Storage -> HeadID -> m (Maybe (Head a))
reloadHead :: (HeadType a, MonadIO m) => Head a -> m (Maybe (Head a))
storeHead :: forall a m. MonadIO m => HeadType a => Storage -> a -> m (Head a)
replaceHead :: forall a m. (HeadType a, MonadIO m) => Head a -> Stored a -> m (Either (Maybe (Head a)) (Head a))
updateHead :: (HeadType a, MonadIO m) => Head a -> (Stored a -> m (Stored a, b)) -> m (Maybe (Head a), b)
updateHead_ :: (HeadType a, MonadIO m) => Head a -> (Stored a -> m (Stored a)) -> m (Maybe (Head a))
data WatchedHead
watchHead :: forall a. HeadType a => Head a -> (Head a -> IO ()) -> IO WatchedHead
watchHeadWith :: forall a b. (HeadType a, Eq b) => Head a -> (Head a -> b) -> (b -> IO ()) -> IO WatchedHead
unwatchHead :: WatchedHead -> IO ()
class Monad m => MonadStorage m where
- getStorage :: m Storage
- mstore :: Storable a => a -> m (Stored a)
class Storable a where
- store' :: a -> Store
- load' :: Load a
- store :: StorageCompleteness c => Storage' c -> a -> IO (Ref' c)
- load :: Ref -> a
class Storable a => ZeroStorable a where
- fromZero :: Storage -> a
class StorableText a where
- toText :: a -> Text
- fromText :: MonadError String m => Text -> m a
class StorableDate a where
- toDate :: a -> ZonedTime
- fromDate :: ZonedTime -> a
class StorableUUID a where
- toUUID :: a -> UUID
- fromUUID :: UUID -> a
data Store
type StoreRec c = StoreRecM c ()
evalStore :: StorageCompleteness c => Storage' c -> Store -> IO (Ref' c)
evalStoreObject :: StorageCompleteness c => Storage' c -> Store -> IO (Object' c)
storeBlob :: ByteString -> Store
storeRec :: (forall c. StorageCompleteness c => StoreRec c) -> Store
storeZero :: Store
storeEmpty :: String -> StoreRec c
storeInt :: Integral a => String -> a -> StoreRec c
storeNum :: (Real a, Fractional a) => String -> a -> StoreRec c
storeText :: StorableText a => String -> a -> StoreRec c
storeBinary :: ByteArrayAccess a => String -> a -> StoreRec c
storeDate :: StorableDate a => String -> a -> StoreRec c
storeUUID :: StorableUUID a => String -> a -> StoreRec c
storeRef :: Storable a => StorageCompleteness c => String -> a -> StoreRec c
storeRawRef :: StorageCompleteness c => String -> Ref -> StoreRec c
storeMbEmpty :: String -> Maybe () -> StoreRec c
storeMbInt :: Integral a => String -> Maybe a -> StoreRec c
storeMbNum :: (Real a, Fractional a) => String -> Maybe a -> StoreRec c
storeMbText :: StorableText a => String -> Maybe a -> StoreRec c
storeMbBinary :: ByteArrayAccess a => String -> Maybe a -> StoreRec c
storeMbDate :: StorableDate a => String -> Maybe a -> StoreRec c
storeMbUUID :: StorableUUID a => String -> Maybe a -> StoreRec c
storeMbRef :: Storable a => StorageCompleteness c => String -> Maybe a -> StoreRec c
storeMbRawRef :: StorageCompleteness c => String -> Maybe Ref -> StoreRec c
storeZRef :: (ZeroStorable a, StorageCompleteness c) => String -> a -> StoreRec c
data Load a
data LoadRec a
evalLoad :: Load a -> Ref -> a
loadCurrentRef :: Load Ref
loadCurrentObject :: Load Object
loadRecCurrentRef :: LoadRec Ref
loadRecItems :: LoadRec [(ByteString, RecItem)]
loadBlob :: (ByteString -> a) -> Load a
loadRec :: LoadRec a -> Load a
loadZero :: a -> Load a
loadEmpty :: String -> LoadRec ()
loadInt :: Num a => String -> LoadRec a
loadNum :: (Real a, Fractional a) => String -> LoadRec a
loadText :: StorableText a => String -> LoadRec a
loadBinary :: ByteArray a => String -> LoadRec a
loadDate :: StorableDate a => String -> LoadRec a
loadUUID :: StorableUUID a => String -> LoadRec a
loadRef :: Storable a => String -> LoadRec a
loadRawRef :: String -> LoadRec Ref
loadMbEmpty :: String -> LoadRec (Maybe ())
loadMbInt :: Num a => String -> LoadRec (Maybe a)
loadMbNum :: (Real a, Fractional a) => String -> LoadRec (Maybe a)
loadMbText :: StorableText a => String -> LoadRec (Maybe a)
loadMbBinary :: ByteArray a => String -> LoadRec (Maybe a)
loadMbDate :: StorableDate a => String -> LoadRec (Maybe a)
loadMbUUID :: StorableUUID a => String -> LoadRec (Maybe a)
loadMbRef :: Storable a => String -> LoadRec (Maybe a)
loadMbRawRef :: String -> LoadRec (Maybe Ref)
loadTexts :: StorableText a => String -> LoadRec [a]
loadBinaries :: ByteArray a => String -> LoadRec [a]
loadRefs :: Storable a => String -> LoadRec [a]
loadRawRefs :: String -> LoadRec [Ref]
loadZRef :: ZeroStorable a => String -> LoadRec a
type Stored a = Stored' Complete a
fromStored :: Stored a -> a
storedRef :: Stored a -> Ref
wrappedStore :: MonadIO m => Storable a => Storage -> a -> m (Stored a)
wrappedLoad :: Storable a => Ref -> Stored a
copyStored :: forall c c' m a. (StorageCompleteness c, StorageCompleteness c', MonadIO m) => Storage' c' -> Stored' c a -> m (LoadResult c (Stored' c' a))
unsafeMapStored :: (a -> b) -> Stored a -> Stored b
data StoreInfo = StoreInfo {
- infoDate :: ZonedTime
- infoNote :: Maybe Text
}
makeStoreInfo :: IO StoreInfo
type StoredHistory a = Stored (History a)
fromHistory :: StoredHistory a -> a
fromHistoryAt :: ZonedTime -> StoredHistory a -> Maybe a
storedFromHistory :: StoredHistory a -> Stored a
storedHistoryList :: StoredHistory a -> [Stored a]
beginHistory :: Storable a => Storage -> StoreInfo -> a -> IO (StoredHistory a)
modifyHistory :: Storable a => StoreInfo -> (a -> a) -> StoredHistory a -> IO (StoredHistory a)

Documentation

type Storage = Storage' Complete Source #

type PartialStorage = Storage' Partial Source #

class (Traversable compl, Monad compl) => StorageCompleteness compl Source #

Minimal complete definition

returnLoadResult, ioLoadBytes

Instances

Instances details

StorageCompleteness Complete Source #
Instance details Defined in Erebos.Storage.Internal Associated Types type LoadResult Complete a Source # 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 Source # Methods returnLoadResult :: Partial a -> LoadResult Partial a Source # ioLoadBytes :: Ref' Partial -> IO (Partial ByteString) Source #

openStorage :: FilePath -> IO Storage Source #

memoryStorage :: IO Storage Source #

deriveEphemeralStorage :: Storage -> IO Storage Source #

derivePartialStorage :: Storage -> IO PartialStorage Source #

type Ref = Ref' Complete Source #

type PartialRef = Ref' Partial Source #

data RefDigest Source #

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

refDigest :: Ref' c -> RefDigest Source #

readRef :: Storage -> ByteString -> IO (Maybe Ref) Source #

showRef :: Ref' c -> ByteString Source #

showRefDigest :: RefDigest -> ByteString Source #

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

hashToRefDigest :: ByteString -> RefDigest Source #

copyRef :: forall c c' m. (StorageCompleteness c, StorageCompleteness c', MonadIO m) => Storage' c' -> Ref' c -> m (LoadResult c (Ref' c')) Source #

partialRef :: PartialStorage -> Ref -> PartialRef Source #

partialRefFromDigest :: PartialStorage -> RefDigest -> PartialRef Source #

type Object = Object' Complete Source #

type PartialObject = Object' Partial Source #

data Object' c Source #

Constructors

Blob ByteString
Rec [(ByteString, RecItem' c)]
ZeroObject

Instances

Instances details

Storable Object Source #
Instance details Defined in Erebos.Storage Methods store' :: Object -> Store Source # load' :: Load Object Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> Object -> IO (Ref' c) Source # load :: Ref -> Object Source #
Show (Object' c) Source #
Instance details Defined in Erebos.Storage Methods showsPrec :: Int -> Object' c -> ShowS # show :: Object' c -> String # showList :: [Object' c] -> ShowS #
Mergeable [Stored Object] Source #
Instance details Defined in Erebos.Storage.Merge Associated Types type Component [Stored Object] Source # Methods mergeSorted :: [Stored (Component [Stored Object])] -> [Stored Object] Source # toComponents :: [Stored Object] -> [Stored (Component [Stored Object])] Source #
type Component [Stored Object] Source #
Instance details Defined in Erebos.Storage.Merge type Component [Stored Object] = Object

type RecItem = RecItem' Complete Source #

data RecItem' c Source #

Constructors

RecEmpty
RecInt Integer
RecNum Rational
RecText Text
RecBinary ByteString
RecDate ZonedTime
RecUUID UUID
RecRef (Ref' c)

Instances

Instances details

Show (RecItem' c) Source #
Instance details Defined in Erebos.Storage Methods showsPrec :: Int -> RecItem' c -> ShowS # show :: RecItem' c -> String # showList :: [RecItem' c] -> ShowS #

serializeObject :: Object' c -> ByteString Source #

deserializeObject :: PartialStorage -> ByteString -> Except String (PartialObject, ByteString) Source #

deserializeObjects :: PartialStorage -> ByteString -> Except String [PartialObject] Source #

ioLoadObject :: forall c. StorageCompleteness c => Ref' c -> IO (c (Object' c)) Source #

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

storeRawBytes :: PartialStorage -> ByteString -> IO PartialRef Source #

lazyLoadBytes :: forall c. StorageCompleteness c => Ref' c -> LoadResult c ByteString Source #

storeObject :: PartialStorage -> PartialObject -> IO PartialRef Source #

collectObjects :: Object -> [Object] Source #

collectStoredObjects :: Stored Object -> [Stored Object] Source #

type Head = Head' Complete Source #

class Storable a => HeadType a where Source #

Methods

headTypeID :: proxy a -> HeadTypeID Source #

Instances

Instances details

HeadType LocalState Source #
Instance details Defined in Erebos.State Methods headTypeID :: proxy LocalState -> HeadTypeID Source #

data HeadTypeID Source #

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 #

mkHeadTypeID :: String -> HeadTypeID Source #

headId :: Head a -> HeadID Source #

headStorage :: Head a -> Storage Source #

headRef :: Head a -> Ref Source #

headObject :: Head a -> a Source #

headStoredObject :: Head a -> Stored a Source #

loadHeads :: forall a m. MonadIO m => HeadType a => Storage -> m [Head a] Source #

loadHead :: forall a m. (HeadType a, MonadIO m) => Storage -> HeadID -> m (Maybe (Head a)) Source #

reloadHead :: (HeadType a, MonadIO m) => Head a -> m (Maybe (Head a)) Source #

storeHead :: forall a m. MonadIO m => HeadType a => Storage -> a -> m (Head a) Source #

replaceHead :: forall a m. (HeadType a, MonadIO m) => Head a -> Stored a -> m (Either (Maybe (Head a)) (Head a)) Source #

updateHead :: (HeadType a, MonadIO m) => Head a -> (Stored a -> m (Stored a, b)) -> m (Maybe (Head a), b) Source #

updateHead_ :: (HeadType a, MonadIO m) => Head a -> (Stored a -> m (Stored a)) -> m (Maybe (Head a)) Source #

data WatchedHead Source #

watchHead :: forall a. HeadType a => Head a -> (Head a -> IO ()) -> IO WatchedHead Source #

watchHeadWith :: forall a b. (HeadType a, Eq b) => Head a -> (Head a -> b) -> (b -> IO ()) -> IO WatchedHead Source #

unwatchHead :: WatchedHead -> IO () Source #

class Monad m => MonadStorage m where Source #

Minimal complete definition

getStorage

Methods

getStorage :: m Storage Source #

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

default mstore :: MonadIO m => Storable a => a -> m (Stored a) Source #

Instances

Instances details

MonadStorage (ServiceHandler s) Source #
Instance details Defined in Erebos.Service Methods getStorage :: ServiceHandler s Storage Source # mstore :: Storable a => a -> ServiceHandler s (Stored a) Source #
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 #
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 #

class Storable a where Source #

Minimal complete definition

store', load'

Methods

store' :: a -> Store Source #

load' :: Load a Source #

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

load :: Ref -> a Source #

Instances

Instances details

Storable ByteString Source #
Instance details Defined in Erebos.Storage Methods store' :: ByteString -> Store Source # load' :: Load ByteString Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ByteString -> IO (Ref' c) Source # load :: Ref -> ByteString Source #
Storable ChannelAcceptData Source #
Instance details Defined in Erebos.Channel Methods store' :: ChannelAcceptData -> Store Source # load' :: Load ChannelAcceptData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChannelAcceptData -> IO (Ref' c) Source # load :: Ref -> ChannelAcceptData Source #
Storable ChannelRequestData Source #
Instance details Defined in Erebos.Channel Methods store' :: ChannelRequestData -> Store Source # load' :: Load ChannelRequestData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChannelRequestData -> IO (Ref' c) Source # load :: Ref -> ChannelRequestData Source #
Storable ExtendedIdentityData Source #
Instance details Defined in Erebos.Identity Methods store' :: ExtendedIdentityData -> Store Source # load' :: Load ExtendedIdentityData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ExtendedIdentityData -> IO (Ref' c) Source # load :: Ref -> ExtendedIdentityData Source #
Storable IdentityData Source #
Instance details Defined in Erebos.Identity Methods store' :: IdentityData -> Store Source # load' :: Load IdentityData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityData -> IO (Ref' c) Source # load :: Ref -> IdentityData Source #
Storable IdentityExtension Source #
Instance details Defined in Erebos.Identity Methods store' :: IdentityExtension -> Store Source # load' :: Load IdentityExtension Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> IdentityExtension -> IO (Ref' c) Source # load :: Ref -> IdentityExtension Source #
Storable DirectMessage Source #
Instance details Defined in Erebos.Message Methods store' :: DirectMessage -> Store Source # load' :: Load DirectMessage Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> DirectMessage -> IO (Ref' c) Source # load :: Ref -> DirectMessage Source #
Storable PublicKexKey Source #
Instance details Defined in Erebos.PubKey Methods store' :: PublicKexKey -> Store Source # load' :: Load PublicKexKey Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> PublicKexKey -> IO (Ref' c) Source # load :: Ref -> PublicKexKey Source #
Storable PublicKey Source #
Instance details Defined in Erebos.PubKey Methods store' :: PublicKey -> Store Source # load' :: Load PublicKey Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> PublicKey -> IO (Ref' c) Source # load :: Ref -> PublicKey Source #
Storable Signature Source #
Instance details Defined in Erebos.PubKey Methods store' :: Signature -> Store Source # load' :: Load Signature Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> Signature -> IO (Ref' c) Source # load :: Ref -> Signature Source #
Storable LocalState Source #
Instance details Defined in Erebos.State Methods store' :: LocalState -> Store Source # load' :: Load LocalState Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> LocalState -> IO (Ref' c) Source # load :: Ref -> LocalState Source #
Storable SharedState Source #
Instance details Defined in Erebos.State Methods store' :: SharedState -> Store Source # load' :: Load SharedState Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> SharedState -> IO (Ref' c) Source # load :: Ref -> SharedState Source #
Storable Object Source #
Instance details Defined in Erebos.Storage Methods store' :: Object -> Store Source # load' :: Load Object Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> Object -> IO (Ref' c) Source # load :: Ref -> Object Source #
Storable SyncService Source #
Instance details Defined in Erebos.Sync Methods store' :: SyncService -> Store Source # load' :: Load SyncService Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> SyncService -> IO (Ref' c) Source # load :: Ref -> SyncService Source #
Storable a => Storable (PairingService a) Source #
Instance details Defined in Erebos.Pairing Methods store' :: PairingService a -> Store Source # load' :: Load (PairingService a) Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> PairingService a -> IO (Ref' c) Source # load :: Ref -> PairingService a Source #
Storable a => Storable (Signed a) Source #
Instance details Defined in Erebos.PubKey Methods store' :: Signed a -> Store Source # load' :: Load (Signed a) Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> Signed a -> IO (Ref' c) Source # load :: Ref -> Signed a Source #
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 #
Storable a => Storable [a] Source #
Instance details Defined in Erebos.Storage Methods store' :: [a] -> Store Source # load' :: Load [a] Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> [a] -> IO (Ref' c) Source # load :: Ref -> [a] Source #

class Storable a => ZeroStorable a where Source #

Methods

fromZero :: Storage -> a Source #

Instances

Instances details

ZeroStorable a => ZeroStorable (Stored a) Source #
Instance details Defined in Erebos.Storage Methods fromZero :: Storage -> Stored a Source #
Storable a => ZeroStorable [a] Source #
Instance details Defined in Erebos.Storage Methods fromZero :: Storage -> [a] Source #

class StorableText a where Source #

Methods

toText :: a -> Text Source #

fromText :: MonadError String m => Text -> m a Source #

Instances

Instances details

StorableText Text Source #
Instance details Defined in Erebos.Storage Methods toText :: Text -> Text Source # fromText :: MonadError String m => Text -> m Text Source #
StorableText [Char] Source #
Instance details Defined in Erebos.Storage Methods toText :: [Char] -> Text Source # fromText :: MonadError String m => Text -> m [Char] Source #

class StorableDate a where Source #

Methods

toDate :: a -> ZonedTime Source #

fromDate :: ZonedTime -> a Source #

Instances

Instances details

StorableDate Day Source #
Instance details Defined in Erebos.Storage Methods toDate :: Day -> ZonedTime Source # fromDate :: ZonedTime -> Day Source #
StorableDate UTCTime Source #
Instance details Defined in Erebos.Storage Methods toDate :: UTCTime -> ZonedTime Source # fromDate :: ZonedTime -> UTCTime Source #
StorableDate ZonedTime Source #
Instance details Defined in Erebos.Storage Methods toDate :: ZonedTime -> ZonedTime Source # fromDate :: ZonedTime -> ZonedTime Source #

class StorableUUID a where Source #

Methods

toUUID :: a -> UUID Source #

fromUUID :: UUID -> a Source #

Instances

Instances details

StorableUUID ServiceID Source #
Instance details Defined in Erebos.Service Methods toUUID :: ServiceID -> UUID Source # fromUUID :: UUID -> ServiceID Source #
StorableUUID SharedTypeID Source #
Instance details Defined in Erebos.State Methods toUUID :: SharedTypeID -> UUID Source # fromUUID :: UUID -> SharedTypeID Source #
StorableUUID HeadID Source #
Instance details Defined in Erebos.Storage Methods toUUID :: HeadID -> UUID Source # fromUUID :: UUID -> HeadID Source #
StorableUUID HeadTypeID Source #
Instance details Defined in Erebos.Storage Methods toUUID :: HeadTypeID -> UUID Source # fromUUID :: UUID -> HeadTypeID Source #
StorableUUID UUID Source #
Instance details Defined in Erebos.Storage Methods toUUID :: UUID -> UUID Source # fromUUID :: UUID -> UUID Source #

data Store Source #

type StoreRec c = StoreRecM c () Source #

evalStore :: StorageCompleteness c => Storage' c -> Store -> IO (Ref' c) Source #

evalStoreObject :: StorageCompleteness c => Storage' c -> Store -> IO (Object' c) Source #

storeBlob :: ByteString -> Store Source #

storeRec :: (forall c. StorageCompleteness c => StoreRec c) -> Store Source #

storeZero :: Store Source #

storeEmpty :: String -> StoreRec c Source #

storeInt :: Integral a => String -> a -> StoreRec c Source #

storeNum :: (Real a, Fractional a) => String -> a -> StoreRec c Source #

storeText :: StorableText a => String -> a -> StoreRec c Source #

storeBinary :: ByteArrayAccess a => String -> a -> StoreRec c Source #

storeDate :: StorableDate a => String -> a -> StoreRec c Source #

storeUUID :: StorableUUID a => String -> a -> StoreRec c Source #

storeRef :: Storable a => StorageCompleteness c => String -> a -> StoreRec c Source #

storeRawRef :: StorageCompleteness c => String -> Ref -> StoreRec c Source #

storeMbEmpty :: String -> Maybe () -> StoreRec c Source #

storeMbInt :: Integral a => String -> Maybe a -> StoreRec c Source #

storeMbNum :: (Real a, Fractional a) => String -> Maybe a -> StoreRec c Source #

storeMbText :: StorableText a => String -> Maybe a -> StoreRec c Source #

storeMbBinary :: ByteArrayAccess a => String -> Maybe a -> StoreRec c Source #

storeMbDate :: StorableDate a => String -> Maybe a -> StoreRec c Source #

storeMbUUID :: StorableUUID a => String -> Maybe a -> StoreRec c Source #

storeMbRef :: Storable a => StorageCompleteness c => String -> Maybe a -> StoreRec c Source #

storeMbRawRef :: StorageCompleteness c => String -> Maybe Ref -> StoreRec c Source #

storeZRef :: (ZeroStorable a, StorageCompleteness c) => String -> a -> StoreRec c Source #

data Load a Source #

Instances

Instances details

Alternative Load Source #
Instance details Defined in Erebos.Storage Methods empty :: Load a # (<\|>) :: Load a -> Load a -> Load a # some :: Load a -> Load [a] # many :: Load a -> Load [a] #
Applicative Load Source #
Instance details Defined in Erebos.Storage Methods pure :: a -> Load a # (<>) :: Load (a -> b) -> Load a -> Load b # liftA2 :: (a -> b -> c) -> Load a -> Load b -> Load c # (>) :: Load a -> Load b -> Load b # (<*) :: Load a -> Load b -> Load a #
Functor Load Source #
Instance details Defined in Erebos.Storage Methods fmap :: (a -> b) -> Load a -> Load b # (<$) :: a -> Load b -> Load a #
Monad Load Source #
Instance details Defined in Erebos.Storage Methods (>>=) :: Load a -> (a -> Load b) -> Load b # (>>) :: Load a -> Load b -> Load b # return :: a -> Load a #
MonadPlus Load Source #
Instance details Defined in Erebos.Storage Methods mzero :: Load a # mplus :: Load a -> Load a -> Load a #
MonadError String Load Source #
Instance details Defined in Erebos.Storage Methods throwError :: String -> Load a # catchError :: Load a -> (String -> Load a) -> Load a #

data LoadRec a Source #

Instances

Instances details

Alternative LoadRec Source #
Instance details Defined in Erebos.Storage Methods empty :: LoadRec a # (<\|>) :: LoadRec a -> LoadRec a -> LoadRec a # some :: LoadRec a -> LoadRec [a] # many :: LoadRec a -> LoadRec [a] #
Applicative LoadRec Source #
Instance details Defined in Erebos.Storage Methods pure :: a -> LoadRec a # (<>) :: LoadRec (a -> b) -> LoadRec a -> LoadRec b # liftA2 :: (a -> b -> c) -> LoadRec a -> LoadRec b -> LoadRec c # (>) :: LoadRec a -> LoadRec b -> LoadRec b # (<*) :: LoadRec a -> LoadRec b -> LoadRec a #
Functor LoadRec Source #
Instance details Defined in Erebos.Storage Methods fmap :: (a -> b) -> LoadRec a -> LoadRec b # (<$) :: a -> LoadRec b -> LoadRec a #
Monad LoadRec Source #
Instance details Defined in Erebos.Storage Methods (>>=) :: LoadRec a -> (a -> LoadRec b) -> LoadRec b # (>>) :: LoadRec a -> LoadRec b -> LoadRec b # return :: a -> LoadRec a #
MonadPlus LoadRec Source #
Instance details Defined in Erebos.Storage Methods mzero :: LoadRec a # mplus :: LoadRec a -> LoadRec a -> LoadRec a #
MonadError String LoadRec Source #
Instance details Defined in Erebos.Storage Methods throwError :: String -> LoadRec a # catchError :: LoadRec a -> (String -> LoadRec a) -> LoadRec a #

evalLoad :: Load a -> Ref -> a Source #

loadCurrentRef :: Load Ref Source #

loadCurrentObject :: Load Object Source #

loadRecCurrentRef :: LoadRec Ref Source #

loadRecItems :: LoadRec [(ByteString, RecItem)] Source #

loadBlob :: (ByteString -> a) -> Load a Source #

loadRec :: LoadRec a -> Load a Source #

loadZero :: a -> Load a Source #

loadEmpty :: String -> LoadRec () Source #

loadInt :: Num a => String -> LoadRec a Source #

loadNum :: (Real a, Fractional a) => String -> LoadRec a Source #

loadText :: StorableText a => String -> LoadRec a Source #

loadBinary :: ByteArray a => String -> LoadRec a Source #

loadDate :: StorableDate a => String -> LoadRec a Source #

loadUUID :: StorableUUID a => String -> LoadRec a Source #

loadRef :: Storable a => String -> LoadRec a Source #

loadRawRef :: String -> LoadRec Ref Source #

loadMbEmpty :: String -> LoadRec (Maybe ()) Source #

loadMbInt :: Num a => String -> LoadRec (Maybe a) Source #

loadMbNum :: (Real a, Fractional a) => String -> LoadRec (Maybe a) Source #

loadMbText :: StorableText a => String -> LoadRec (Maybe a) Source #

loadMbBinary :: ByteArray a => String -> LoadRec (Maybe a) Source #

loadMbDate :: StorableDate a => String -> LoadRec (Maybe a) Source #

loadMbUUID :: StorableUUID a => String -> LoadRec (Maybe a) Source #

loadMbRef :: Storable a => String -> LoadRec (Maybe a) Source #

loadMbRawRef :: String -> LoadRec (Maybe Ref) Source #

loadTexts :: StorableText a => String -> LoadRec [a] Source #

loadBinaries :: ByteArray a => String -> LoadRec [a] Source #

loadRefs :: Storable a => String -> LoadRec [a] Source #

loadRawRefs :: String -> LoadRec [Ref] Source #

loadZRef :: ZeroStorable a => String -> LoadRec a Source #

type Stored a = Stored' Complete a Source #

fromStored :: Stored a -> a Source #

storedRef :: Stored a -> Ref Source #

wrappedStore :: MonadIO m => Storable a => Storage -> a -> m (Stored a) Source #

wrappedLoad :: Storable a => Ref -> Stored a Source #

copyStored :: forall c c' m a. (StorageCompleteness c, StorageCompleteness c', MonadIO m) => Storage' c' -> Stored' c a -> m (LoadResult c (Stored' c' a)) Source #

unsafeMapStored :: (a -> b) -> Stored a -> Stored b Source #

Passed function needs to preserve the object representation to be safe

data StoreInfo Source #

Constructors

StoreInfo
Fields infoDate :: ZonedTime infoNote :: Maybe Text

Instances

Instances details

Show StoreInfo Source #
Instance details Defined in Erebos.Storage Methods showsPrec :: Int -> StoreInfo -> ShowS # show :: StoreInfo -> String # showList :: [StoreInfo] -> ShowS #

makeStoreInfo :: IO StoreInfo Source #

type StoredHistory a = Stored (History a) Source #

fromHistory :: StoredHistory a -> a Source #

fromHistoryAt :: ZonedTime -> StoredHistory a -> Maybe a Source #

storedFromHistory :: StoredHistory a -> Stored a Source #

storedHistoryList :: StoredHistory a -> [Stored a] Source #

beginHistory :: Storable a => Storage -> StoreInfo -> a -> IO (StoredHistory a) Source #

modifyHistory :: Storable a => StoreInfo -> (a -> a) -> StoredHistory a -> IO (StoredHistory a) Source #