profunktor / dorado Goto Github PK

View Code? Open in Web Editor NEW

9.0 9.0 2.0 115 KB

:trident: Generic golden testing library

License: Apache License 2.0

Scala 97.18% Nix 2.82%

dorado's People

Contributors

Stargazers

Watchers

Forkers

sullis yoohaemin

dorado's Issues

Refined types within a companion objection

Similar to what happens with newtypes in #4, I guess this is related.

This works:

type MyId = String Refined Uuid

sealed trait Yay
object Yay {
  case class Foo(x: Int) extends Yay
  case class Bar(y: MyId, z: String) extends Yay
}

Check[Yay]

This doesn't:

sealed trait Yay
object Yay {
  type MyId = String Refined Uuid

  case class Foo(x: Int) extends Yay
  case class Bar(y: MyId, z: String) extends Yay
}

Check[Yay]

Newtypes within a companion object

This works:

@newtype case class Batman(value: java.util.UUID)
@newtype case class Robin(value: java.time.Instant)

sealed trait Yay
object Yay {
  case class Foo(x: Int, aa: Robin) extends Yay
  case class Bar(y: Batman, f: String) extends Yay
}

Check[Yay]

This doesn't:

sealed trait Yay
object Yay {
  @newtype case class Batman(value: java.util.UUID)
  @newtype case class Robin(value: java.time.Instant)
  
  case class Foo(x: Int, aa: Robin) extends Yay
  case class Bar(y: Batman, f: String) extends Yay
}

Check[Yay] // could not find implicit value for parameter ev: munit.golden.internal.Check.Checks[Yay]

Update versions and release artifact

@gvolpe
Hi!
Are there plans to maintain the project?
I wanted to use it but it appeared that there is no released artifact. Once I just sourced from github dependencies were too outdated.
Thanks

Recommend Projects