Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  val Abs: UnaryFunc

   Definition Classes

   MathLib

5.  val Add: BinaryFunc

   Adds two numeric values, promoting to decimal if either operand is decimal.

   Adds two numeric values, promoting to decimal if either operand is decimal.

   Definition Classes

   MathLib

6.  val Ceil: UnaryFunc

   Definition Classes

   MathLib

7.  val CeilScale: BinaryFunc

   Definition Classes

   MathLib

8.  val Divide: BinaryFunc

   Divides one value by another, promoting to decimal if either operand is decimal.

   Divides one value by another, promoting to decimal if either operand is decimal.

   Definition Classes

   MathLib

9.  val Floor: UnaryFunc

   Definition Classes

   MathLib

10.  val FloorScale: BinaryFunc

    Definition Classes

    MathLib

11.  val Modulo: BinaryFunc

    Definition Classes

    MathLib

12.  val Multiply: BinaryFunc

    Multiplies two numeric values, promoting to decimal if either operand is decimal.

    Multiplies two numeric values, promoting to decimal if either operand is decimal.

    Definition Classes

    MathLib

13.  val Negate: UnaryFunc

    Aka "unary minus".

    Aka "unary minus".

    Definition Classes

    MathLib

14.  val Power: BinaryFunc

    Definition Classes

    MathLib

15.  val Round: UnaryFunc

    Definition Classes

    MathLib

16.  val RoundScale: BinaryFunc

    Definition Classes

    MathLib

17.  val Subtract: BinaryFunc

    Subtracts one value from another, promoting to decimal if either operand is decimal.

    Subtracts one value from another, promoting to decimal if either operand is decimal.

    Definition Classes

    MathLib

18.  val Trunc: UnaryFunc

    Definition Classes

    MathLib

19.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

20.  def basicTyper[N <: Nat]: Typer[N]

    Definition Classes

    Library

21.  def basicUntyper[N <: Nat]: Untyper[N]

    Attributes

    protected

    Definition Classes

    Library

22.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

23.  def constTyper[N <: Nat](codomain: Codomain): Typer[N]

    Attributes

    protected

    Definition Classes

    Library

24.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

26.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

27.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

28.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

29.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

30.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

31.  val noSimplification: Simplifier

    Attributes

    protected

    Definition Classes

    Library

32.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

33.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

34.  def numericWidening: Typer[shapeless.Nat._2]

    Attributes

    protected

    Definition Classes

    Library

35.  def partialTyper[N <: Nat](f: slamdata.Predef.PartialFunction[Domain[N], Codomain]): Typer[N]

    Attributes

    protected

    Definition Classes

    Library

36.  def partialTyperOV[N <: Nat](f: (Domain[N]) ⇒ slamdata.Predef.Option[VCodomain]): Typer[N]

    Definition Classes

    Library

37.  def partialTyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Domain[N], VCodomain]): Typer[N]

    Definition Classes

    Library

38.  def partialUntyper[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, Domain[N]]): Untyper[N]

    Attributes

    protected

    Definition Classes

    Library

39.  def partialUntyperOV[N <: Nat](f: (Codomain) ⇒ slamdata.Predef.Option[VDomain[N]]): Untyper[N]

    Attributes

    protected

    Definition Classes

    Library

40.  def partialUntyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, VDomain[N]]): Untyper[N]

    Attributes

    protected

    Definition Classes

    Library

41.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

42.  def toString(): String

    Definition Classes

    AnyRef → Any

43.  def untyper[N <: Nat](f: (Codomain) ⇒ VDomain[N]): Untyper[N]

    Definition Classes

    Library

44.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

47.  def widenConstTyper[N <: Nat](select: (Domain[N]) ⇒ Type): Typer[N]

    Definition Classes

    Library

48.  object One

    Definition Classes

    MathLib

49.  object OneF

    Definition Classes

    MathLib

50.  object TOne

    Definition Classes

    MathLib

51.  object TZero

    Definition Classes

    MathLib

52.  object Zero

    Definition Classes

    MathLib

53.  object ZeroF

    Definition Classes

    MathLib