B
и где
profile.api._?что это ?
import slick.jdbc.H2Profile.api._В примерах в документации всё есть же.
Size: a a a
2020 September 28
S
Зависит от целевой БД, например для H2:
S
если не хочется привязываться к конкретной БД, то надо сделать
как здесь примерно: https://scastie.scala-lang.org/jj8znAKjSYOcsroG1u95zQ
trait Shema {
val profile: JdbcProfile
import profile.api._
class StoryTable...
}как здесь примерно: https://scastie.scala-lang.org/jj8znAKjSYOcsroG1u95zQ
S
не надо таблицу делать
case class - просто class более чем достаточно.λ
можно и кейс класс, ничем не повредит
B
спасибо
K
В чем отличие
EDIT: Без параметра
Free[F, A] от Either[Free[A], F[A]]/Free[A] | F[A]?EDIT: Без параметра
F, Free.FlatMap не может продолжатся с включением в себя F...K
А так можно?
enum Free[+F[+_], +A] {
case FlatMap[+F[+_], A, +B](
lhs: Free[F, A] | F[A],
rhs: A => Free[F, B] | F[B]
) extends Free[F, B]
}Oℕ
В чем отличие
EDIT: Без параметра
Free[F, A] от Either[Free[A], F[A]]/Free[A] | F[A]?EDIT: Без параметра
F, Free.FlatMap не может продолжатся с включением в себя F...Что это за тип?
Either[Free[A], F[A]]/Free[A] | F[A]K
Либо ейзер либо не-ейзер в зависимости от версии скалы
K
Вот такая вот хитрая штука
Oℕ
Free[A] ~ A | F[Free[A]]
K
Короче я хочу
unboxed freeOℕ
не должно получиться
Oℕ
если хочешь монаду
Oℕ
Ну в крайнем случае, если например сделать приватный конструктор Pure
Oℕ
Можно сделать
Free[A] = Pure(A) | F[Free[A]]
Free[A] = Pure(A) | F[Free[A]]
Oℕ
Т.е. как минимум один боксинг должен быть
K
Из-за
Free[Free ?Oℕ
Но даже если его так сделать получится классическая фри (не фриир) конструкция, у которой плохая асимптотика