KC
Раз уж Олег просит
То
ReaderT[F[_], Baz, *] будет автоматически иметь HasContext[..., Bar] наряду с HasContext[..., Bar] и HasContext[..., Foo]
Size: a a a
2020 March 05
λ
челы
какое лучшее имя для @promote выбрать?
@ClassyOptics
case class Foo(
bar: Bar
)
@ClassyOptics
case class Baz(
@promote foo : Foo
)
какое лучшее имя для @promote выбрать?
А что оно делает? Оптику bar на типе Baz?
Oℕ
А что оно делает? Оптику bar на типе Baz?
класси оптику
DM
То
ReaderT[F[_], Baz, *] будет автоматически иметь HasContext[..., Bar] наряду с HasContext[..., Bar] и HasContext[..., Foo]
ReaderT[F[_], Baz, *] будет автоматически иметь HasContext[..., Bar] наряду с HasContext[..., Bar] и HasContext[..., Foo]
о, круто, я извращался имплиситом
@sdelat_context_great или @sdelat_zaipisλ
То
ReaderT[F[_], Baz, *] будет автоматически иметь HasContext[..., Bar] наряду с HasContext[..., Bar] и HasContext[..., Foo]
ReaderT[F[_], Baz, *] будет автоматически иметь HasContext[..., Bar] наряду с HasContext[..., Bar] и HasContext[..., Foo]
о, ты ether для скалы изобретаешь?
Oℕ
о, ты ether для скалы изобретаешь?
ну почти, только получше
Oℕ
для скалы не нужно эзера т.е. Constraint == Type
Oℕ
Поэтому мне не нужно ссылаться на HasContext[F, Foo[F]] я могу вывести из него автоматически просто Foo[F]
Oℕ
Если Foo достаточно хорош
R
челы
какое лучшее имя для @promote выбрать?
@ClassyOptics
case class Foo(
bar: Bar
)
@ClassyOptics
case class Baz(
@promote foo : Foo
)
какое лучшее имя для @promote выбрать?
inject? No jokes
ᛒ
начали за волгу закончили за диай
AK
челы
какое лучшее имя для @promote выбрать?
@ClassyOptics
case class Foo(
bar: Bar
)
@ClassyOptics
case class Baz(
@promote foo : Foo
)
какое лучшее имя для @promote выбрать?
как же прекрасна джава 14
D
как же прекрасна джава 14
добавят тайпклассы потом и скала не нужна будет
Oℕ
яннп
trait Foo[F]
def foo(x: Int): F[String]
given Embed[Foo]
def embed[F[_]: FlatMap](f: F[Foo[F]]): Foo[F] = new {
def foo(x: Int) = f.flatMap(_.foo(x))
}
given [F[_]] Foo[F] when (ctx: HasContext[F, Foo[F]] = Embed[F].embed(ctx.context)
def foo(x: Int): F[String]
given Embed[Foo]
def embed[F[_]: FlatMap](f: F[Foo[F]]): Foo[F] = new {
def foo(x: Int) = f.flatMap(_.foo(x))
}
given [F[_]] Foo[F] when (ctx: HasContext[F, Foo[F]] = Embed[F].embed(ctx.context)
Oℕ
а понятно, спасибо