Expose typelevel axis indices as a Seq, not a Set

EmergentOrder · EmergentOrder · commit f98f79044c04 · 2021-03-08T15:09:02.000-05:00
diff --git a/common/src/main/scala/io/kjaer/compiletime/Indices.scala b/common/src/main/scala/io/kjaer/compiletime/Indices.scala
@@ -10,10 +10,11 @@ sealed trait Indices {
   def :::[H <: Index, This >: this.type <: Indices](head: H): H ::: This =
     io.kjaer.compiletime.:::(head, this)
 
-  def indices: Set[Int] = this match {
-    case head ::: tail => tail.indices + head
-    case INil => Set.empty
+  def indices: Seq[Int] = this match {
+    case INil => Nil
+    case head ::: tail => head +: tail.indices
   }
+
 }
 
 final case class :::[H <: Index, T <: Indices](head: H, tail: T) extends Indices {

Original file line number	Diff line number	Diff line change
`@@ -10,10 +10,11 @@ sealed trait Indices {`
`10`	`10`	`def :::[H <: Index, This >: this.type <: Indices](head: H): H ::: This =`
`11`	`11`	`io.kjaer.compiletime.:::(head, this)`
`12`	`12`
`13`		`- def indices: Set[Int] = this match {`
`14`		`- case head ::: tail => tail.indices + head`
`15`		`- case INil => Set.empty`
	`13`	`+ def indices: Seq[Int] = this match {`
	`14`	`+ case INil => Nil`
	`15`	`+ case head ::: tail => head +: tail.indices`
`16`	`16`	`}`
	`17`	`+`
`17`	`18`	`}`
`18`	`19`
`19`	`20`	`final case class :::[H <: Index, T <: Indices](head: H, tail: T) extends Indices {`