Erebos.Service

Documentation

class (Typeable s, Storable s, Typeable (ServiceState s), Typeable (ServiceGlobalState s)) => Service s where

Minimal complete definition

serviceID, serviceHandler

Associated Types

type ServiceAttributes s = attr | attr -> s

type ServiceAttributes s = Proxy s

type ServiceState s :: Type

type ServiceState s = ()

type ServiceGlobalState s :: Type

type ServiceGlobalState s = ()

Methods

serviceID :: proxy s -> ServiceID

serviceHandler :: Stored s -> ServiceHandler s ()

serviceNewPeer :: ServiceHandler s ()

defaultServiceAttributes :: proxy s -> ServiceAttributes s

default defaultServiceAttributes :: ServiceAttributes s ~ Proxy s => proxy s -> ServiceAttributes s

emptyServiceState :: proxy s -> ServiceState s

default emptyServiceState :: ServiceState s ~ () => proxy s -> ServiceState s

emptyServiceGlobalState :: proxy s -> ServiceGlobalState s

default emptyServiceGlobalState :: ServiceGlobalState s ~ () => proxy s -> ServiceGlobalState s

serviceStorageWatchers :: proxy s -> [SomeStorageWatcher s]

Instances

Service DirectMessage

Defined in Erebos.Message

Associated Types

type ServiceAttributes DirectMessage = (attr :: Type)

type ServiceState DirectMessage

type ServiceGlobalState DirectMessage

Methods

serviceID :: proxy DirectMessage -> ServiceID

serviceHandler :: Stored DirectMessage -> ServiceHandler DirectMessage ()

serviceNewPeer :: ServiceHandler DirectMessage ()

defaultServiceAttributes :: proxy DirectMessage -> ServiceAttributes DirectMessage

emptyServiceState :: proxy DirectMessage -> ServiceState DirectMessage

emptyServiceGlobalState :: proxy DirectMessage -> ServiceGlobalState DirectMessage

serviceStorageWatchers :: proxy DirectMessage -> [SomeStorageWatcher DirectMessage]

Service SyncService

Defined in Erebos.Sync

Associated Types

type ServiceAttributes SyncService = (attr :: Type)

type ServiceState SyncService

type ServiceGlobalState SyncService

Methods

serviceID :: proxy SyncService -> ServiceID

serviceHandler :: Stored SyncService -> ServiceHandler SyncService ()

serviceNewPeer :: ServiceHandler SyncService ()

defaultServiceAttributes :: proxy SyncService -> ServiceAttributes SyncService

emptyServiceState :: proxy SyncService -> ServiceState SyncService

emptyServiceGlobalState :: proxy SyncService -> ServiceGlobalState SyncService

serviceStorageWatchers :: proxy SyncService -> [SomeStorageWatcher SyncService]

PairingResult a => Service (PairingService a)

Defined in Erebos.Pairing

Associated Types

type ServiceAttributes (PairingService a) = (attr :: Type)

type ServiceState (PairingService a)

type ServiceGlobalState (PairingService a)

Methods

serviceID :: proxy (PairingService a) -> ServiceID

serviceHandler :: Stored (PairingService a) -> ServiceHandler (PairingService a) ()

serviceNewPeer :: ServiceHandler (PairingService a) ()

defaultServiceAttributes :: proxy (PairingService a) -> ServiceAttributes (PairingService a)

emptyServiceState :: proxy (PairingService a) -> ServiceState (PairingService a)

emptyServiceGlobalState :: proxy (PairingService a) -> ServiceGlobalState (PairingService a)

serviceStorageWatchers :: proxy (PairingService a) -> [SomeStorageWatcher (PairingService a)]

data SomeService

Constructors

forall s.Service s => SomeService (Proxy s) (ServiceAttributes s)

someService :: forall s proxy. Service s => proxy s -> SomeService

someServiceAttr :: forall s. Service s => ServiceAttributes s -> SomeService

someServiceID :: SomeService -> ServiceID

data SomeServiceState

Constructors

forall s.Service s => SomeServiceState (Proxy s) (ServiceState s)

fromServiceState :: Service s => proxy s -> SomeServiceState -> Maybe (ServiceState s)

someServiceEmptyState :: SomeService -> SomeServiceState

data SomeServiceGlobalState

Constructors

forall s.Service s => SomeServiceGlobalState (Proxy s) (ServiceGlobalState s)

fromServiceGlobalState :: Service s => proxy s -> SomeServiceGlobalState -> Maybe (ServiceGlobalState s)

someServiceEmptyGlobalState :: SomeService -> SomeServiceGlobalState

data SomeStorageWatcher s

Constructors

forall a.Eq a => SomeStorageWatcher (Stored LocalState -> a) (a -> ServiceHandler s ())

data ServiceID

Instances

Show ServiceID

Defined in Erebos.Service

Methods

showsPrec :: Int -> ServiceID -> ShowS

show :: ServiceID -> String

showList :: [ServiceID] -> ShowS

StorableUUID ServiceID

Defined in Erebos.Service

Methods

toUUID :: ServiceID -> UUID

fromUUID :: UUID -> ServiceID

Eq ServiceID

Defined in Erebos.Service

Methods

(==) :: ServiceID -> ServiceID -> Bool

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

Ord ServiceID

Defined in Erebos.Service

Methods

compare :: ServiceID -> ServiceID -> Ordering

(<) :: ServiceID -> ServiceID -> Bool

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

(>) :: ServiceID -> ServiceID -> Bool

(>=) :: ServiceID -> ServiceID -> Bool

max :: ServiceID -> ServiceID -> ServiceID

min :: ServiceID -> ServiceID -> ServiceID

mkServiceID :: String -> ServiceID

data ServiceHandler s a

Instances

MonadHead LocalState (ServiceHandler s)

Defined in Erebos.Service

Methods

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

MonadError String (ServiceHandler s)

Defined in Erebos.Service

Methods

throwError :: String -> ServiceHandler s a

catchError :: ServiceHandler s a -> (String -> ServiceHandler s a) -> ServiceHandler s a

MonadIO (ServiceHandler s)

Defined in Erebos.Service

Methods

liftIO :: IO a -> ServiceHandler s a

Applicative (ServiceHandler s)

Defined in Erebos.Service

Methods

pure :: a -> ServiceHandler s a

(<*>) :: ServiceHandler s (a -> b) -> ServiceHandler s a -> ServiceHandler s b

liftA2 :: (a -> b -> c) -> ServiceHandler s a -> ServiceHandler s b -> ServiceHandler s c

(*>) :: ServiceHandler s a -> ServiceHandler s b -> ServiceHandler s b

(<*) :: ServiceHandler s a -> ServiceHandler s b -> ServiceHandler s a

Functor (ServiceHandler s)

Defined in Erebos.Service

Methods

fmap :: (a -> b) -> ServiceHandler s a -> ServiceHandler s b

(<$) :: a -> ServiceHandler s b -> ServiceHandler s a

Monad (ServiceHandler s)

Defined in Erebos.Service

Methods

(>>=) :: ServiceHandler s a -> (a -> ServiceHandler s b) -> ServiceHandler s b

(>>) :: ServiceHandler s a -> ServiceHandler s b -> ServiceHandler s b

return :: a -> ServiceHandler s a

MonadStorage (ServiceHandler s)

Defined in Erebos.Service

Methods

getStorage :: ServiceHandler s Storage

mstore :: Storable a => a -> ServiceHandler s (Stored a)

MonadReader (ServiceInput s) (ServiceHandler s)

Defined in Erebos.Service

Methods

ask :: ServiceHandler s (ServiceInput s)

local :: (ServiceInput s -> ServiceInput s) -> ServiceHandler s a -> ServiceHandler s a

reader :: (ServiceInput s -> a) -> ServiceHandler s a

MonadWriter [ServiceReply s] (ServiceHandler s)

Defined in Erebos.Service

Methods

writer :: (a, [ServiceReply s]) -> ServiceHandler s a

tell :: [ServiceReply s] -> ServiceHandler s ()

listen :: ServiceHandler s a -> ServiceHandler s (a, [ServiceReply s])

pass :: ServiceHandler s (a, [ServiceReply s] -> [ServiceReply s]) -> ServiceHandler s a

data ServiceInput s

Constructors

ServiceInput

Fields

• svcAttributes :: ServiceAttributes s
• svcPeer :: Peer
• svcPeerIdentity :: UnifiedIdentity
• svcServer :: Server
• svcPrintOp :: String -> IO ()

Instances

MonadReader (ServiceInput s) (ServiceHandler s)

Defined in Erebos.Service

Methods

ask :: ServiceHandler s (ServiceInput s)

local :: (ServiceInput s -> ServiceInput s) -> ServiceHandler s a -> ServiceHandler s a

reader :: (ServiceInput s -> a) -> ServiceHandler s a

data ServiceReply s

Constructors

ServiceReply (Either s (Stored s)) Bool

ServiceFinally (IO ())

Instances

MonadWriter [ServiceReply s] (ServiceHandler s)

Defined in Erebos.Service

Methods

writer :: (a, [ServiceReply s]) -> ServiceHandler s a

tell :: [ServiceReply s] -> ServiceHandler s ()

listen :: ServiceHandler s a -> ServiceHandler s (a, [ServiceReply s])

pass :: ServiceHandler s (a, [ServiceReply s] -> [ServiceReply s]) -> ServiceHandler s a

runServiceHandler :: Service s => Head LocalState -> ServiceInput s -> ServiceState s -> ServiceGlobalState s -> ServiceHandler s () -> IO ([ServiceReply s], (ServiceState s, ServiceGlobalState s))

svcGet :: ServiceHandler s (ServiceState s)

svcSet :: ServiceState s -> ServiceHandler s ()

svcModify :: (ServiceState s -> ServiceState s) -> ServiceHandler s ()

svcGetGlobal :: ServiceHandler s (ServiceGlobalState s)

svcSetGlobal :: ServiceGlobalState s -> ServiceHandler s ()

svcModifyGlobal :: (ServiceGlobalState s -> ServiceGlobalState s) -> ServiceHandler s ()

svcGetLocal :: ServiceHandler s (Stored LocalState)

svcSetLocal :: Stored LocalState -> ServiceHandler s ()

svcSelf :: ServiceHandler s UnifiedIdentity

svcPrint :: String -> ServiceHandler s ()

replyPacket :: Service s => s -> ServiceHandler s ()

replyStored :: Service s => Stored s -> ServiceHandler s ()

replyStoredRef :: Service s => Stored s -> ServiceHandler s ()

afterCommit :: IO () -> ServiceHandler s ()