TypeCacheRetriever

org.hungerford.generic.schema.translation.TypeCacheRetriever$
See theTypeCacheRetriever companion trait

Attributes

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

Members list

Concise view

Type members

Types

type Aux[C <: TypeCache, T, O] = TypeCacheRetriever[C, T] { type Out = O; }

Givens

Givens

inline given isHead[T, NextCache <: Tuple, O]: Aux[Aux[CI[T, O] *: NextCache], T, O]

Inherited givens

given next[NotTr, Next <: Tuple, T, O](using nextTrRt: Aux[Aux[Next], T, O]): next[NotTr, Next, T, O]

Attributes

Inherited from:
TypeCacheRetriever1