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

CtxWrapTuplesConstraint

org.hungerford.generic.schema.types.CtxWrapTuplesConstraint$
See theCtxWrapTuplesConstraint companion trait
object CtxWrapTuplesConstraint

Attributes

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

Members list

Concise view

Value members

Concrete methods

def apply[F[_], Rt <: Tuple, RVt <: Tuple](implicit ev: CtxWrapTuplesConstraint[F, Rt, RVt]): CtxWrapTuplesConstraint[F, Rt, RVt]

Givens

Givens

given hnilFieldAndDescConst[F[_]]: CtxWrapTuplesConstraint[F, EmptyTuple, EmptyTuple]
given idFieldAndDescConst[F[_], HeadRt, TailRt <: Tuple, HeadRVt, TailRVt <: Tuple](using evHead: => HeadRt <:< F[HeadRVt], evTail: CtxWrapTuplesConstraint[F, TailRt, TailRVt]): CtxWrapTuplesConstraint[F, HeadRt *: TailRt, HeadRVt *: TailRVt]
Generated with