location-service 5.7.0 API
API
Generated with
location-service 5.7.0 API/io.github.positionpal.location/io.github.positionpal.location.application/io.github.positionpal.location.application.sessions/UserSessionsStore

UserSessionsStore

io.github.positionpal.location.application.sessions.UserSessionsStore
trait UserSessionsStore[F[_], T] extends UserSessionsReader[F], UserSessionsWriter[F, T]

A store for Sessions, supporting both read and write operations.

Type parameters

F

the effect type

T

the result type of the write operation

Attributes

Graph
Supertypes
trait UserSessionsWriter[F, T]
class Object
trait Matchable
class Any

Members list

Value members

Inherited and Abstract methods

def addRoute(scope: Scope, mode: RoutingMode, destination: Address, expectedArrival: Instant): F[T]

Save new route information for the given scope, including the mode of routing to the destination and the expectedArrival.

Save new route information for the given scope, including the mode of routing to the destination and the expectedArrival.

Attributes

Inherited from:
UserSessionsWriter
def removeRoute(scope: Scope): F[T]

Remove the route information for the given scope.

Remove the route information for the given scope.

Attributes

Inherited from:
UserSessionsWriter
def sessionOf(scope: Scope): F[Option[Session]]

Attributes

Returns

the current Session of the given userId if it exists.

Inherited from:
UserSessionsReader
def update(variation: Snapshot): F[T]

Save the given variation in the store.

Save the given variation in the store.

Attributes

Inherited from:
UserSessionsWriter
Generated with