package
unicode
Value Members
-
def
¬[A](a: A)(implicit ev: Heyting[A]): A
-
def
Π[A](as: Iterable[A])(implicit ev: MultiplicativeMonoid[A]): A
-
def
Σ[A](as: Iterable[A])(implicit ev: AdditiveMonoid[A]): A
-
-
-
-
-
val
ℝ: Real.type
-
-
-
-
-
def
√[A](a: A)(implicit ev: NRoot[A]): A
-
def
∛[A](a: A)(implicit ev: NRoot[A]): A
-
def
∜[A](a: A)(implicit ev: NRoot[A]): A
-
def
⊤[A](implicit ev: Heyting[A]): A
-
def
⊥[A](implicit ev: Heyting[A]): A
Inherited from AnyRef
Inherited from Any