p
prometheus4cats
package prometheus4cats
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prometheus4cats
- ShapelessPolyfill
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
type
GT[A <: Nat, B <: Nat] = LT[B, A]
- Definition Classes
- ShapelessPolyfill
-
type
Nat = shapeless.Nat
- Definition Classes
- ShapelessPolyfill
-
type
Succ[N <: Nat] = shapeless.Succ[N]
- Definition Classes
- ShapelessPolyfill
-
type
ToInt[N <: Nat] = shapeless.ops.nat.ToInt[N]
- Definition Classes
- ShapelessPolyfill
Value Members
-
val
GT: shapeless.ops.nat.GT.type
- Definition Classes
- ShapelessPolyfill
-
val
Succ: shapeless.Succ.type
- Definition Classes
- ShapelessPolyfill
-
val
ToInt: shapeless.ops.nat.ToInt.type
- Definition Classes
- ShapelessPolyfill
- implicit def neq[A, B]: =:!=[A, B]
- implicit def neqAmbig1[A]: =:!=[A, A]
- implicit def neqAmbig2[A]: =:!=[A, A]
- def unexpected: Nothing