Packages

object Forall extends Foralls

Source
Forall.scala
Linear Supertypes
Foralls, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Forall
  2. Foralls
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type CPS[P[_]] = (DNE[P]) ⇒ Nothing
    Definition Classes
    Foralls
  2. type DNE[P[_]] = Not[P[A]] forSome {type A}
    Definition Classes
    Foralls
  3. type Not[A] = (A) ⇒ Nothing

    Universal quantification by doubly negating an existential.

    Universal quantification by doubly negating an existential.

    Definition Classes
    Foralls

Value Members

  1. def apply[P[_]](p: CPS[P]): Forall[P]

    Construct a universal quantifier by continuation-passing.

    Construct a universal quantifier by continuation-passing.

    Definition Classes
    Foralls