io.github.kory33.s2mctest.core.generic.compiletime

INTERNAL. A type-level boolean indicating if T, mapped with Lock, contains no duplicate types.

Takes O(|T|^2) to compute.

A type-level boolean indicating if T only contains distinct types.

Takes O(|T|^2) to compute.

INTERNAL. A type-level boolean indicating if Lock[A] is contained in T.

Takes O(|T|) to compute.

A type-level boolean indicating if A appears in T.

Takes O(|T|) to compute.

An alias for Require[IncludedInT[*, A]].

Takes O(|T|) to compute, where T is the input tuple.

The least index of A in a tuple T.

Takes O(|T|) to compute.

INTERNAL. The index of A in a tuple T mapped with Lock.

Takes O(|T|) to compute.

An invariant abstract type with a single type parameter. This can be useful when we wish to match types in an invariant manner.

INTERNAL. Lock tuple T using Lock constructor.

An implicit evidence that the type S can be reduced to the singleton type true.

Statically cast the argument to type T. Results in a compile-time error if there is not enough information to make the cast safe.