Last active
May 14, 2021 16:43
-
-
Save ClintCombs/629302f25fea161aa0b1c132e3c16c88 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Ongoing thoughts about kinds in shapeless 3 and Scala 3. | |
| // See the shapeless discussion here: https://discord.com/channels/632277896739946517/632312089616056350 | |
| trait BaseKind // AnyKind in Scala 3.x? | |
| type Kind = Tuple | BaseKind | |
| object K0 extends BaseKind { | |
| override def toString: String = "*" | |
| def *:(k: Kind): Tuple = (k, K0) | |
| } | |
| val K1: Kind = K0 *: K0 | |
| val K11: Kind = K1 *: K0 | |
| val K2: Kind = K0 *: K0 *: K0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment