root/org.virtuslab.iskra/FrameSchema

FrameSchema

object FrameSchema
class Object
trait Matchable
class Any

Type members

Types

type Merge[S1, S2] = S1 match { case TupleSubtype[s1] => S2 match { case TupleSubtype[s2] => Concat[s1, s2] case Any => Concat[s1, S2 *: EmptyTuple] } case Any => S2 match { case TupleSubtype[s2] => S1 *: s2 case Any => S1 *: S2 *: EmptyTuple } }

Value members

Concrete methods

def isValidType(tpe: Type[_ <: AnyKind])(using Quotes): Boolean
def reownType[Owner <: Name : Type](schema: Type[_ <: AnyKind])(implicit evidence$1: Type[Owner], Quotes): Type[_ <: AnyKind]