object LTEq extends LTEq0 with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- LTEq
- Serializable
- Serializable
- LTEq0
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
- def apply[A <: Nat, B <: Nat](implicit lteq: <=[A, B]): LTEq[A, B]
- implicit def ltEq1[A <: Nat]: <=[A, A]
- implicit def ltEq2[A <: Nat]: <=[A, Succ[A]]
-
implicit
def
ltEq3[B <: Nat]: <=[_0, B]
- Definition Classes
- LTEq0
-
implicit
def
ltEq4[A <: Nat, B <: Nat](implicit lteq: <=[A, B]): <=[Succ[A], Succ[B]]
- Definition Classes
- LTEq0