Sam Garfinkel
03/17/2023, 1:21 AMAdam S
03/17/2023, 2:02 AMsealed class
and sealed interface
which fulfil a similar purpose.
https://kotlinlang.org/docs/sealed-classes.html
Of course this requires you can add an interface to all the types. If the types aren’t under you control, you could consider packaging them in a value class.
union & intersection types should be coming one day… https://youtrack.jetbrains.com/issue/KT-13108/Denotable-union-and-intersection-typesSam Garfinkel
03/17/2023, 3:11 AMPaul Griffith
03/17/2023, 5:11 AM