ParserConvert

sbt.std.ParserConvert
class ParserConvert[C <: Quotes & Singleton](val qctx: C, valStart: Int) extends Convert[C], ContextUtil[C]

Converts an input Term of type Parser[A] or State => Parser[A] into a Term of type State => Parser[A].

Attributes

Graph
Supertypes
trait Convert[C]
trait ContextUtil[C]
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

Attributes

Inherited from:
ContextUtil
Supertypes
class Object
trait Matchable
class Any
enum Converted

Attributes

Inherited from:
Convert
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Success
class Failure
object Converted

Attributes

Inherited from:
Convert
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
final class Input(val tpe: qctx.reflect.TypeRepr, val qual: qctx.reflect.Term, val term: qctx.reflect.Term, val name: String)

Attributes

Inherited from:
ContextUtil
Supertypes
class Object
trait Matchable
class Any
final class Output(val tpe: qctx.reflect.TypeRepr, val term: qctx.reflect.Term, val name: String, val parent: qctx.reflect.Symbol, val outputType: OutputType)

Represents an output expression via:

Represents an output expression via:

  1. Def.declareOutput(VirtualFile)
  2. Def.declareOutputDirectory(VirtualFileRef)

Attributes

Inherited from:
ContextUtil
Supertypes
class Object
trait Matchable
class Any
enum OutputType

Attributes

Inherited from:
ContextUtil
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait TermTransform[F[_]]

Attributes

Inherited from:
ContextUtil
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def appExpr: Expr[Applicative[F1]]
override def convert[A : Type](nme: String, in: qctx.reflect.Term): Converted

Attributes

Definition Classes
Convert

Inherited methods

def applyTuple(tupleTerm: qctx.reflect.Term, tpe: qctx.reflect.TypeRepr, idx: Int): this.qctx.reflect.Term

Attributes

Inherited from:
ContextUtil
def asPredicate: (String, this.qctx.reflect.TypeRepr, this.qctx.reflect.Term) => Boolean

Attributes

Inherited from:
Convert
def cacheLevels(tree: qctx.reflect.Term): Seq[CacheLevelTag]

Attributes

Inherited from:
ContextUtil
def cacheLevelsForSym(sym: qctx.reflect.Symbol): Seq[CacheLevelTag]

Attributes

Inherited from:
ContextUtil
def collectDefs(tree: qctx.reflect.Term, isWrapper: (String, qctx.reflect.TypeRepr, qctx.reflect.Term) => Boolean): Set[this.qctx.reflect.Symbol]

Attributes

Inherited from:
ContextUtil
def freshName(prefix: String): String

Attributes

Inherited from:
ContextUtil
def freshValDef(parent: qctx.reflect.Symbol, tpe: qctx.reflect.TypeRepr, rhs: qctx.reflect.Term): this.qctx.reflect.ValDef

Attributes

Inherited from:
ContextUtil

Attributes

Inherited from:
ContextUtil
def hasVprintMacroSetting: Boolean

Attributes

Inherited from:
ContextUtil
def idTransform[F[_]]: TermTransform[F]

Attributes

Inherited from:
ContextUtil
def makeTuple(inputs: List[Input]): BuilderResult

Attributes

Inherited from:
ContextUtil
def transformWrappers(tree: qctx.reflect.Term, subWrapper: [a] => (x$1: String, x$2: Type[a], x$3: qctx.reflect.Term, x$4: qctx.reflect.Term) => Converted, owner: qctx.reflect.Symbol): this.qctx.reflect.Term

Substitutes wrappers in tree t with the result of subWrapper. A wrapper is a Tree of the form f[T](v) for which isWrapper( , , .target) returns true. Typically, f is a Select or Ident. The wrapper is replaced with the result of subWrapper(<Type of T>, <Tree of v>, <wrapper Tree>)

Substitutes wrappers in tree t with the result of subWrapper. A wrapper is a Tree of the form f[T](v) for which isWrapper( , , .target) returns true. Typically, f is a Select or Ident. The wrapper is replaced with the result of subWrapper(<Type of T>, <Tree of v>, <wrapper Tree>)

Attributes

Inherited from:
Convert
def tupleTypeRepr(param: List[qctx.reflect.TypeRepr]): this.qctx.reflect.TypeRepr

Attributes

Inherited from:
ContextUtil
def typed[A : Type](value: qctx.reflect.Term): this.qctx.reflect.Term

Attributes

Inherited from:
ContextUtil

Concrete fields

override val qctx: C

Givens

Inherited givens

given given_qctx_type: qctx.type

Attributes

Inherited from:
ContextUtil