scaladoc testcases/API/tests.hkts

tests.hkts

package tests.hkts

Type members

Classlikes

trait A[X]
Source:
hkts.scala
class A1[X]
Source:
hkts.scala
class A2[X] extends A1[X]
Source:
hkts.scala
trait B[D] extends A[D]
Source:
hkts.scala
class Case10Variant1[List[_ >: Number]]
Source:
hkts.scala
class Case10Variant2[List[_ >: Number]]
Source:
hkts.scala
class Case11Variant1[Map[_, _]]
Source:
hkts.scala
class Case11Variant2[Map[_, _]]
Source:
hkts.scala
class Case12Variant1[List[A >: Number]]
Source:
hkts.scala
class Case12Variant2[List[A >: Number]]
Source:
hkts.scala
class Case13[List[List[_]]]
Source:
hkts.scala
trait Case14[C[_]]
Source:
hkts.scala
class Case1Variant1[List[_]]
Source:
hkts.scala
class Case1Variant2[List[_]]
Source:
hkts.scala
class Case7Variant1[List <: ([_] =>> Number)]
Source:
hkts.scala
class Case7Variant2[List <: ([_] =>> Number)]
Source:
hkts.scala
class Case8Variant1[A, List <: ([A] =>> Number)]
Source:
hkts.scala
class Case8Variant2[A, List <: ([A] =>> Number)]
Source:
hkts.scala
abstract class Foo[Z]
Source:
hkts.scala
class SomeClass extends Case14[List]
Source:
hkts.scala
trait SomeTrait extends SomeTraitWithHKTs[Foo, ArraySeq, ArraySeq, List, List]
Source:
hkts.scala
trait SomeTraitWithHKTs[A[_], B[_], C[_], D[_], E[_]]
Source:
hkts.scala

Types

type Case2Variant1[A, _] = List[A]
Source:
hkts.scala
type Case2Variant2[A, _] = List[A]
Source:
hkts.scala
type Case3Variant1[_] = Int
Source:
hkts.scala
type Case3Variant2[_] = Int
Source:
hkts.scala
type Case4Variant1 >: (A2) <: (A1)
Source:
hkts.scala
type Case4Variant2[X] >: A2[X] <: A1[X]
Source:
hkts.scala
type Case5Variant1[X] = [Y] =>> (X, Y)
Source:
hkts.scala
type Case5Variant2[X, Y] = (X, Y)
Source:
hkts.scala
type Case6Variant1[A, B] = A => B
Source:
hkts.scala
type Case6Variant2[A, B] = A => B
Source:
hkts.scala
type Case9Variant2[+X] <: Option[X]
Source:
hkts.scala

Value members

Concrete methods

def method1[E, T](value: List[_ >: E]): Int
Source:
hkts.scala
def method2[F <: (Option), A](fa: F[A]): A
Source:
hkts.scala