Oℕ
Size: a a a
Oℕ
NV
Context[F] может быть больше или другие методы.Promise[T] и Future[T], но наружу выставляется только один из трейтовNV
trait Service[F[_]]То есть на каждый новый экземпляр
trait Context[F[_]]
object Service {
def of[F[_]](globalThing: GlobalThing[F]): (Service[F], Context[F])
}
Service[F] я хочу отдавать какой-то интерфейс, который относится к нему, но совершенно необязательно имеет подмножество его фукнциональнсости (напирмер Context[F] умеет удалять Service[F] из глобального хранилища в GlobalThing[F], про которое Service[F] сам ничего не знает).Resource[F, Service[F]]P
C
LS
D
LS
DP
R
SK
DP
C
D
SK
IP
SK
SK
SK
VG