erebos-0.1.6: Decentralized messaging and synchronization
Safe HaskellSafe-Inferred
LanguageHaskell2010

Erebos.Sync

Documentation

data SyncService Source #

Constructors

SyncPacket (Stored SharedState) 

Instances

Instances details
Service SyncService Source # 
Instance details

Defined in Erebos.Sync

Associated Types

type ServiceAttributes SyncService = (attr :: Type) Source #

type ServiceState SyncService Source #

type ServiceGlobalState SyncService Source #

Methods

serviceID :: proxy SyncService -> ServiceID Source #

serviceHandler :: Stored SyncService -> ServiceHandler SyncService () Source #

serviceNewPeer :: ServiceHandler SyncService () Source #

defaultServiceAttributes :: proxy SyncService -> ServiceAttributes SyncService Source #

emptyServiceState :: proxy SyncService -> ServiceState SyncService Source #

emptyServiceGlobalState :: proxy SyncService -> ServiceGlobalState SyncService Source #

serviceStorageWatchers :: proxy SyncService -> [SomeStorageWatcher SyncService] 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 #

type ServiceAttributes SyncService Source # 
Instance details

Defined in Erebos.Sync

type ServiceAttributes SyncService = Proxy SyncService
type ServiceGlobalState SyncService Source # 
Instance details

Defined in Erebos.Sync

type ServiceGlobalState SyncService = ()
type ServiceState SyncService Source # 
Instance details

Defined in Erebos.Sync

type ServiceState SyncService = ()