Packages

trait SchemeLatticeLaw extends MonoidLaw

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SchemeLatticeLaw
  2. MonoidLaw
  3. SemigroupLaw
  4. AnyRef
  5. 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

Value Members

  1. def andIsCorrect(b1: Boolean, b2: Boolean): Boolean
  2. def associative(f1: L, f2: L, f3: L)(implicit F: Equal[L]): Boolean
    Definition Classes
    SemigroupLaw
  3. def binaryOpPreservesBottom(op: BinaryOperator, v: L): Boolean
  4. def boolTopIsTrueAndFalse: Boolean
  5. def bottomAlwaysSubsumed(x: L): Boolean
  6. def bottomNeitherTrueNorFalse: Boolean
  7. def bottomSubsumesItself: Boolean
  8. def eqIsCorrect(n1: Int, n2: Int): Boolean
  9. def injectBoolPreservesTruth: Boolean
  10. def joinedSubsumes(x: L, y: L): Boolean
  11. def joinedSubsumes3(x: L, y: L, z: L): Boolean
  12. def joinedWithBottomRemainsEqual(x: L): Boolean
  13. def joinedWithSubsumesRemainsEqual(x: L, y: L): Boolean
  14. def leftIdentity(a: L)(implicit F: Equal[L]): Boolean
    Definition Classes
    MonoidLaw
  15. def ltIsCorrect(n1: Int, n2: Int): Boolean
  16. def notIsCorrect: Boolean
  17. def orIsCorrect(b1: Boolean, b2: Boolean): Boolean
  18. def rightIdentity(a: L)(implicit F: Equal[L]): Boolean
    Definition Classes
    MonoidLaw
  19. def unaryOpPreservesBottom(op: UnaryOperator): Boolean