core
API
Generated with
core/org.hungerford.generic.schema.types/ExistsFor

ExistsFor

org.hungerford.generic.schema.types.ExistsFor$
See theExistsFor companion trait
object ExistsFor

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Givens

Givens

given existsForEmptyTuple[TC[_]]: existsForEmptyTuple[TC]
given existsForNonEmptyTuple[TC[_], H, Tail <: Tuple, R <: H *: Tail](using h: TC[H], t: ExistsFor[TC, Tail]): existsForNonEmptyTuple[TC, H, Tail, R]
Generated with