MathLib

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 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

5. 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

6. val Modulo: BinaryFunc

   

   Definition Classes

   MathLib

7. 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

8. val Negate: UnaryFunc

   

   Aka "unary minus".

   Aka "unary minus".

   Definition Classes

   MathLib

9. object One

   

   Definition Classes

   MathLib

10. object OneF

    

    Definition Classes

    MathLib

11. val Power: BinaryFunc

    

    Definition Classes

    MathLib

12. 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

13. object TOne

    

    Definition Classes

    MathLib

14. object TZero

    

    Definition Classes

    MathLib

15. object Zero

    

    Definition Classes

    MathLib

16. object ZeroF

    

    Definition Classes

    MathLib

17. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

18. def basicUntyper[N <: Nat]: Untyper[N]

    

    Attributes

    protected

    Definition Classes

    Library

19. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Attributes

    protected

    Definition Classes

    Library

21. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

22. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

23. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

24. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

25. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

26. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

27. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

28. val noSimplification: Simplifier

    

    Attributes

    protected

    Definition Classes

    Library

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. def numericWidening: Typer[shapeless.Nat._2]

    

    Attributes

    protected

    Definition Classes

    Library

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

    

    Attributes

    protected

    Definition Classes

    Library

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

    

    Definition Classes

    Library

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

    

    Attributes

    protected

    Definition Classes

    Library

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

    

    Attributes

    protected

    Definition Classes

    Library

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

    

    Definition Classes

    AnyRef

37. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

    Attributes

    protected

    Definition Classes

    Library

39. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

41. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )