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/UserSessionsWriter

UserSessionsWriter

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

The writing model projection for Sessions. It encapsulates the write-side operations for saving Sessions to the underlying store.

Type parameters

F

the effect type

T

the result type of the write operation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait UserSessionsStore[F, T]

Members list

Value members

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

def removeRoute(scope: Scope): F[T]

Remove the route information for the given scope.

Remove the route information for the given scope.

Attributes

def update(variation: Snapshot): F[T]

Save the given variation in the store.

Save the given variation in the store.

Attributes

Generated with