algebraic

Type Members

1. case class AddExpr[A](lhs: A, rhs: A) extends Expr[A] with Product with Serializable

2. trait BMFSSBound[A <: BMFSSBound[A]] extends ScalaNumber with SeparationBound[A]

   A mixin for the SeparationBound that implements the BMFSS bound.

3. trait BigDecimalApprox[A <: BigDecimalApprox[A]] extends ScalaNumber with RealLike[A] with SeparationBound[A]

4. case class BigIntExpr[A](n: BigInt) extends Expr[A] with Product with Serializable

5. case class BinaryTreeString(op: String, lhs: TreeString, rhs: TreeString) extends TreeString with Product with Serializable

6. trait BubbleUpDivs[A <: RealLike[A]] extends ScalaNumber with RealTransform[A]

   A mixin that will move all divisions up to the top of the expression tree, ensuring there is, at most, one division in a Real.

7. trait Coexpr[A] extends AnyRef

   A type class that indicates that the type A has a structure that can be modelled by an Expr[A].

8. case class ConstTreeString(a: Any) extends TreeString with Product with Serializable

9. trait ConstantFolder[A <: RealLike[A]] extends ScalaNumber with RealTransform[A]

   This folds all ring ops (+, -, *) on constants to constants.

10. case class DivExpr[A](lhs: A, rhs: A) extends Expr[A] with Product with Serializable

11. sealed trait Expr[A] extends AnyRef

    An Expr describes a simple structure for algebraic expressions.

12. trait FPFilter[A <: FPFilter[A]] extends ScalaNumber with RealLike[A]

    A mix-in for RealLike that adds an internal floating pointer filter.

13. case class IntExpr[A](n: Int) extends Expr[A] with Product with Serializable

14. case class KRootExpr[A](sub: A, k: Int) extends Expr[A] with Product with Serializable

15. case class MulExpr[A](lhs: A, rhs: A) extends Expr[A] with Product with Serializable

16. case class NegExpr[A](sub: A) extends Expr[A] with Product with Serializable

17. trait PrettyToString[A <: PrettyToString[A]] extends ScalaNumber with RealLike[A]

18. trait RealLike[A <: RealLike[A]] extends ScalaNumber

19. trait RealTransform[A <: RealLike[A]] extends ScalaNumber with RealLike[A]

    A mixin for a Real that let's us transform the tree as its being built.

20. trait SeparationBound[A <: RealLike[A]] extends ScalaNumber with RealLike[A]

    A SeparationBound provides a way to bound a real number s.

21. case class SubExpr[A](lhs: A, rhs: A) extends Expr[A] with Product with Serializable

22. sealed trait TreeString extends AnyRef

23. case class UnaryTreeString(op: String, sub: TreeString) extends TreeString with Product with Serializable