listIsEmpty

given listIsEmpty[T]: IsEmpty[List[T]]

Value members

Concrete methods

def isEmpty(t: List[T]): Boolean