core
API
Generated with
core/org.hungerford.generic.schema/Component/WithSchema

WithSchema

org.hungerford.generic.schema.Component$.WithSchema$
See theWithSchema companion trait
object WithSchema

Attributes

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

Members list

Concise view

Type members

Types

type Aux[C, Outer, T, S] = WithSchema[C, Outer] { type Tpe = T; type Shape = S; }
type Shaped[C, Outer, S] = WithSchema[C, Outer] { type Shape = S; }
type Tpe[C, Outer, T] = WithSchema[C, Outer] { type Tpe = T; }

Givens

Givens

given lazyComponent[Outer, OuterS, T, S, C <: Lazy[T]](using outerSch: Aux[Outer, OuterS], extr: Aux[T, Aux[Outer, OuterS], S]): lazyComponent[Outer, OuterS, T, S, C]
given shaped[T, S, C <: Shaped[T, S], Outer]: shaped[T, S, C, Outer]
Generated with