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/io.github.positionpal.location.application.sessions.impl/BasicUserSessionsService

BasicUserSessionsService

io.github.positionpal.location.application.sessions.impl.BasicUserSessionsService
class BasicUserSessionsService[F[_]](userGroupsService: UserGroupsService[F], userSessionStore: UserSessionsReader[F]) extends UserSessionsService[F]

A basic implementation of the UserSessionsService that retrieves user sessions based on their group membership.

Value parameters

userGroupsService

the service for managing user groups

userSessionStore

the store for user sessions

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def ofGroup(groupId: GroupId): Stream[F, Session]

Attributes

Returns

the current Sessions of all members of the given groupId.

Definition Classes
override def ofScope(scope: Scope): F[Option[Session]]

Attributes

Returns

the current Session of the given scope.user in the given scope.group, if it exists.

Definition Classes
Generated with