prometheus4cats/prometheus4cats.internal/ShapelessPolyfill

ShapelessPolyfill

trait ShapelessPolyfill
Source:
ShapelessPolyfill.scala
class Object
trait Matchable
class Any

Type members

Classlikes

object GT
trait GT[A <: Nat, B <: Nat] extends Serializable
object Nat
object Sized
object ToInt
trait ToInt[N <: Nat]

Types

type Represented[R] = R match { case IndexedSeq[a] => a }
type Sized[Repr, L <: Nat] = TupleSized[Repr, Represented[Repr], L]
type Succ[N <: Nat] = N + 1
type TupleSized[R, A, N <: Int] = N match { case 0 => EmptyTuple case S[n] => A *: TupleSized[R, A, n] }

Extensions

Extensions

extension [R, A, N <: Int](s: TupleSized[R, A, N])
def :+(a: A): TupleSized[R, A, N + 1]