Packages

object LTEq extends LTEq0 with Serializable

Linear Supertypes
Serializable, Serializable, LTEq0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LTEq
  2. Serializable
  3. Serializable
  4. LTEq0
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type <=[A <: Nat, B <: Nat] = LTEq[A, B]
    Definition Classes
    LTEq0

Value Members

  1. def apply[A <: Nat, B <: Nat](implicit lteq: <=[A, B]): LTEq[A, B]
  2. implicit def ltEq1[A <: Nat]: <=[A, A]
  3. implicit def ltEq2[A <: Nat]: <=[A, Succ[A]]
  4. implicit def ltEq3[B <: Nat]: <=[_0, B]
    Definition Classes
    LTEq0
  5. implicit def ltEq4[A <: Nat, B <: Nat](implicit lteq: <=[A, B]): <=[Succ[A], Succ[B]]
    Definition Classes
    LTEq0