data-lab/tc/InstancePack

InstancePack

trait InstancePack[TC <: ([_$6] =>> Any)]
Companion
object
class Object
trait Matchable
class Any

Value members

Methods

def identity: ConstraintK[[A] =>> Identity[A], TC]
def option: ConstraintK[[A] =>> Option[A], TC]
def list: ConstraintK[List, TC]
def vector: ConstraintK[Vector, TC]
def either[A](evidence$2: TC[A]): ConstraintK[[B] =>> Either[A, B], TC]