GP
Size: a a a
2020 November 28
Oℕ
в общем, стоит почитать доки либы
SA
в общем, стоит почитать доки либы
Пролистал, с ходу не нашел. Ну ок, пролистаю еще раз)
GP
GP
там прям твой вопрос + след секция generating case classes
GP
Пойдёт для старта?
SA
Пойдёт для старта?
Не-а, мне же не случайные инстансы нужны, а объединение множеств вариантов для каждого поля класса
SA
В моем примере - должно получиться 3 теста
SA
И другой вопрос - это как-то скрещивается с кодом на эффектах?
GP
И другой вопрос - это как-то скрещивается с кодом на эффектах?
SA
GP
Спасибо, но кол-во звезд удручает. Вы этим пользуетесь?
я законы пропертями проверяю; этим не пользовался кроме как для примера; да глянь на край либу не сложное своё сделать если хочешь
GP
А так пилквист использует это в комкасте
SA
В итоге запилил своё, с детерминированным поведением и тестированием граничных случаев
2020 November 29
G
как я могу проверить является ли объект одним из типов? например есть класс инстанс
объявлено это всё так:
entityType объекта EntityType, я хочу проверить является ли он WALL или HOUSE. городить ифы/матч это имхо странный вариантобъявлено это всё так:
sealed abstract class EntityType (val tag: Int) {
def writeTo(stream: java.io.OutputStream) {
StreamUtil.writeInt(stream, tag)
}
}
object EntityType {
case object WALL extends EntityType(0)
case object HOUSE extends EntityType(1)
def readFrom(stream: java.io.InputStream): EntityType = StreamUtil.readInt(stream) match {
case 0 => WALL
case 1 => HOUSE
case _ => throw new java.io.IOException("Unexpected tag value")
}AS
как я могу проверить является ли объект одним из типов? например есть класс инстанс
объявлено это всё так:
entityType объекта EntityType, я хочу проверить является ли он WALL или HOUSE. городить ифы/матч это имхо странный вариантобъявлено это всё так:
sealed abstract class EntityType (val tag: Int) {
def writeTo(stream: java.io.OutputStream) {
StreamUtil.writeInt(stream, tag)
}
}
object EntityType {
case object WALL extends EntityType(0)
case object HOUSE extends EntityType(1)
def readFrom(stream: java.io.InputStream): EntityType = StreamUtil.readInt(stream) match {
case 0 => WALL
case 1 => HOUSE
case _ => throw new java.io.IOException("Unexpected tag value")
}Объявить на нём fold с match один раз.
Oℕ
как я могу проверить является ли объект одним из типов? например есть класс инстанс
объявлено это всё так:
entityType объекта EntityType, я хочу проверить является ли он WALL или HOUSE. городить ифы/матч это имхо странный вариантобъявлено это всё так:
sealed abstract class EntityType (val tag: Int) {
def writeTo(stream: java.io.OutputStream) {
StreamUtil.writeInt(stream, tag)
}
}
object EntityType {
case object WALL extends EntityType(0)
case object HOUSE extends EntityType(1)
def readFrom(stream: java.io.InputStream): EntityType = StreamUtil.readInt(stream) match {
case 0 => WALL
case 1 => HOUSE
case _ => throw new java.io.IOException("Unexpected tag value")
}так как вы пользуетесь case object, вы так и можете писать в патерн-матчинге
обращаю внимание, что именование с заглавной буквы, а не полностью апперкейс является в scala принятым.
Мало того, задачи для енумерейшенов с числовыми кодами можно упростить с помощью библиотеки enumeratum
https://github.com/lloydmeta/enumeratum#valueenum
{
case Wall =>
case House =>
обращаю внимание, что именование с заглавной буквы, а не полностью апперкейс является в scala принятым.
Мало того, задачи для енумерейшенов с числовыми кодами можно упростить с помощью библиотеки enumeratum
https://github.com/lloydmeta/enumeratum#valueenum
В
Объявить на нём fold с match один раз.
А можно подробнее про этот путь? Не понимаю, как fold относится к такой задаче.
AS
А можно подробнее про этот путь? Не понимаю, как fold относится к такой задаче.
def fold[A](onWall: => A, onHouse: => A): A =
this match {
case Wall => onWall
case House => onHouse
}
В
так как вы пользуетесь case object, вы так и можете писать в патерн-матчинге
обращаю внимание, что именование с заглавной буквы, а не полностью апперкейс является в scala принятым.
Мало того, задачи для енумерейшенов с числовыми кодами можно упростить с помощью библиотеки enumeratum
https://github.com/lloydmeta/enumeratum#valueenum
{
case Wall =>
case House =>
обращаю внимание, что именование с заглавной буквы, а не полностью апперкейс является в scala принятым.
Мало того, задачи для енумерейшенов с числовыми кодами можно упростить с помощью библиотеки enumeratum
https://github.com/lloydmeta/enumeratum#valueenum
Там же match идёт по Int-у, разве match по case object-ам имеет к этому отношение? (без enumeratum если делать)