halotukozak.commons
package halotukozak.commons
Members list
Type members
Classlikes
object TailRecTraversable
Attributes
- Companion
- trait
- Supertypes
- Self type
-
TailRecTraversable.type
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
object given_TailRecTraversable_Set
object containsOnly extends containsOnlyLowPriority
Attributes
- Companion
- trait
- Supertypes
- Self type
-
containsOnly.type
Attributes
- Supertypes
- Known subtypes
-
object containsOnly
Types
type HasDuplicates[Tup <: Tuple] = Tup match { case EmptyTuple => false case h *: t => Contains[t, h] || HasDuplicates[t] }
type Indices[Tup <: Tuple] = Tup match { case EmptyTuple => EmptyTuple case h *: t => 0 *: IndicesAux[t, 1] }
type IndicesAux[Tup <: Tuple, N <: Int] = Tup match { case EmptyTuple => EmptyTuple case h *: t => N *: IndicesAux[t, S[N]] }
Value members
Concrete methods
Extensions
Extensions
extension (companion: Expr.type)
Build an Expr[Tuple] from a List[Expr[?]], keeping the precise h0 *: h1 *: … *: EmptyTuple element type.
Build an Expr[Tuple] from a List[Expr[?]], keeping the precise h0 *: h1 *: … *: EmptyTuple element type.
The emitted term is a single flat Tuple.fromArray(Array(…)).asInstanceOf[…], not a nested h0 *: (h1 *: (…)). A nested chain re-ascribes the whole remaining tuple type at every cons, so it expands to O(n²) tree size wherever it lands at an inline use site — measurably the bulk of the inlining phase in derivation-heavy downstreams (mirror elems, per-element annotation flags, …). The flat form is O(n).
Attributes
extension (tup: Tuple)
def mapAs[T](using containsOnly[tup.type, T])[F[_ <: T]](f: [t <: T] => t => F[t]): Map[tup.type, [X] =>> F[X & T]]
In this article