Kind5

object Kind5
class Object
trait Matchable
class Any
Kind5.type

Type members

Types

type Existential[+F[_, _, _, _, _]]

Value members

Concrete methods

def existential[F[_, _, _, _, _], I, E, O, SI, SO](fa: F[I, E, O, SI, SO]): Existential[F]