Constraint

abstract class Constraint[L <: HList, K[_]](val rel: Rel[L])
class Object
trait Matchable
class Any

Value members

Abstract methods

def setup(l: L): K[Unit]

Concrete fields

val rel: Rel[L]