Doc

proto.tex.Doc
trait Doc extends Ops

Attributes

Graph
Supertypes
trait Ops
trait CommonOps
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

final case class ArrayPurs(tpe: qctx.reflect.TypeRepr) extends IterablePurs

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait IterablePurs
class Object
trait Matchable
class Any
Show all
final case class ArrayTuplePurs(tpe1: qctx.reflect.TypeRepr, tpe2: qctx.reflect.TypeRepr) extends IterablePurs

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait IterablePurs
class Object
trait Matchable
class Any
Show all
sealed trait DefVal

Attributes

Inherited from:
Ops
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoDef
object NoneDef
class OthDef
object SeqDef
class StrDef
sealed trait FillDef

Attributes

Inherited from:
Ops
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class OthDef
class StrDef
sealed trait HasDefFun

Attributes

Inherited from:
Ops
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoneDef
class OthDef
object SeqDef
class StrDef
sealed trait IterablePurs

Attributes

Inherited from:
Ops
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case object NoDef extends DefVal

Attributes

Inherited from:
Ops
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait DefVal
class Object
trait Matchable
class Any
Show all
final case class NoargsType(tpe: qctx.reflect.TypeRepr, name: String) extends Tpe

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait Tpe
class Object
trait Matchable
class Any
Show all
case object NoneDef extends DefVal, HasDefFun

Attributes

Inherited from:
Ops
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait HasDefFun
trait DefVal
class Object
trait Matchable
class Any
Show all
final case class OthDef(v: Any) extends DefVal, HasDefFun, FillDef

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait FillDef
trait HasDefFun
trait DefVal
class Object
trait Matchable
class Any
Show all
final case class RecursiveType(tpe: qctx.reflect.TypeRepr, name: String) extends Tpe

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait Tpe
class Object
trait Matchable
class Any
Show all
final case class RegularType(tpe: qctx.reflect.TypeRepr, name: String) extends Tpe

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait Tpe
class Object
trait Matchable
class Any
Show all
case object SeqDef extends DefVal, HasDefFun

Attributes

Inherited from:
Ops
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait HasDefFun
trait DefVal
class Object
trait Matchable
class Any
Show all
final case class StrDef(v: String) extends DefVal, HasDefFun, FillDef

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait FillDef
trait HasDefFun
trait DefVal
class Object
trait Matchable
class Any
Show all
sealed trait Tpe

Attributes

Inherited from:
Ops
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NoargsType
class RegularType
class TraitType
class TupleType
final case class TraitType(tpe: qctx.reflect.TypeRepr, name: String, children: Seq[ChildMeta], firstLevel: Boolean) extends Tpe

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait Tpe
class Object
trait Matchable
class Any
Show all
final case class TupleType(tpe: qctx.reflect.TypeRepr, name: String, tpe_1: qctx.reflect.TypeRepr, tpe_2: qctx.reflect.TypeRepr) extends Tpe

Attributes

Inherited from:
Ops
Supertypes
trait Serializable
trait Product
trait Equals
trait Tpe
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def caregoryMessages(xs: Seq[ChildMeta], ask: String, ok: String, err: String): String
def examples(messages: Seq[ChildMeta], commonTypes: Seq[qctx.reflect.TypeRepr]): String
def tex(messages: Seq[ChildMeta], others: Seq[Tpe], category: Int => String, ask: String, ok: String, err: String): String
def tex1(messages: Seq[ChildMeta], others: Seq[Tpe], category: Int => String, ask: String, ok: String, err: String): String

Inherited methods

def collectDefExpressions(tpe: qctx.reflect.TypeRepr): Seq[(Expr[String], Expr[Any])]

Attributes

Inherited from:
Ops
def collectTpes(head: qctx.reflect.TypeRepr, tail: Seq[qctx.reflect.TypeRepr], acc: Seq[Tpe], firstLevel: Boolean): Seq[Tpe]

Attributes

Inherited from:
Ops
def collectTpes(tpe: qctx.reflect.TypeRepr): Seq[Tpe]

Attributes

Inherited from:
Ops
def collectTypeRepr(head: qctx.reflect.TypeRepr, tail: Seq[qctx.reflect.TypeRepr], acc: Seq[qctx.reflect.TypeRepr]): Seq[this.qctx.reflect.TypeRepr]

Attributes

Inherited from:
Ops
def defaultMethodName(i: Int): String

Attributes

Inherited from:
CommonOps
def fields(tpe: qctx.reflect.TypeRepr): List[(String, this.qctx.reflect.TypeRepr, Int, DefVal)]

Attributes

Inherited from:
Ops
def findChildren(tpe: qctx.reflect.TypeRepr): Seq[ChildMeta]

Attributes

Inherited from:
Ops
def findN(x: qctx.reflect.Symbol): Option[Int]

Attributes

Inherited from:
CommonOps
def isRecursive(base: qctx.reflect.TypeRepr): Boolean

Attributes

Inherited from:
Ops
def iterablePurs(tpe: qctx.reflect.TypeRepr): IterablePurs

Attributes

Inherited from:
Ops
def pursType(tpe: qctx.reflect.TypeRepr): (String, String)

Attributes

Inherited from:
Ops
def pursTypePars(tpe: qctx.reflect.TypeRepr): (String, String)

Attributes

Inherited from:
Ops
def tupleFunName(tpe_1: qctx.reflect.TypeRepr, tpe_2: qctx.reflect.TypeRepr): String

Attributes

Inherited from:
Ops
def type_to_tpe(head: qctx.reflect.TypeRepr): (Seq[this.qctx.reflect.TypeRepr], Tpe)

Attributes

Inherited from:
Ops

Inherited fields

val ArrayByteType: qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
val ArraySeqByteType: qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
val ArrayType: qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
val ItetableType: qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
val NTpe: qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
val commonTypes: List[qctx.reflect.TypeRepr]

Attributes

Inherited from:
CommonOps
val packedTypes: List[qctx.reflect.TypeRepr]

Attributes

Inherited from:
CommonOps

Extensions

Inherited extensions

extension (s: qctx.reflect.Symbol)
def constructorParams: List[this.qctx.reflect.Symbol]

Attributes

Inherited from:
CommonOps
def tpe: this.qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
extension (t: qctx.reflect.TypeRepr)
def isArray: Boolean

Attributes

Inherited from:
CommonOps
def isArrayByte: Boolean

Attributes

Inherited from:
CommonOps
def isArraySeqByte: Boolean

Attributes

Inherited from:
CommonOps
def isBoolean: Boolean

Attributes

Inherited from:
CommonOps
def isCaseClass: Boolean

Attributes

Inherited from:
CommonOps
def isCaseObject: Boolean

Attributes

Inherited from:
CommonOps
def isCaseType: Boolean

Attributes

Inherited from:
CommonOps
def isCommonType: Boolean

Attributes

Inherited from:
CommonOps
def isDouble: Boolean

Attributes

Inherited from:
CommonOps
def isFloat: Boolean

Attributes

Inherited from:
CommonOps
def isInt: Boolean

Attributes

Inherited from:
CommonOps
def isIterable: Boolean

Attributes

Inherited from:
CommonOps
def isLong: Boolean

Attributes

Inherited from:
CommonOps
def isNType: Boolean

Attributes

Inherited from:
CommonOps
def isOption: Boolean

Attributes

Inherited from:
CommonOps
def isPackedType: Boolean

Attributes

Inherited from:
CommonOps
def isRepeated: Boolean

Attributes

Inherited from:
CommonOps
def isSealedTrait: Boolean

Attributes

Inherited from:
CommonOps
def isString: Boolean

Attributes

Inherited from:
CommonOps
def knownFinalSubclasses: List[this.qctx.reflect.Symbol]

Attributes

Inherited from:
CommonOps
def optionArgument: this.qctx.reflect.TypeRepr

Attributes

Inherited from:
CommonOps
def typeArgs: List[this.qctx.reflect.TypeRepr]

Attributes

Inherited from:
CommonOps

Implicits

Implicits

implicit val qctx: Quotes