erebos-0.1.9: Decentralized messaging and synchronization
Safe HaskellNone
LanguageHaskell2010

Erebos.Discovery

Documentation

data DiscoveryService Source #

Constructors

DiscoverySelf [Text] (Maybe Int) 
DiscoveryAcknowledged [Text] (Maybe Text) (Maybe Word16) (Maybe Text) (Maybe Word16) 
DiscoverySearch Ref 
DiscoveryResult Ref [Text] 
DiscoveryConnectionRequest DiscoveryConnection 
DiscoveryConnectionResponse DiscoveryConnection 

Instances

Instances details
Service DiscoveryService Source # 
Instance details

Defined in Erebos.Discovery

Associated Types

type ServiceAttributes DiscoveryService 
Instance details

Defined in Erebos.Discovery

type ServiceAttributes DiscoveryService = DiscoveryAttributes
type ServiceState DiscoveryService 
Instance details

Defined in Erebos.Discovery

type ServiceState DiscoveryService
type ServiceGlobalState DiscoveryService 
Instance details

Defined in Erebos.Discovery

type ServiceGlobalState DiscoveryService

Methods

serviceID :: proxy DiscoveryService -> ServiceID Source #

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

serviceNewPeer :: ServiceHandler DiscoveryService () Source #

defaultServiceAttributes :: proxy DiscoveryService -> ServiceAttributes DiscoveryService Source #

emptyServiceState :: proxy DiscoveryService -> ServiceState DiscoveryService Source #

emptyServiceGlobalState :: proxy DiscoveryService -> ServiceGlobalState DiscoveryService Source #

serviceStorageWatchers :: proxy DiscoveryService -> [SomeStorageWatcher DiscoveryService] Source #

serviceStopServer :: proxy DiscoveryService -> Server -> ServiceGlobalState DiscoveryService -> [(Peer, ServiceState DiscoveryService)] -> IO () Source #

Storable DiscoveryService Source # 
Instance details

Defined in Erebos.Discovery

Methods

store' :: DiscoveryService -> Store Source #

load' :: Load DiscoveryService Source #

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

load :: Ref -> DiscoveryService Source #

type ServiceAttributes DiscoveryService Source # 
Instance details

Defined in Erebos.Discovery

type ServiceAttributes DiscoveryService = DiscoveryAttributes
type ServiceGlobalState DiscoveryService Source # 
Instance details

Defined in Erebos.Discovery

type ServiceGlobalState DiscoveryService
type ServiceState DiscoveryService Source # 
Instance details

Defined in Erebos.Discovery

type ServiceState DiscoveryService

data DiscoveryAttributes Source #

Constructors

DiscoveryAttributes 

Fields

data DiscoveryConnection Source #

Constructors

DiscoveryConnection 

Fields

discoverySearch :: (MonadIO m, MonadError String m) => Server -> Ref -> m () Source #