Packages

trait RealLattice[F] extends LatticeElement[F]

A lattice for floats

Self Type
RealLattice[F]
Linear Supertypes
LatticeElement[F], Show[F], Monoid[F], Semigroup[F], Order[F], Equal[F], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RealLattice
  2. LatticeElement
  3. Show
  4. Monoid
  5. Semigroup
  6. Order
  7. Equal
  8. AnyRef
  9. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait LatticeElementLaw extends MonoidLaw with OrderLaw
    Definition Classes
    LatticeElement
  2. trait EqualLaw extends AnyRef
    Definition Classes
    Equal
  3. trait MonoidLaw extends scalaz.Monoid.SemigroupLaw
    Definition Classes
    Monoid
  4. trait OrderLaw extends scalaz.Order.EqualLaw
    Definition Classes
    Order
  5. trait RealLatticeLaw extends AnyRef
  6. trait SemigroupLaw extends AnyRef
    Definition Classes
    Semigroup

Abstract Value Members

  1. abstract def acos(n: F): F
  2. abstract def asin(n: F): F
  3. abstract def atan(n: F): F
  4. abstract def bottom: F

    The bottom element

    The bottom element

    Definition Classes
    LatticeElement
  5. abstract def cardinality(x: F): Cardinality
    Definition Classes
    LatticeElement
  6. abstract def ceiling(n: F): F
  7. abstract def cos(n: F): F
  8. abstract def div(n1: F, n2: F): F
  9. abstract def eql[B](x: F, y: F)(implicit arg0: BoolLattice[B]): B

    Equality check, returning an abstract result

    Equality check, returning an abstract result

    Definition Classes
    LatticeElement
  10. abstract def floor(n: F): F
  11. abstract def inject(n: Double): F
  12. abstract def join(x: F, y: ⇒ F): F

    The join operation

    The join operation

    Definition Classes
    LatticeElement
  13. abstract def log(n: F): F
  14. abstract def lt[B](n1: F, n2: F)(implicit arg0: BoolLattice[B]): B
  15. abstract def minus(n1: F, n2: F): F
  16. abstract def name: String

    The name of the lattice

    The name of the lattice

    Definition Classes
    LatticeElement
  17. abstract def order(x: F, y: F): Ordering
    Definition Classes
    Order
  18. abstract def plus(n1: F, n2: F): F
  19. abstract def random(n: F): F
  20. abstract def round(n: F): F
  21. abstract def sin(n: F): F
  22. abstract def sqrt(n: F): F
  23. abstract def subsumes(x: F, y: ⇒ F): Boolean

    The subsumption relation that defines the ordering of elements

    The subsumption relation that defines the ordering of elements

    Definition Classes
    LatticeElement
  24. abstract def tan(n: F): F
  25. abstract def times(n1: F, n2: F): F
  26. abstract def toInt[I](n: F)(implicit arg0: IntLattice[I]): I
  27. abstract def toString[S](n: F)(implicit arg0: StringLattice[S]): S
  28. abstract def top: F

    The top element.

    The top element.

    Definition Classes
    LatticeElement

Concrete Value Members

  1. final def append(x: F, y: ⇒ F): F
    Definition Classes
    LatticeElement → Semigroup
  2. final def applicative: Applicative[[α]F]
    Definition Classes
    Monoid
  3. final def apply: Apply[[α]F]
    Definition Classes
    Semigroup
  4. def apply(x: F, y: F): Ordering
    Definition Classes
    Order
  5. final def category: Category[[α, β]F]
    Definition Classes
    Monoid
  6. final def compose: Compose[[α, β]F]
    Definition Classes
    Semigroup
  7. def contramap[B](f: (B) ⇒ F): Order[B]
    Definition Classes
    Order → Equal
  8. def equal(x: F, y: F): Boolean
    Definition Classes
    Order → Equal
  9. def equalIsNatural: Boolean
    Definition Classes
    Equal
  10. def equalLaw: EqualLaw
    Definition Classes
    Equal
  11. val equalSyntax: EqualSyntax[F]
    Definition Classes
    Equal
  12. val floatLatticeLaw: RealLatticeLaw
  13. def greaterThan(x: F, y: F): Boolean
    Definition Classes
    Order
  14. def greaterThanOrEqual(x: F, y: F): Boolean
    Definition Classes
    Order
  15. final def ifEmpty[B](a: F)(t: ⇒ B)(f: ⇒ B)(implicit eq: Equal[F]): B
    Definition Classes
    Monoid
  16. def isMZero(a: F)(implicit eq: Equal[F]): Boolean
    Definition Classes
    Monoid
  17. def latticeElementLaw: LatticeElementLaw
    Definition Classes
    LatticeElement
  18. def lessThan(x: F, y: F): Boolean
    Definition Classes
    Order
  19. def lessThanOrEqual(x: F, y: F): Boolean
    Definition Classes
    Order
  20. def max(x: F, y: F): F
    Definition Classes
    Order
  21. def min(x: F, y: F): F
    Definition Classes
    Order
  22. def monoidLaw: MonoidLaw
    Definition Classes
    Monoid
  23. val monoidSyntax: MonoidSyntax[F]
    Definition Classes
    Monoid
  24. def multiply(value: F, n: Int): F
    Definition Classes
    Monoid
  25. def multiply1(value: F, n: Int): F
    Definition Classes
    Semigroup
  26. final def onEmpty[A, B](a: F)(v: ⇒ B)(implicit eq: Equal[F], mb: Monoid[B]): B
    Definition Classes
    Monoid
  27. final def onNotEmpty[B](a: F)(v: ⇒ B)(implicit eq: Equal[F], mb: Monoid[B]): B
    Definition Classes
    Monoid
  28. def orderLaw: OrderLaw
    Definition Classes
    Order
  29. val orderSyntax: OrderSyntax[F]
    Definition Classes
    Order
  30. def reverseOrder: Order[F]
    Definition Classes
    Order
  31. def semigroupLaw: SemigroupLaw
    Definition Classes
    Semigroup
  32. val semigroupSyntax: SemigroupSyntax[F]
    Definition Classes
    Semigroup
  33. def show(f: F): Cord
    Definition Classes
    Show
  34. val showSyntax: ShowSyntax[F]
    Definition Classes
    Show
  35. def shows(f: F): String
    Definition Classes
    Show
  36. def sort(x: F, y: F): (F, F)
    Definition Classes
    Order
  37. def toScalaOrdering: Ordering[F]
    Definition Classes
    Order
  38. final def zero: F
    Definition Classes
    LatticeElement → Monoid