Index (cli-impl 0.28 API)

A B C D E F G H I K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

accept(Literate) - Method in class org.aya.cli.literate.HighlightsCollector
accessibility() - Method in interface org.aya.cli.parse.ModifierParser.Modifiers
Accessibility - Enum constant in enum class org.aya.cli.parse.ModifierParser.ModifierGroup
Adapter() - Constructor for class org.aya.cli.render.Color.Adapter
addLibrarySource(Path) - Method in interface org.aya.cli.library.source.MutableLibraryOwner
addModulePath(Path) - Method in interface org.aya.cli.library.source.LibraryOwner
addModulePath(Path) - Method in interface org.aya.cli.library.source.MutableLibraryOwner
Alpha - Enum constant in enum class org.aya.cli.parse.ModifierParser.ModifierGroup
and(Predicate<ModifierParser.Modifier>) - Method in record class org.aya.cli.parse.ModifierParser.Filter
argument(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
ARGUMENT - Static variable in record class org.aya.cli.parse.AyaProducer
ARRAY_BLOCK - Static variable in record class org.aya.cli.parse.AyaProducer
as(Path, String) - Method in class org.aya.cli.library.json.LibraryDependencyData
ascii() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the ascii record component.
ASCII - Static variable in record class org.aya.cli.single.CompilerFlags.Message
assoc(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
available() - Method in record class org.aya.cli.parse.ModifierParser.Filter: Returns the value of the available record component.
aya.cli.impl - module aya.cli.impl
AyaMd - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
AyaMdParser - Class in org.aya.cli.literate
AyaMdParser(SourceFile, Reporter) - Constructor for class org.aya.cli.literate.AyaMdParser
AyaParserImpl - Record Class in org.aya.cli.parse
AyaParserImpl(Reporter) - Constructor for record class org.aya.cli.parse.AyaParserImpl: Creates an instance of a AyaParserImpl record class.
AyaProducer - Record Class in org.aya.cli.parse: Working with GK parser: Use GenericNode.peekChild(IElementType) if you want to check if the node has a child with desired type. Use GenericNode.child(IElementType) if you are sure the node has a child with desired type. For psi nodes with extends attribute in `AyaPsiParser.bnf` (like expr, decl, stmt, etc.): Use GenericNode.peekChild(TokenSet), GenericNode.child(TokenSet) if you want to obtain the node itself from its parent.
AyaProducer(Either<SourceFile, SourcePos>, Reporter) - Constructor for record class org.aya.cli.parse.AyaProducer: Creates an instance of a AyaProducer record class.
ayaVersion - Variable in class org.aya.cli.library.json.LibraryConfigData
ayaVersion() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the ayaVersion record component.

B

BadConfig(String) - Constructor for exception class org.aya.cli.library.json.LibraryConfigData.BadConfig
BadConfig(String, Throwable) - Constructor for exception class org.aya.cli.library.json.LibraryConfigData.BadConfig
bareOrBarredClause(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
bareOrBarredSubSystem(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
bestMatch(JsonElement, Type) - Static method in class org.aya.cli.render.adapter.EitherAdapter: Avoiding deserialize "123" to (Integer) 123 instead of (String) "123"
bindBlock(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
bold - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
buildColorScheme(ColorScheme) - Method in class org.aya.cli.render.vscode.ColorTheme
builder() - Method in record class org.aya.cli.single.SingleFileCompiler: Returns the value of the builder record component.
buildMap() - Method in class org.aya.cli.render.vscode.VscColorTheme

C

catching(CountingReporter, CompilerFlags, CheckedRunnable<IOException>) - Static method in class org.aya.cli.utils.CompilerUtil
checkDeserialization() - Method in class org.aya.cli.render.RenderOptions
checkDeserialization(Path) - Method in class org.aya.cli.library.json.LibraryConfigData
clause(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
clear() - Method in class org.aya.cli.interactive.ReplContext
clearLibraryOutput(LibraryOwner) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
clearLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
clearLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
clearLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
clearModuleOutput(LibrarySource) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
clearModuleOutput(LibrarySource) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
clearModuleOutput(LibrarySource) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
clearModuleOutput(LibrarySource) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
CliEnums - Interface in org.aya.cli.utils
CliEnums.PrettyFormat - Enum Class in org.aya.cli.utils
CliEnums.PrettyStage - Enum Class in org.aya.cli.utils
close() - Method in class org.aya.cli.interactive.ReplConfig
CodeAyaFile(SourceFile) - Constructor for record class org.aya.cli.single.SingleAyaFile.CodeAyaFile: Creates an instance of a CodeAyaFile record class.
codeFile() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
codificationObject(String) - Method in class org.aya.cli.interactive.ReplCompiler
color - Variable in class org.aya.cli.render.Color
Color - Class in org.aya.cli.render
Color() - Constructor for class org.aya.cli.render.Color
Color(int) - Constructor for class org.aya.cli.render.Color
Color.Adapter - Class in org.aya.cli.render
colors - Variable in class org.aya.cli.render.vscode.VscColorTheme
colorScheme - Variable in class org.aya.cli.render.RenderOptions
colorTheme - Variable in class org.aya.cli.render.vscode.ColorTheme
ColorTheme - Class in org.aya.cli.render.vscode
ColorTheme(Path, ImmutableMap<String, VscColorTheme.TokenColor.Settings>) - Constructor for class org.aya.cli.render.vscode.ColorTheme
Comment - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
compareTo(HighlightInfo) - Method in record class org.aya.cli.literate.HighlightInfo
compile(Path, Function<Reporter, ModuleContext>, CompilerFlags, ModuleCallback<E>) - Method in record class org.aya.cli.single.SingleFileCompiler
compile(Path, CompilerFlags, ModuleCallback<E>) - Method in record class org.aya.cli.single.SingleFileCompiler
compile(PrimDef.Factory, Reporter, CompilerFlags, CompilerAdvisor, Path) - Static method in class org.aya.cli.library.LibraryCompiler
compiledCore - Variable in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
compiledCorePath() - Method in record class org.aya.cli.library.source.LibrarySource
CompilerAdvisor - Interface in org.aya.cli.library.incremental: Advises the compiler to be incremental, helps in-memory analysis, and behaves as the bridge between the library compiler and its caller.
CompilerFlags - Record Class in org.aya.cli.single
CompilerFlags(CompilerFlags.Message, boolean, boolean, CompilerFlags.PrettyInfo, SeqLike<Path>, Path) - Constructor for record class org.aya.cli.single.CompilerFlags: Creates an instance of a CompilerFlags record class.
CompilerFlags.Message - Record Class in org.aya.cli.single
CompilerFlags.PrettyInfo - Record Class in org.aya.cli.single
CompilerUtil - Class in org.aya.cli.utils
CompilerUtil() - Constructor for class org.aya.cli.utils.CompilerUtil
compileToContext(String, NormalizeMode) - Method in class org.aya.cli.interactive.ReplCompiler
compileToContext(CheckedFunction<AyaParserImpl, Either<ImmutableSeq<Stmt>, Expr>, IOException>, NormalizeMode) - Method in class org.aya.cli.interactive.ReplCompiler: Copied and adapted.
computeType(String, NormalizeMode) - Method in class org.aya.cli.interactive.ReplCompiler
Con - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
configFile - Variable in class org.aya.cli.interactive.ReplConfig
coreTimestamp - Variable in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
Counterexample - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
create(WithPos<Stmt.Accessibility>, WithPos<DeclInfo.Personality>, EnumSet<ModifierParser.Modifier>) - Static method in record class org.aya.cli.parse.ModifierParser.Filter
createAyaFile(SourceFileLocator, Path) - Method in record class org.aya.cli.single.SingleAyaFile.Factory
createLiterateFile(SingleAyaFile.CodeAyaFile, Reporter) - Static method in interface org.aya.cli.single.SingleAyaFile
createParser(Reporter) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor: Used for injecting parser from IJ plugin to support on-the-fly analysis.
createParser(Reporter) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
Custom - Enum constant in enum class org.aya.cli.render.RenderOptions.ColorSchemeName: import color scheme from the RenderOptions.path which in vscode color theme format.

D

data() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Returns the value of the data record component.
Data - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
dataBody(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
dataCtor(ImmutableSeq<Arg<Pattern>>, GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
dataDecl(GenericNode<?>, MutableList<Stmt>) - Method in record class org.aya.cli.parse.AyaProducer
decl(GenericNode<?>, MutableList<Stmt>) - Method in record class org.aya.cli.parse.AyaProducer
DECL - Static variable in record class org.aya.cli.parse.AyaProducer
DECL_FILTER - Static variable in record class org.aya.cli.parse.ModifierParser: Only "open" is available to (data/struct) decls
declModifiersOf(GenericNode<?>, ModifierParser.Filter) - Method in record class org.aya.cli.parse.AyaProducer
declNameOrInfix(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
Default - Enum constant in enum class org.aya.cli.render.RenderOptions.StyleFamilyName
DEFAULT_COLOR_SCHEME - Static variable in class org.aya.cli.render.RenderOptions
DEFAULT_INDENT - Static variable in interface org.aya.cli.library.source.LibraryOwner
DEFAULT_STYLE_FAMILY - Static variable in class org.aya.cli.render.RenderOptions
defaultMods() - Method in record class org.aya.cli.parse.ModifierParser.Filter: Returns the value of the defaultMods record component.
defaultStylist(RenderOptions.OutputTarget) - Static method in class org.aya.cli.render.RenderOptions
delegate - Variable in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
DelegateCompilerAdvisor - Class in org.aya.cli.library.incremental
DelegateCompilerAdvisor(CompilerAdvisor) - Constructor for class org.aya.cli.library.incremental.DelegateCompilerAdvisor
dependency - Variable in class org.aya.cli.library.json.LibraryConfigData
DepFile(String, Path) - Constructor for record class org.aya.cli.library.json.LibraryDependency.DepFile: Creates an instance of a DepFile record class.
DepGithub(String, String) - Constructor for record class org.aya.cli.library.json.LibraryDependency.DepGithub: Creates an instance of a DepGithub record class.
depName() - Method in record class org.aya.cli.library.json.LibraryDependency.DepFile: Returns the value of the depName record component.
depName() - Method in record class org.aya.cli.library.json.LibraryDependency.DepGithub: Returns the value of the depName record component.
depName() - Method in interface org.aya.cli.library.json.LibraryDependency
depName() - Method in record class org.aya.cli.library.json.LibraryDependency.DepVersion: Returns the value of the depName record component.
depRoot() - Method in record class org.aya.cli.library.json.LibraryDependency.DepFile: Returns the value of the depRoot record component.
deps() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the deps record component.
DepVersion(String, String) - Constructor for record class org.aya.cli.library.json.LibraryDependency.DepVersion: Creates an instance of a DepVersion record class.
derive(String) - Method in class org.aya.cli.interactive.ReplContext
derive(ImmutableSeq<String>) - Method in class org.aya.cli.interactive.ReplContext
describe(PrettierOptions) - Method in record class org.aya.cli.parse.ModifierProblem
deserialize(JsonElement, Type, JsonDeserializationContext) - Method in class org.aya.cli.render.adapter.EitherAdapter
deserialize(JsonElement, Type, JsonDeserializationContext) - Method in class org.aya.cli.render.Color.Adapter
detectFormat(Path) - Static method in interface org.aya.cli.utils.CliEnums
DiskCompilerAdvisor - Class in org.aya.cli.library.incremental
DiskCompilerAdvisor() - Constructor for class org.aya.cli.library.incremental.DiskCompilerAdvisor
DiskLibraryOwner - Record Class in org.aya.cli.library.source: A library that lives in the file system.
DiskLibraryOwner(SourceFileLocator, MutableList<Path>, MutableList<LibraryOwner>, MutableList<LibrarySource>, LibraryConfig) - Constructor for record class org.aya.cli.library.source.DiskLibraryOwner: Creates an instance of a DiskLibraryOwner record class.
displayPath() - Method in record class org.aya.cli.library.source.LibrarySource
doBinding(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer: This function assumed that the node is DO_BINDING
docile() - Method in record class org.aya.cli.literate.HighlightInfo.SymError: Returns the value of the docile record component.
doLoadCompiledCore(SerTerm.DeState, Reporter, ImmutableSeq<String>, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
doLoadCompiledCore(SerTerm.DeState, Reporter, ImmutableSeq<String>, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
doLoadCompiledCore(SerTerm.DeState, Reporter, ImmutableSeq<String>, Path, Path, ModuleLoader) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor: Try to load the compiled core.
doLoadCompiledCore(SerTerm.DeState, Reporter, ImmutableSeq<String>, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
doSaveCompiledCore(Serializer.State, LibrarySource, ResolveInfo, ImmutableSeq<GenericDef>) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
doSaveCompiledCore(Serializer.State, LibrarySource, ResolveInfo, ImmutableSeq<GenericDef>) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
doSaveCompiledCore(Serializer.State, LibrarySource, ResolveInfo, ImmutableSeq<GenericDef>) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
doSaveCompiledCore(Serializer.State, LibrarySource, ResolveInfo, ImmutableSeq<GenericDef>) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor

E

EitherAdapter - Class in org.aya.cli.render.adapter
EitherAdapter() - Constructor for class org.aya.cli.render.adapter.EitherAdapter
Emacs - Enum constant in enum class org.aya.cli.render.RenderOptions.ColorSchemeName
EMOJI - Static variable in record class org.aya.cli.single.CompilerFlags.Message
enableUnicode - Variable in class org.aya.cli.interactive.ReplConfig
Eol - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
equals(Object) - Method in record class org.aya.cli.library.ImportResolver: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.json.LibraryConfig: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.json.LibraryDependency.DepFile: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.json.LibraryDependency.DepGithub: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.json.LibraryDependency.DepVersion: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.library.source.LibrarySource: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.FaithfulPrettier: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.SymError: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.SymLit: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.parse.AyaParserImpl: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.parse.AyaProducer: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.parse.ModifierParser: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.parse.ModifierParser.Filter: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.parse.ModifierProblem: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class org.aya.cli.render.RenderOptions
equals(Object) - Method in record class org.aya.cli.render.RenderOptions.Opts: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.CompilerFlags: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.CompilerFlags.Message: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.SingleAyaFile.CodeAyaFile: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.SingleAyaFile.Factory: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.single.SingleFileCompiler: Indicates whether some other object is "equal to" this one.
Example - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
exportSymbol(ModuleName, String, DefVar<?, ?>) - Method in class org.aya.cli.interactive.ReplContext
expr(String, SourcePos) - Method in record class org.aya.cli.parse.AyaParserImpl
expr(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
EXPR - Static variable in record class org.aya.cli.parse.AyaProducer
extractAya(Literate) - Method in class org.aya.cli.literate.AyaMdParser: Extract all aya code blocks, keep source poses.

F

Factory(Reporter) - Constructor for record class org.aya.cli.single.SingleAyaFile.Factory: Creates an instance of a Factory record class.
failNotion() - Method in record class org.aya.cli.single.CompilerFlags.Message: Returns the value of the failNotion record component.
FaithfulPrettier - Record Class in org.aya.cli.literate
FaithfulPrettier(PrettierOptions) - Constructor for record class org.aya.cli.literate.FaithfulPrettier: Creates an instance of a FaithfulPrettier record class.
Field - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
file - Variable in class org.aya.cli.library.json.LibraryDependencyData
fileExt - Variable in enum class org.aya.cli.render.RenderOptions.OutputTarget
FillCodeBlock - Class in org.aya.cli.literate: Make the source spans of the code block continuous
FillCodeBlock.Visitor - Class in org.aya.cli.literate
Filter(ModifierParser.Modifiers, Predicate<ModifierParser.Modifier>) - Constructor for record class org.aya.cli.parse.ModifierParser.Filter: Creates an instance of a Filter record class.
find(String) - Method in class org.aya.cli.render.vscode.ColorTheme
findAndPut(MutableMap<String, Integer>, String, Seq<String>, Map<String, Integer>) - Method in class org.aya.cli.render.vscode.ColorTheme
findModule(ImmutableSeq<String>) - Method in interface org.aya.cli.library.source.LibraryOwner
Fn - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
FN_FILTER - Static variable in record class org.aya.cli.parse.ModifierParser: "opaque", "inline" and "overlap" is available to functions.
fnBody(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
fnDecl(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
fold(MutableList<HighlightInfo>, Expr) - Method in class org.aya.cli.literate.SyntaxHighlight
fold(MutableList<HighlightInfo>, Pattern) - Method in class org.aya.cli.literate.SyntaxHighlight
foldModuleDecl(MutableList<HighlightInfo>, SourcePos, ModuleName) - Method in class org.aya.cli.literate.SyntaxHighlight
foldModuleRef(MutableList<HighlightInfo>, SourcePos, ModuleName) - Method in class org.aya.cli.literate.SyntaxHighlight
foldVarDecl(MutableList<HighlightInfo>, AnyVar, SourcePos, LazyValue<Term>) - Method in class org.aya.cli.literate.SyntaxHighlight
foldVarRef(MutableList<HighlightInfo>, AnyVar, SourcePos, LazyValue<Term>) - Method in class org.aya.cli.literate.SyntaxHighlight
fontStyle - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
foreground - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
fork() - Method in class org.aya.cli.interactive.ReplContext
fork() - Method in class org.aya.cli.interactive.ReplShapeFactory
fork(T) - Method in interface org.aya.cli.utils.RepoLike
from(LibraryConfig) - Static method in record class org.aya.cli.library.source.DiskLibraryOwner
fromDependencyRoot(Path, Function<String, Path>) - Static method in class org.aya.cli.library.json.LibraryConfigData
fromLibraryRoot(Path) - Static method in class org.aya.cli.library.json.LibraryConfigData
fromSourceSpans(Seq<SourceSpan>) - Method in class org.aya.cli.literate.AyaMdParser
fromSourceSpans(SourceFile, int, Seq<SourceSpan>) - Static method in class org.aya.cli.literate.AyaMdParser: Build a SourcePos from a list of SourceSpan

G

generalize(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
Generalized - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
generalizeParamName(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
getContext() - Method in class org.aya.cli.interactive.ReplCompiler
github - Variable in class org.aya.cli.library.json.LibraryDependencyData
group - Variable in class org.aya.cli.library.json.LibraryConfigData
group - Variable in enum class org.aya.cli.parse.ModifierParser.Modifier

H

hashCode() - Method in record class org.aya.cli.library.ImportResolver: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.json.LibraryDependency.DepFile: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.json.LibraryDependency.DepGithub: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.json.LibraryDependency.DepVersion: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.library.source.LibrarySource: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.FaithfulPrettier: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.SymError: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.SymLit: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.parse.AyaParserImpl: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.parse.AyaProducer: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.parse.ModifierParser.Filter: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.parse.ModifierParser: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.parse.ModifierProblem: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.CompilerFlags: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.CompilerFlags.Message: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.SingleAyaFile.CodeAyaFile: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.SingleAyaFile.Factory: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.single.SingleFileCompiler: Returns a hash code value for this object.
headerCode() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the headerCode record component.
hideList(SeqView<? extends GenericNode<?>>, UseHide.Strategy) - Method in record class org.aya.cli.parse.AyaProducer
highlight(String, int, ImmutableSeq<HighlightInfo>) - Method in record class org.aya.cli.literate.FaithfulPrettier: Apply highlights to source code string.
highlight(Option<SourceFile>, ImmutableSeq<Stmt>) - Static method in class org.aya.cli.literate.SyntaxHighlight
HighlightInfo - Record Class in org.aya.cli.literate
HighlightInfo(SourcePos, HighlightInfo.HighlightSymbol) - Constructor for record class org.aya.cli.literate.HighlightInfo: Creates an instance of a HighlightInfo record class.
HighlightInfo.DefKind - Enum Class in org.aya.cli.literate
HighlightInfo.HighlightSymbol - Interface in org.aya.cli.literate
HighlightInfo.LitKind - Enum Class in org.aya.cli.literate
HighlightInfo.SymDef - Record Class in org.aya.cli.literate: A definition of a symbol
HighlightInfo.SymError - Record Class in org.aya.cli.literate: An error element
HighlightInfo.SymLit - Record Class in org.aya.cli.literate: A literal
HighlightInfo.SymRef - Record Class in org.aya.cli.literate: A reference to a symbol
highlights - Variable in class org.aya.cli.literate.HighlightsCollector
HighlightsCollector - Class in org.aya.cli.literate
HighlightsCollector(ImmutableSeq<HighlightInfo>, PrettierOptions) - Constructor for class org.aya.cli.literate.HighlightsCollector
html - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
HTML - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget

I

implies - Variable in enum class org.aya.cli.parse.ModifierParser.Modifier: implies will/should expand only once
importCmd(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
importModule(ModuleName.Qualified, ModuleExport, Stmt.Accessibility, SourcePos) - Method in class org.aya.cli.interactive.ReplContext
ImportResolver - Record Class in org.aya.cli.library
ImportResolver(ImportResolver.ImportLoader, LibrarySource) - Constructor for record class org.aya.cli.library.ImportResolver: Creates an instance of a ImportResolver record class.
ImportResolver.ImportLoader - Interface in org.aya.cli.library
imports() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the imports record component.
importSymbol(boolean, AnyVar, ModuleName, String, Stmt.Accessibility, SourcePos) - Method in class org.aya.cli.interactive.ReplContext
include - Variable in class org.aya.cli.render.vscode.ColorTheme
include - Variable in class org.aya.cli.render.vscode.VscColorTheme
init() - Method in class org.aya.cli.literate.SyntaxHighlight
Inline - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
inMemory() - Static method in interface org.aya.cli.library.incremental.CompilerAdvisor
InMemoryCompilerAdvisor - Class in org.aya.cli.library.incremental
InMemoryCompilerAdvisor() - Constructor for class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
INSTANCE - Static variable in class org.aya.cli.literate.FillCodeBlock
Int - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
IntelliJ - Enum constant in enum class org.aya.cli.render.RenderOptions.ColorSchemeName
interruptedTrace() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the interruptedTrace record component.
invalidate() - Method in class org.aya.cli.render.RenderOptions
isDefault() - Method in class org.aya.cli.render.RenderOptions
isSourceModified(LibrarySource) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
isSourceModified(LibrarySource) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
isSourceModified(LibrarySource) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
isSourceModified(LibrarySource) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
italic - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings

K

katex - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
KaTeX - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
keyword - Variable in enum class org.aya.cli.parse.ModifierParser.Modifier
Keyword - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
kind() - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Returns the value of the kind record component.
kind() - Method in record class org.aya.cli.literate.HighlightInfo.SymLit: Returns the value of the kind record component.
kind() - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Returns the value of the kind record component.
kindOf(AnyVar) - Static method in class org.aya.cli.literate.SyntaxHighlight

L

lambdaTele(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
lambdaTeleBinder(boolean, GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
lambdaTelescope(SeqView<? extends GenericNode<?>>) - Method in record class org.aya.cli.parse.AyaProducer
latex - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
LaTeX - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
letBind(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
level() - Method in record class org.aya.cli.parse.ModifierProblem
libraryBuildRoot() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the libraryBuildRoot record component.
LibraryCompiler - Class in org.aya.cli.library
LibraryCompiler.LibraryTyckingFailed - Exception Class in org.aya.cli.library
LibraryConfig - Record Class in org.aya.cli.library.json: The compiler aspect of library description file, with generated settings.
LibraryConfig(Version, String, String, Path, Path, Path, Path, ImmutableSeq<LibraryDependency>) - Constructor for record class org.aya.cli.library.json.LibraryConfig: Creates an instance of a LibraryConfig record class.
LibraryConfigData - Class in org.aya.cli.library.json: The library description file (aya.json) with user definable settings.
LibraryConfigData() - Constructor for class org.aya.cli.library.json.LibraryConfigData
LibraryConfigData.BadConfig - Exception Class in org.aya.cli.library.json
LibraryDependency - Interface in org.aya.cli.library.json
LibraryDependency.DepFile - Record Class in org.aya.cli.library.json
LibraryDependency.DepGithub - Record Class in org.aya.cli.library.json
LibraryDependency.DepVersion - Record Class in org.aya.cli.library.json
LibraryDependencyData - Class in org.aya.cli.library.json
LibraryDependencyData() - Constructor for class org.aya.cli.library.json.LibraryDependencyData
libraryDeps() - Method in interface org.aya.cli.library.source.LibraryOwner
libraryDeps() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
libraryDepsMut() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns the value of the libraryDepsMut record component.
libraryDepsMut() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
libraryOutRoot() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the libraryOutRoot record component.
libraryOwner() - Method in class org.aya.cli.library.LibraryCompiler
LibraryOwner - Interface in org.aya.cli.library.source: Common interfaces for library, for supporting both library in file system and library in memory.
libraryRoot() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the libraryRoot record component.
librarySource() - Method in record class org.aya.cli.library.ImportResolver: Returns the value of the librarySource record component.
LibrarySource - Record Class in org.aya.cli.library.source: A source file may or may not be tycked.
LibrarySource(LibraryOwner, Path) - Constructor for record class org.aya.cli.library.source.LibrarySource
LibrarySource(LibraryOwner, Path, MutableList<LibrarySource>, MutableValue<ImmutableSeq<Stmt>>, MutableValue<ImmutableSeq<GenericDef>>, MutableValue<ResolveInfo>) - Constructor for record class org.aya.cli.library.source.LibrarySource: Creates an instance of a LibrarySource record class.
librarySources() - Method in interface org.aya.cli.library.source.LibraryOwner
librarySources() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
librarySourcesMut() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns the value of the librarySourcesMut record component.
librarySourcesMut() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
librarySrcRoot() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the librarySrcRoot record component.
LibraryTyckingFailed() - Constructor for exception class org.aya.cli.library.LibraryCompiler.LibraryTyckingFailed
literate - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
literate() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
load(ModulePath, SourcePos) - Method in interface org.aya.cli.library.ImportResolver.ImportLoader
loadCompiledCore(SerTerm.DeState, Reporter, ImmutableSeq<String>, Path, Path, ModuleLoader) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
loader() - Method in record class org.aya.cli.library.ImportResolver: Returns the value of the loader record component.
loadFrom(Path) - Static method in class org.aya.cli.interactive.ReplConfig
loadFrom(Path) - Static method in class org.aya.cli.render.vscode.ColorTheme
loadFrom(Option<Path>, String) - Static method in class org.aya.cli.interactive.ReplConfig
loadFromDefault() - Static method in class org.aya.cli.interactive.ReplConfig
loadToContext(Path) - Method in class org.aya.cli.interactive.ReplCompiler
LocalVar - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
locator() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns the value of the locator record component.
locator() - Method in interface org.aya.cli.library.source.LibraryOwner
locator() - Method in record class org.aya.cli.single.SingleFileCompiler: Returns the value of the locator record component.

M

markdown - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
MarkdownAyaFile(SourceFile, SingleAyaFile.MarkdownAyaFile.Data) - Constructor for record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Creates an instance of a MarkdownAyaFile record class.
merge() - Method in class org.aya.cli.interactive.ReplContext
merge() - Method in class org.aya.cli.interactive.ReplShapeFactory
merge() - Method in interface org.aya.cli.utils.RepoLike
message() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the message record component.
Message(String, String) - Constructor for record class org.aya.cli.single.CompilerFlags.Message: Creates an instance of a Message record class.
misc(ModifierParser.Modifier) - Method in interface org.aya.cli.parse.ModifierParser.Modifiers: Miscellaneous modifiers are function modifiers (Modifier) plus "open".
modifier() - Method in record class org.aya.cli.parse.ModifierProblem: Returns the value of the modifier record component.
ModifierParser - Record Class in org.aya.cli.parse: Generalized modifier parser.
ModifierParser(Reporter) - Constructor for record class org.aya.cli.parse.ModifierParser: Creates an instance of a ModifierParser record class.
ModifierParser.Filter - Record Class in org.aya.cli.parse: For different declarations we have different modifiers that are available.
ModifierParser.Modifier - Enum Class in org.aya.cli.parse
ModifierParser.ModifierGroup - Enum Class in org.aya.cli.parse
ModifierParser.Modifiers - Interface in org.aya.cli.parse: All parsed modifiers
ModifierProblem - Record Class in org.aya.cli.parse
ModifierProblem(SourcePos, ModifierParser.Modifier, ModifierProblem.Reason) - Constructor for record class org.aya.cli.parse.ModifierProblem: Creates an instance of a ModifierProblem record class.
module(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
Module - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
moduleName() - Method in record class org.aya.cli.library.source.LibrarySource
modulePath() - Method in interface org.aya.cli.library.source.LibraryOwner
modulePath() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
modulePath(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
modulePathMut() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns the value of the modulePathMut record component.
modulePathMut() - Method in interface org.aya.cli.library.source.MutableLibraryOwner
modulePaths() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the modulePaths record component.
MutableLibraryOwner - Interface in org.aya.cli.library.source

N

name - Variable in class org.aya.cli.library.json.LibraryConfigData
name - Variable in class org.aya.cli.render.vscode.VscColorTheme
name() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the name record component.
newArgField(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
newBinOPScope(Expr) - Method in record class org.aya.cli.parse.AyaProducer: [kiva]: make `(expr)` into a new BinOP parser scope so the `f (+)` becomes passing `+` as an argument to function `f`.
newBinOPScope(Pattern, boolean) - Method in record class org.aya.cli.parse.AyaProducer
newCompiler(PrimDef.Factory, Reporter, CompilerFlags, CompilerAdvisor, Path) - Static method in class org.aya.cli.library.LibraryCompiler
newCompiler(PrimDef.Factory, Reporter, CompilerFlags, CompilerAdvisor, LibraryOwner) - Static method in class org.aya.cli.library.LibraryCompiler
newGsonBuilder() - Static method in class org.aya.cli.interactive.ReplConfig
newGsonBuilder() - Static method in class org.aya.cli.render.vscode.ColorTheme
None - Enum constant in enum class org.aya.cli.parse.ModifierParser.ModifierGroup
normalizeMode - Variable in class org.aya.cli.interactive.ReplConfig
notifyIncrementalJob(ImmutableSeq<LibrarySource>, ImmutableSeq<ImmutableSeq<LibrarySource>>) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor: Called when all modified sources are detected
notifyIncrementalJob(ImmutableSeq<LibrarySource>, ImmutableSeq<ImmutableSeq<LibrarySource>>) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor

O

ofAyaJson(Path) - Static method in class org.aya.cli.library.json.LibraryConfigData
onDisk() - Static method in interface org.aya.cli.library.incremental.CompilerAdvisor
Opaque - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
Open - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
openCmd(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
options() - Method in record class org.aya.cli.literate.FaithfulPrettier: Returns the value of the options record component.
Opts(boolean, boolean, boolean, boolean, int, boolean) - Constructor for record class org.aya.cli.render.RenderOptions.Opts: Creates an instance of a Opts record class.
org.aya.cli.interactive - package org.aya.cli.interactive
org.aya.cli.library - package org.aya.cli.library
org.aya.cli.library.incremental - package org.aya.cli.library.incremental
org.aya.cli.library.json - package org.aya.cli.library.json
org.aya.cli.library.source - package org.aya.cli.library.source
org.aya.cli.literate - package org.aya.cli.literate
org.aya.cli.parse - package org.aya.cli.parse
org.aya.cli.render - package org.aya.cli.render
org.aya.cli.render.adapter - package org.aya.cli.render.adapter
org.aya.cli.render.vscode - package org.aya.cli.render.vscode
org.aya.cli.single - package org.aya.cli.single
org.aya.cli.utils - package org.aya.cli.utils
originalFile() - Method in record class org.aya.cli.library.source.LibrarySource
originalFile() - Method in record class org.aya.cli.single.SingleAyaFile.CodeAyaFile: Returns the value of the originalFile record component.
originalFile() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Returns the value of the originalFile record component.
outDir() - Method in interface org.aya.cli.library.source.LibraryOwner
outputFile() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the outputFile record component.
Overlap - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
owner() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the owner record component.

P

pageWidth() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the pageWidth record component.
parent - Variable in class org.aya.cli.render.vscode.ColorTheme
parse(ImmutableSeq<WithPos<ModifierParser.Modifier>>, ModifierParser.Filter) - Method in record class org.aya.cli.parse.ModifierParser
parse3(int) - Static method in class org.aya.cli.render.Color.Adapter
parse4(int) - Static method in class org.aya.cli.render.Color.Adapter
parse6(int) - Static method in class org.aya.cli.render.Color.Adapter
parse8(int) - Static method in class org.aya.cli.render.Color.Adapter
parseColor(String) - Static method in class org.aya.cli.render.Color.Adapter
parseLiterate() - Method in class org.aya.cli.literate.AyaMdParser
parseMe(GenericAyaParser) - Method in record class org.aya.cli.library.source.LibrarySource
parseMe(GenericAyaParser) - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
parseNode(String) - Method in record class org.aya.cli.parse.AyaParserImpl
ParsingInterruptedException - Exception Class in org.aya.cli.parse
ParsingInterruptedException() - Constructor for exception class org.aya.cli.parse.ParsingInterruptedException
partial(GenericNode<?>, SourcePos) - Method in record class org.aya.cli.parse.AyaProducer
path - Variable in class org.aya.cli.render.RenderOptions
pattern(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
patterns(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
personality() - Method in interface org.aya.cli.parse.ModifierParser.Modifiers
Personality - Enum constant in enum class org.aya.cli.parse.ModifierParser.ModifierGroup
plain - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
Plain - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
prepareLibraryOutput(LibraryOwner) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
prepareLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
prepareLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
prepareLibraryOutput(LibraryOwner) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
prettierOptions - Variable in class org.aya.cli.interactive.ReplConfig
prettierOptions() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettierOptions record component.
pretty(CompilerFlags, ImmutableSeq<? extends AyaDocile>, CliEnums.PrettyStage) - Method in interface org.aya.cli.single.SingleAyaFile
prettyColorScheme() - Method in class org.aya.cli.render.RenderOptions
prettyDir() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettyDir record component.
prettyFormat() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettyFormat record component.
prettyInfo() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the prettyInfo record component.
PrettyInfo(boolean, boolean, boolean, boolean, CliEnums.PrettyStage, CliEnums.PrettyFormat, PrettierOptions, RenderOptions, String) - Constructor for record class org.aya.cli.single.CompilerFlags.PrettyInfo: Creates an instance of a PrettyInfo record class.
prettyInfoFromOutput(Path, RenderOptions, boolean, boolean, boolean) - Static method in record class org.aya.cli.single.CompilerFlags
prettyInlineCodeStyle() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettyInlineCodeStyle record component.
prettyNoCodeStyle() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettyNoCodeStyle record component.
prettySSR() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettySSR record component.
prettyStage() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettyStage record component.
prettyStyleFamily() - Method in class org.aya.cli.render.RenderOptions
Prim - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
primDecl(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
Private - Enum constant in enum class org.aya.cli.parse.ModifierParser.Modifier
process(Node) - Method in class org.aya.cli.literate.FillCodeBlock
program() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the program record component.
program(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
program(SourceFile, SourceFile) - Method in record class org.aya.cli.parse.AyaParserImpl
prompt - Variable in class org.aya.cli.interactive.ReplConfig

Q

qualifiedId(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer

R

raw - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
reason() - Method in record class org.aya.cli.parse.ModifierProblem: Returns the value of the reason record component.
remake() - Method in record class org.aya.cli.single.CompilerFlags: Returns the value of the remake record component.
removeLibrarySource(LibrarySource) - Method in interface org.aya.cli.library.source.MutableLibraryOwner
render(RenderOptions.OutputTarget, Doc, RenderOptions.Opts) - Method in class org.aya.cli.render.RenderOptions
renderOptions - Variable in class org.aya.cli.interactive.ReplConfig
renderOptions() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the renderOptions record component.
RenderOptions - Class in org.aya.cli.render: Multi-target Stylist, usually created from json files.
RenderOptions() - Constructor for class org.aya.cli.render.RenderOptions
RenderOptions.ColorSchemeName - Enum Class in org.aya.cli.render
RenderOptions.Opts - Record Class in org.aya.cli.render
RenderOptions.OutputTarget - Enum Class in org.aya.cli.render
RenderOptions.StyleFamilyName - Enum Class in org.aya.cli.render
renderOpts(boolean) - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo
repl(String) - Method in record class org.aya.cli.parse.AyaParserImpl
ReplCompiler - Class in org.aya.cli.interactive
ReplCompiler(ImmutableSeq<Path>, Reporter, SourceFileLocator) - Constructor for class org.aya.cli.interactive.ReplCompiler
ReplConfig - Class in org.aya.cli.interactive
ReplConfig(Option<Path>) - Constructor for class org.aya.cli.interactive.ReplConfig
ReplContext - Class in org.aya.cli.interactive
ReplContext(Context, ModulePath) - Constructor for class org.aya.cli.interactive.ReplContext
ReplShapeFactory - Class in org.aya.cli.interactive
ReplShapeFactory() - Constructor for class org.aya.cli.interactive.ReplShapeFactory
repo() - Method in record class org.aya.cli.library.json.LibraryDependency.DepGithub: Returns the value of the repo record component.
RepoLike<T> - Interface in org.aya.cli.utils
reportContradictModifier(WithPos<ModifierParser.Modifier>, WithPos<ModifierParser.Modifier>) - Method in record class org.aya.cli.parse.ModifierParser
reportDuplicatedModifier(WithPos<ModifierParser.Modifier>) - Method in record class org.aya.cli.parse.ModifierParser
reporter - Variable in class org.aya.cli.interactive.ReplCompiler
reporter() - Method in record class org.aya.cli.parse.AyaParserImpl: Returns the value of the reporter record component.
reporter() - Method in record class org.aya.cli.parse.AyaProducer: Returns the value of the reporter record component.
reporter() - Method in record class org.aya.cli.parse.ModifierParser: Returns the value of the reporter record component.
reporter() - Method in record class org.aya.cli.single.SingleAyaFile.Factory: Returns the value of the reporter record component.
reporter() - Method in record class org.aya.cli.single.SingleFileCompiler: Returns the value of the reporter record component.
reportUnsuitableModifier(WithPos<ModifierParser.Modifier>) - Method in record class org.aya.cli.parse.ModifierParser
resolveAdditional(ResolveInfo) - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
resolveAdditional(ResolveInfo) - Method in interface org.aya.cli.single.SingleAyaFile: Must be called after GenericAyaFile.parseMe(org.aya.concrete.GenericAyaParser)
resolveInfo() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the resolveInfo record component.
resolveStmt(SeqLike<Stmt>) - Method in record class org.aya.cli.library.ImportResolver
resolveStmt(Stmt) - Method in record class org.aya.cli.library.ImportResolver

S

saveCompiledCore(Path, ResolveInfo, ImmutableSeq<GenericDef>, Serializer.State) - Static method in class org.aya.cli.utils.CompilerUtil
saveCompiledCore(Serializer.State, LibrarySource, ResolveInfo, ImmutableSeq<GenericDef>) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
scope - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor
SCOPE_CON_CALL - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_DATA_CALL - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_FIELD_CALL - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_FN_CALL - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_GENERALIZED - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_KEYWORD - Static variable in class org.aya.cli.render.vscode.VscColorTheme
SCOPE_STRUCT_CALL - Static variable in class org.aya.cli.render.vscode.VscColorTheme
scoped - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
separateStyle() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the separateStyle record component.
serialize(Either<?, ?>, Type, JsonSerializationContext) - Method in class org.aya.cli.render.adapter.EitherAdapter
serialize(Color, Type, JsonSerializationContext) - Method in class org.aya.cli.render.Color.Adapter
setDownstream(ReplContext) - Method in class org.aya.cli.interactive.ReplContext
setDownstream(ReplShapeFactory) - Method in class org.aya.cli.interactive.ReplShapeFactory
setDownstream(T) - Method in interface org.aya.cli.utils.RepoLike
settings - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor
Settings() - Constructor for class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
setup(T) - Method in record class org.aya.cli.render.RenderOptions.Opts
silent - Variable in class org.aya.cli.interactive.ReplConfig: Disables welcome message, echoing info, etc.
SingleAyaFile - Interface in org.aya.cli.single
SingleAyaFile.CodeAyaFile - Record Class in org.aya.cli.single
SingleAyaFile.Factory - Record Class in org.aya.cli.single
SingleAyaFile.MarkdownAyaFile - Record Class in org.aya.cli.single
SingleFileCompiler - Record Class in org.aya.cli.single
SingleFileCompiler(Reporter, SourceFileLocator, Trace.Builder) - Constructor for record class org.aya.cli.single.SingleFileCompiler: Creates an instance of a SingleFileCompiler record class.
source() - Method in record class org.aya.cli.parse.AyaProducer: Returns the value of the source record component.
sourcePos() - Method in record class org.aya.cli.literate.HighlightInfo: Returns the value of the sourcePos record component.
sourcePos() - Method in record class org.aya.cli.parse.ModifierProblem: Returns the value of the sourcePos record component.
sourcePosOf(FlexLexer.Token, SourceFile) - Static method in record class org.aya.cli.parse.AyaProducer
sourcePosOf(TextRange, SourceFile, boolean) - Static method in record class org.aya.cli.parse.AyaProducer
sourcePosOf(GenericNode<?>, SourceFile) - Static method in record class org.aya.cli.parse.AyaProducer
SPECIAL_SYMBOL - Static variable in class org.aya.cli.literate.SyntaxHighlight
SpecialSymbol - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
SSR() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the SSR record component.
stage() - Method in exception class org.aya.cli.library.LibraryCompiler.LibraryTyckingFailed
stage() - Method in exception class org.aya.cli.parse.ParsingInterruptedException
start() - Method in class org.aya.cli.library.LibraryCompiler
stmt(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
STMT - Static variable in record class org.aya.cli.parse.AyaProducer
String - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
Struct - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
structDecl(GenericNode<?>, MutableList<Stmt>) - Method in record class org.aya.cli.parse.AyaProducer
structField(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
styleCode() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the styleCode record component.
styleFamily - Variable in class org.aya.cli.render.RenderOptions
stylist(RenderOptions.OutputTarget) - Method in class org.aya.cli.render.RenderOptions
stylistOrDefault(RenderOptions.OutputTarget) - Method in class org.aya.cli.render.RenderOptions
SUBDECL_FILTER - Static variable in record class org.aya.cli.parse.ModifierParser: nothing is available to sub-level decls (ctor/field).
subSystem(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
successNotion() - Method in record class org.aya.cli.single.CompilerFlags.Message: Returns the value of the successNotion record component.
SymDef(Link, HighlightInfo.DefKind, AyaDocile) - Constructor for record class org.aya.cli.literate.HighlightInfo.SymDef: Creates an instance of a SymDef record class.
SymError(AyaDocile) - Constructor for record class org.aya.cli.literate.HighlightInfo.SymError: Creates an instance of a SymError record class.
SymLit(HighlightInfo.LitKind) - Constructor for record class org.aya.cli.literate.HighlightInfo.SymLit: Creates an instance of a SymLit record class.
SymRef(Link, HighlightInfo.DefKind, AyaDocile) - Constructor for record class org.aya.cli.literate.HighlightInfo.SymRef: Creates an instance of a SymRef record class.
SyntaxHighlight - Class in org.aya.cli.literate
SyntaxHighlight() - Constructor for class org.aya.cli.literate.SyntaxHighlight

T

target - Variable in enum class org.aya.cli.utils.CliEnums.PrettyFormat
target() - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Returns the value of the target record component.
target() - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Returns the value of the target record component.
tele(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
teleBinder(boolean, GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
teleParamName(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
telescope(SeqView<? extends GenericNode<?>>) - Method in record class org.aya.cli.parse.AyaProducer
timestampKey(LibrarySource) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
toDef(SourcePos, Link, AyaDocile) - Method in enum class org.aya.cli.literate.HighlightInfo.DefKind
toDoc(ImmutableSeq<Stmt>, PrettierOptions) - Method in interface org.aya.cli.single.SingleAyaFile
toFnModifiers() - Method in interface org.aya.cli.parse.ModifierParser.Modifiers
toInfo(SourcePos) - Method in interface org.aya.cli.literate.HighlightInfo.HighlightSymbol
TokenColor() - Constructor for class org.aya.cli.render.vscode.VscColorTheme.TokenColor
tokenColors - Variable in class org.aya.cli.render.vscode.VscColorTheme
toLit(SourcePos) - Method in enum class org.aya.cli.literate.HighlightInfo.LitKind
toRef(SourcePos, Link, AyaDocile) - Method in enum class org.aya.cli.literate.HighlightInfo.DefKind
toSourceFile(String) - Method in record class org.aya.cli.library.source.LibrarySource
toString() - Method in record class org.aya.cli.library.ImportResolver: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.json.LibraryDependency.DepFile: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.json.LibraryDependency.DepGithub: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.json.LibraryDependency.DepVersion: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.library.source.LibrarySource: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.FaithfulPrettier: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.SymError: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.SymLit: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.parse.AyaParserImpl: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.parse.AyaProducer: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.parse.ModifierParser.Filter: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.parse.ModifierParser: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.parse.ModifierProblem: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.CompilerFlags.Message: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.CompilerFlags: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.SingleAyaFile.CodeAyaFile: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.SingleAyaFile.Factory: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.single.SingleFileCompiler: Returns a string representation of this record class.
tyckAdditional(ResolveInfo) - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
tyckAdditional(ResolveInfo) - Method in interface org.aya.cli.single.SingleAyaFile
tycked() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the tycked record component.
type - Variable in enum class org.aya.cli.parse.ModifierParser.Modifier
type() - Method in record class org.aya.cli.literate.HighlightInfo.SymDef: Returns the value of the type record component.
type() - Method in record class org.aya.cli.literate.HighlightInfo.SymRef: Returns the value of the type record component.
type() - Method in record class org.aya.cli.literate.HighlightInfo: Returns the value of the type record component.
type(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
typed - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
typeOrHole(GenericNode<?>, SourcePos) - Method in record class org.aya.cli.parse.AyaProducer
typeOrNull(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer

U

underline - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
underlyingFile() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the underlyingFile record component.
underlyingLibrary() - Method in record class org.aya.cli.library.source.DiskLibraryOwner: Returns the value of the underlyingLibrary record component.
underlyingLibrary() - Method in interface org.aya.cli.library.source.LibraryOwner
unicode() - Method in record class org.aya.cli.render.RenderOptions.Opts: Returns the value of the unicode record component.
unix - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
Unix - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
Unknown - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
updateColorScheme(Either<RenderOptions.ColorSchemeName, Path>) - Method in class org.aya.cli.render.RenderOptions
updateLastModified(LibrarySource) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
updateLastModified(LibrarySource) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
updateLastModified(LibrarySource) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
updateLastModified(LibrarySource) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
updateStyleFamily(Either<RenderOptions.StyleFamilyName, Path>) - Method in class org.aya.cli.render.RenderOptions
useHide(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
useIdsComma(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
useList(SeqView<? extends GenericNode<?>>, UseHide.Strategy) - Method in record class org.aya.cli.parse.AyaProducer

V

valueOf(String) - Static method in enum class org.aya.cli.literate.HighlightInfo.DefKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.literate.HighlightInfo.LitKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.parse.ModifierParser.Modifier: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.parse.ModifierParser.ModifierGroup: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.render.RenderOptions.ColorSchemeName: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.render.RenderOptions.OutputTarget: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.render.RenderOptions.StyleFamilyName: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.utils.CliEnums.PrettyFormat: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.aya.cli.utils.CliEnums.PrettyStage: Returns the enum constant of this class with the specified name.
values() - Static method in enum class org.aya.cli.literate.HighlightInfo.DefKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.literate.HighlightInfo.LitKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.parse.ModifierParser.Modifier: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.parse.ModifierParser.ModifierGroup: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.render.RenderOptions.ColorSchemeName: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.render.RenderOptions.OutputTarget: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.render.RenderOptions.StyleFamilyName: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.utils.CliEnums.PrettyFormat: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.aya.cli.utils.CliEnums.PrettyStage: Returns an array containing the constants of this enum class, in the order they are declared.
version - Variable in class org.aya.cli.library.json.LibraryConfigData
version - Variable in class org.aya.cli.library.json.LibraryDependencyData
version() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the version record component.
version() - Method in record class org.aya.cli.library.json.LibraryDependency.DepVersion: Returns the value of the version record component.
visit(FencedCodeBlock) - Method in class org.aya.cli.literate.FillCodeBlock.Visitor
VISITOR - Static variable in class org.aya.cli.literate.FillCodeBlock
VscColorTheme - Class in org.aya.cli.render.vscode
VscColorTheme() - Constructor for class org.aya.cli.render.vscode.VscColorTheme
VscColorTheme.TokenColor - Class in org.aya.cli.render.vscode
VscColorTheme.TokenColor.Settings - Class in org.aya.cli.render.vscode

W

weakId(GenericNode<?>) - Method in record class org.aya.cli.parse.AyaProducer
Whitespace - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind

A B C D E F G H I K L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form