Newsubtype
Like Newtype, except as a subtype of the underlying type instead of as an entirely new type.
type Level = Level.Type
object Level extends NewsubtypeWrapped[Int]
val level1: Level = Level(1)
// This works too
val level2: Int = Level(2)
// This fails compilation
// val level3: Level = 3
trait NewsubtypeTrait[Src]
trait NewEncoding[Src]
class Object
trait Matchable
class Any
class NewsubtypeValidated[Src]
class NewsubtypeWrapped[Src]
Type members
Inherited types
Value members
Inherited methods
Extensions
Inherited extensions
extension (self: Type)