Erebos.State

Documentation

data LocalState

Constructors

LocalState

Fields

• lsIdentity :: Stored (Signed ExtendedIdentityData)
• lsShared :: [Stored SharedState]

Instances

HeadType LocalState

Defined in Erebos.State

Methods

headTypeID :: proxy LocalState -> HeadTypeID

Storable LocalState

Defined in Erebos.State

Methods

store' :: LocalState -> Store

load' :: Load LocalState

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

load :: Ref -> LocalState

MonadHead LocalState (ServiceHandler s)

Defined in Erebos.Service

Methods

updateLocalHead :: (Stored LocalState -> ServiceHandler s (Stored LocalState, b)) -> ServiceHandler s b

data SharedState

Instances

Storable SharedState

Defined in Erebos.State

Methods

store' :: SharedState -> Store

load' :: Load SharedState

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

load :: Ref -> SharedState

class Mergeable a => SharedType a where

Methods

sharedTypeID :: proxy a -> SharedTypeID

Instances

SharedType DirectMessageThreads

Defined in Erebos.Message

Methods

sharedTypeID :: proxy DirectMessageThreads -> SharedTypeID

SharedType (Set Contact)

Defined in Erebos.Contact

Methods

sharedTypeID :: proxy (Set Contact) -> SharedTypeID

SharedType (Maybe ComposedIdentity)

Defined in Erebos.State

Methods

sharedTypeID :: proxy (Maybe ComposedIdentity) -> SharedTypeID

data SharedTypeID

Instances

StorableUUID SharedTypeID

Defined in Erebos.State

Methods

toUUID :: SharedTypeID -> UUID

fromUUID :: UUID -> SharedTypeID

Eq SharedTypeID

Defined in Erebos.State

Methods

(==) :: SharedTypeID -> SharedTypeID -> Bool

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

Ord SharedTypeID

Defined in Erebos.State

Methods

compare :: SharedTypeID -> SharedTypeID -> Ordering

(<) :: SharedTypeID -> SharedTypeID -> Bool

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

(>) :: SharedTypeID -> SharedTypeID -> Bool

(>=) :: SharedTypeID -> SharedTypeID -> Bool

max :: SharedTypeID -> SharedTypeID -> SharedTypeID

min :: SharedTypeID -> SharedTypeID -> SharedTypeID

mkSharedTypeID :: String -> SharedTypeID

class (MonadIO m, MonadStorage m) => MonadHead a m where

Methods

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

Instances

MonadHead LocalState (ServiceHandler s)

Defined in Erebos.Service

Methods

updateLocalHead :: (Stored LocalState -> ServiceHandler s (Stored LocalState, b)) -> ServiceHandler s b

(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

updateLocalHead_ :: MonadHead a m => (Stored a -> m (Stored a)) -> m ()

loadLocalStateHead :: MonadIO m => Storage -> m (Head LocalState)

updateSharedState :: forall a b m. (SharedType a, MonadHead LocalState m) => (a -> m (a, b)) -> Stored LocalState -> m (Stored LocalState, b)

updateSharedState_ :: forall a m. (SharedType a, MonadHead LocalState m) => (a -> m a) -> Stored LocalState -> m (Stored LocalState)

lookupSharedValue :: forall a. SharedType a => [Stored SharedState] -> a

makeSharedStateUpdate :: forall a m. MonadIO m => SharedType a => Storage -> a -> [Stored SharedState] -> m (Stored SharedState)

localIdentity :: LocalState -> UnifiedIdentity

headLocalIdentity :: Head LocalState -> UnifiedIdentity

mergeSharedIdentity :: (MonadHead LocalState m, MonadError String m) => m UnifiedIdentity

updateSharedIdentity :: (MonadHead LocalState m, MonadError String m) => m ()

interactiveIdentityUpdate :: (Foldable f, MonadStorage m, MonadIO m, MonadError String m) => Identity f -> m UnifiedIdentity