ValueK

perspective.ValueK$package.ValueK
object ValueK

Attributes

Source
ValueK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ValueK.type

Members list

Value members

Concrete methods

def co[A[_]](covariant: A[Nothing]): ValueK[A]

Construct a ValueK from a covariant higher kinded type.

Construct a ValueK from a covariant higher kinded type.

Attributes

Source
ValueK.scala
def const[A](a: A): ValueK[Const[A]]

Construct a ValueK of a constant.

Construct a ValueK of a constant.

Attributes

Source
ValueK.scala
def contra[A[_]](contravariant: A[Any]): ValueK[A]

Construct a ValueK from a contravariant higher kinded type.

Construct a ValueK from a contravariant higher kinded type.

Attributes

Source
ValueK.scala