prometheus4cats/prometheus4cats.internal/ShapelessPolyfill/Nat

Nat

object Nat
Source:
ShapelessPolyfill.scala
class Object
trait Matchable
class Any
Nat.type

Type members

Types

type _0 = 0
type _1 = 1

Value members

Concrete methods

def toInt[N <: Nat](using toIntN: ToInt[N]): Int