Packages

t

scalaz

Foralls

trait Foralls extends AnyRef

Source
Foralls.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Foralls
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

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

    Universal quantification by doubly negating an existential.

Value Members

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

    Construct a universal quantifier by continuation-passing.