Packages

  • package root
    Definition Classes
    root
  • package typequux
    Definition Classes
    root
  • object Bool

    Contains implementation for Bool and typeconstructor aliases that make usage more pleasant

    Contains implementation for Bool and typeconstructor aliases that make usage more pleasant

    The operations can be shown to satisfy:

    1. Associativity of Or: ||[A, B || C] =:= ||[A || B, C]

    2. Associativity of And: &&[A, B && C] =:= &&[A && B, C]

    3. Commutativity of Or: ||[A, B] =:= ||[B, A]

    4. Commutativity of And: &&[A, B] =:= &&[B, A]

    5. Distributivity of Or over And: ||[A, B && C] =:= &&[A || B, A || C]

    6. Distributivity of And over Or: &&[A, B || C] =:= ||[A && B, A && C]

    7. Identity for Or: ||[A, False] =:= A

    8. Identity for And: &&[A, True] =:= A

    9. Annhilator for Or: ||[A, True] =:= True

    10. Annhilator for And: &&[A, False] =:= False

    11. Idempotence of Or: ||[A, A] =:= A

    12. Idempotence of And: &&[A, A] =:= A

    13. Absorption 1: &&[A, A || B] =:= A

    14. Absorbtion 2: ||[A, A && B] =:= A

    15. Complementation 1: &&[A, Not[A]] =:= False

    16. Complementation 2: ||[A, Not[A]] =:= True

    17. Double Negation: Not[Not[A]] =:= A

    18. De Morgan 1: &&[Not[A], Not[B]] =:= Not[A || B]

    19. De Morgan 2: ||[Not[A], Not[B]] =:= Not[A && B]

    Author:

    Harshad Deo

    Definition Classes
    typequux
    Since

    0.1

  • BoolRep
  • False
  • True

object BoolRep

Provides implicits for converting typelevel booleans to value level booleans

Author:

Harshad Deo

Since

0.1

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BoolRep
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. implicit val falseBoolRep: BoolRep[False]

    Implements BoolRep in case of False

    Implements BoolRep in case of False

    Author:

    Harshad Deo

    Since

    0.6.4

  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. implicit val trueBoolRep: BoolRep[True]

    Implements BoolRep in case of True

    Implements BoolRep in case of True

    Author:

    Harshad Deo

    Since

    0.6.4

  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  20. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped