Index (cli-impl 0.31.0 API)

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

A

accept(Literate) - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Highlight all visible aya code blocks
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
ansi16 - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
ANSI16 - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
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
asConfig(Path) - Method in class org.aya.cli.library.json.LibraryConfigData.LibraryLiterateConfigData
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
ayaParser - Variable in class org.aya.cli.single.SingleFileCompiler
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

backendOpts(boolean) - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo
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
base() - Method in record class org.aya.cli.literate.FaithfulPrettier.KnifeCut: Returns the value of the base record component.
before() - Method in record class org.aya.cli.literate.FaithfulPrettier.KnifeCut: Returns the value of the before record component.
bestMatch(JsonElement, Type) - Static method in class org.aya.cli.render.adapter.EitherAdapter: Avoiding deserialize "123" to (Integer) 123 instead of (String) "123"
bold - Variable in class org.aya.cli.render.vscode.VscColorTheme.TokenColor.Settings
brief(PrettierOptions) - Method in record class org.aya.cli.utils.InlineHintProblem
buildColorScheme(ColorScheme) - Method in class org.aya.cli.render.vscode.ColorTheme
buildDependencyGraph(SetView<LibraryOwner>) - Static method in interface org.aya.cli.library.source.LibraryOwner
buildDependencyGraph(LibraryOwner) - Static method in interface org.aya.cli.library.source.LibraryOwner
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
ChainedSetup(RenderOptions.BackendSetup, RenderOptions.BackendSetup) - Constructor for record class org.aya.cli.render.RenderOptions.ChainedSetup: Creates an instance of a ChainedSetup record class.
checkDeserialization() - Method in class org.aya.cli.library.json.LibraryConfigData.LibraryLiterateConfigData
checkDeserialization() - Method in class org.aya.cli.render.RenderOptions
checkDeserialization() - Method in class org.aya.cli.utils.LiteratePrettierOptions
checkDeserialization(Path) - Method in class org.aya.cli.library.json.LibraryConfigData
checkHighlights(ImmutableSeq<HighlightInfo>) - Static method in interface org.aya.cli.literate.FaithfulPrettier
children() - Method in record class org.aya.cli.literate.HighlightInfo.Err: Returns the value of the children record component.
Clazz - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
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
close() - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
close() - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
close() - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
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.library.source.LibrarySource
codeFile() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
collectDependencies(LibraryOwner) - Static method in interface org.aya.cli.library.source.LibraryOwner: Collect all dependencies of
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 interface org.aya.cli.literate.HighlightInfo
compile(Path, Function<Reporter, ModuleContext>, ModuleCallback<E>) - Method in class org.aya.cli.single.SingleFileCompiler
compile(Path, ModuleCallback<E>) - Method in class org.aya.cli.single.SingleFileCompiler
compile(PrimFactory, 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, CodeOptions.NormalizeMode) - Method in class org.aya.cli.interactive.ReplCompiler
compileToContext(CheckedFunction<AyaParserImpl, Either<ImmutableSeq<Stmt>, WithPos<Expr>>, IOException>, CodeOptions.NormalizeMode) - Method in class org.aya.cli.interactive.ReplCompiler: Copied and adapted.
computeType(String, CodeOptions.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
create(LibraryOwner, Path) - Static method in record class org.aya.cli.library.source.LibrarySource
create(SourceFile, Reporter) - Static method in record class org.aya.cli.utils.LiterateData
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
current() - Method in record class org.aya.cli.literate.FaithfulPrettier.KnifeCut: Returns the value of the current record component.
currentFileModule() - Method in record class org.aya.cli.literate.SyntaxHighlight: Returns the value of the currentFileModule record component.
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
Def(SourcePos, Link, HighlightInfo.DefKind, AyaDocile) - Constructor for record class org.aya.cli.literate.HighlightInfo.Def: Creates an instance of a Def record class.
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
DefaultSetup(boolean, boolean, boolean, boolean, int, boolean) - Constructor for record class org.aya.cli.render.RenderOptions.DefaultSetup: Creates an instance of a DefaultSetup record class.
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(ModulePath) - Method in class org.aya.cli.interactive.ReplContext
describe(PrettierOptions) - Method in record class org.aya.cli.utils.InlineHintProblem
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
doBadThing(ColorScheme, StyleFamily) - Method in class org.aya.cli.render.RenderOptions: You know what you are doing.
docWithPos() - Method in record class org.aya.cli.utils.InlineHintProblem: Returns the value of the docWithPos record component.
doHighlight(StringSlice, int, ImmutableSeq<HighlightInfo>) - Method in interface org.aya.cli.literate.FaithfulPrettier
doLoadCompiledCore(Reporter, LibraryOwner, ModulePath, Path, Path, ModuleLoader) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor: Try to load the compiled core.
doLoadCompiledCore(Reporter, LibraryOwner, ModulePath, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
doLoadCompiledCore(Reporter, LibraryOwner, ModulePath, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
doLoadCompiledCore(Reporter, LibraryOwner, ModulePath, Path, Path, ModuleLoader) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor
doSaveCompiledCore(LibrarySource, ResolveInfo, ImmutableSeq<TyckDef>) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
doSaveCompiledCore(LibrarySource, ResolveInfo, ImmutableSeq<TyckDef>) - Method in class org.aya.cli.library.incremental.DelegateCompilerAdvisor
doSaveCompiledCore(LibrarySource, ResolveInfo, ImmutableSeq<TyckDef>) - Method in class org.aya.cli.library.incremental.DiskCompilerAdvisor
doSaveCompiledCore(LibrarySource, ResolveInfo, ImmutableSeq<TyckDef>) - Method in class org.aya.cli.library.incremental.InMemoryCompilerAdvisor

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
EMPTY_LINK - Static variable in record class org.aya.cli.literate.FlclFaithfulPrettier
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.LibraryConfig.LibraryLiterateConfig: 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.KnifeCut: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.FlclFaithfulPrettier: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.Def: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.Err: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.Lit: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.literate.SyntaxHighlight: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: 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.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.utils.InlineHintProblem: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class org.aya.cli.utils.LiterateData: Indicates whether some other object is "equal to" this one.
Err(Problem, ImmutableSeq<HighlightInfo>) - Constructor for record class org.aya.cli.literate.HighlightInfo.Err: Creates an instance of a Err record class.
exportSymbol(ModuleName, String, AnyDefVar) - Method in class org.aya.cli.interactive.ReplContext
extractAya(Literate) - Method in class org.aya.cli.literate.AyaMdParser: Extract all aya code blocks, keep source poses.
extractedAya() - Method in record class org.aya.cli.utils.LiterateData: Returns the value of the extractedAya record component.
extractedExprs() - Method in record class org.aya.cli.utils.LiterateData: Returns the value of the extractedExprs record component.

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 - Interface in org.aya.cli.literate
FaithfulPrettier.KnifeCut - Record Class in org.aya.cli.literate
file - Variable in class org.aya.cli.library.json.LibraryDependencyData
fileExt - Variable in enum class org.aya.cli.render.RenderOptions.OutputTarget
fileManager - Variable in class org.aya.cli.single.SingleFileCompiler
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(ModulePath) - Method in interface org.aya.cli.library.source.LibraryOwner
first() - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup: Returns the value of the first record component.
flags - Variable in class org.aya.cli.single.SingleFileCompiler
FlclFaithfulPrettier - Record Class in org.aya.cli.literate
FlclFaithfulPrettier(PrettierOptions) - Constructor for record class org.aya.cli.literate.FlclFaithfulPrettier: Creates an instance of a FlclFaithfulPrettier record class.
Fn - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
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
from(LibraryConfig) - Static method in record class org.aya.cli.library.source.DiskLibraryOwner
from(Problem, PrettierOptions) - Static method in record class org.aya.cli.utils.InlineHintProblem
fromDependencyRoot(Path, LibraryConfig.LibraryLiterateConfig, 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

G

Generalized - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
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
gsonBuilder(GsonBuilder) - Static method in class org.aya.cli.utils.LiteratePrettierOptions

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.LibraryConfig.LibraryLiterateConfig: 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.KnifeCut: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.FlclFaithfulPrettier: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.Err: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.Lit: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.literate.SyntaxHighlight: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: 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.utils.InlineHintProblem: Returns a hash code value for this object.
hashCode() - Method in record class org.aya.cli.utils.LiterateData: Returns a hash code value for this object.
headerCode() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: Returns the value of the headerCode record component.
highlight(String, SourcePos) - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Apply highlights to source code string.
highlight(FlclToken.File) - Method in record class org.aya.cli.literate.FlclFaithfulPrettier
highlight(ModulePath, Option<SourceFile>, ImmutableSeq<Stmt>) - Static method in record class org.aya.cli.literate.SyntaxHighlight
HighlightInfo - Interface in org.aya.cli.literate
HighlightInfo.Def - Record Class in org.aya.cli.literate: A definition of a symbol
HighlightInfo.DefKind - Enum Class in org.aya.cli.literate
HighlightInfo.Err - Record Class in org.aya.cli.literate
HighlightInfo.Lit - Record Class in org.aya.cli.literate: A literal
HighlightInfo.LitKind - Enum Class in org.aya.cli.literate
HighlightInfo.Ref - Record Class in org.aya.cli.literate: A reference to a symbol
highlights() - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Returns the value of the highlights record component.
highlightsInRange(SourcePos, ImmutableSeq<HighlightInfo>) - Static method in interface org.aya.cli.literate.FaithfulPrettier
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

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
info() - Method in record class org.aya.cli.literate.SyntaxHighlight: Returns the value of the info record component.
InlineHintProblem - Record Class in org.aya.cli.utils: Wrapping a Problem.inlineHints(PrettierOptions) as problem.
InlineHintProblem(Problem, WithPos<Doc>) - Constructor for record class org.aya.cli.utils.InlineHintProblem: Creates an instance of a InlineHintProblem record class.
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
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
isLiterate() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the isLiterate record component.
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 - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
kind() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns the value of the kind record component.
kind() - Method in record class org.aya.cli.literate.HighlightInfo.Lit: Returns the value of the kind record component.
kind() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns the value of the kind record component.
kindOf(AnyVar) - Static method in record class org.aya.cli.literate.SyntaxHighlight
KnifeCut(StringSlice, StringSlice, StringSlice, int) - Constructor for record class org.aya.cli.literate.FaithfulPrettier.KnifeCut: Creates an instance of a KnifeCut record class.

L

latex - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
LaTeX - Enum constant in enum class org.aya.cli.render.RenderOptions.OutputTarget
level() - Method in record class org.aya.cli.utils.InlineHintProblem
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, LibraryConfig.LibraryLiterateConfig, ImmutableSeq<LibraryDependency>) - Constructor for record class org.aya.cli.library.json.LibraryConfig: Creates an instance of a LibraryConfig record class.
LibraryConfig.LibraryLiterateConfig - Record Class in org.aya.cli.library.json
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
LibraryConfigData.LibraryLiterateConfigData - 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
LibraryLiterateConfig(LiteratePrettierOptions, String, Path) - Constructor for record class org.aya.cli.library.json.LibraryConfig.LibraryLiterateConfig: Creates an instance of a LibraryLiterateConfig record class.
LibraryLiterateConfigData() - Constructor for class org.aya.cli.library.json.LibraryConfigData.LibraryLiterateConfigData
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, boolean, MutableList<LibrarySource>, MutableValue<ImmutableSeq<Stmt>>, MutableValue<ImmutableSeq<TyckDef>>, MutableValue<ResolveInfo>, MutableValue<LiterateData>) - 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
linkPrefix - Variable in class org.aya.cli.library.json.LibraryConfigData.LibraryLiterateConfigData
linkPrefix() - Method in record class org.aya.cli.library.json.LibraryConfig.LibraryLiterateConfig: Returns the value of the linkPrefix record component.
Lit(SourcePos, HighlightInfo.LitKind) - Constructor for record class org.aya.cli.literate.HighlightInfo.Lit: Creates an instance of a Lit record class.
literate - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
literate - Variable in class org.aya.cli.library.json.LibraryConfigData
literate() - Method in record class org.aya.cli.library.source.LibrarySource
literate() - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
literate() - Method in record class org.aya.cli.utils.LiterateData: Returns the value of the literate record component.
literateConfig() - Method in record class org.aya.cli.library.json.LibraryConfig: Returns the value of the literateConfig record component.
literateData() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the literateData record component.
LiterateData - Record Class in org.aya.cli.utils
LiterateData(Literate, ImmutableSeq<AyaLiterate.AyaInlineCode>, SourceFile) - Constructor for record class org.aya.cli.utils.LiterateData: Creates an instance of a LiterateData record class.
LiterateFaithfulPrettier - Record Class in org.aya.cli.literate: This prettier maintains all highlights created from SyntaxHighlight and all problems reported by Aya compiler.
LiterateFaithfulPrettier(ImmutableSeq<Problem>, ImmutableSeq<HighlightInfo>, PrettierOptions) - Constructor for record class org.aya.cli.literate.LiterateFaithfulPrettier: Creates an instance of a LiterateFaithfulPrettier record class.
literatePrettier - Variable in class org.aya.cli.interactive.ReplConfig
LiteratePrettierOptions - Class in org.aya.cli.utils: A JSON object for RenderOptions and AyaPrettierOptions
LiteratePrettierOptions() - Constructor for class org.aya.cli.utils.LiteratePrettierOptions
load(ModulePath, SourcePos) - Method in interface org.aya.cli.library.ImportResolver.ImportLoader
loadCompiledCore(Reporter, LibraryOwner, ModulePath, Path, Path, ModuleLoader) - Method in interface org.aya.cli.library.incremental.CompilerAdvisor
loader - Variable in class org.aya.cli.single.SingleFileCompiler
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 - Variable in class org.aya.cli.single.SingleFileCompiler
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

M

mapNode(Node) - Method in class org.aya.cli.literate.AyaMdParser
markdown - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyFormat
MarkdownAyaFile(SourceFile, LiterateData) - Constructor for record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile: Creates an instance of a MarkdownAyaFile record class.
Member - Enum constant in enum class org.aya.cli.literate.HighlightInfo.DefKind
merge() - Method in class org.aya.cli.interactive.ReplContext
merge() - Method in class org.aya.cli.interactive.ReplShapeFactory
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.
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
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.
newCompiler(PrimFactory, Reporter, CompilerFlags, CompilerAdvisor, Path) - Static method in class org.aya.cli.library.LibraryCompiler
newCompiler(PrimFactory, Reporter, CompilerFlags, CompilerAdvisor, LibraryOwner) - Static method in class org.aya.cli.library.LibraryCompiler
newGsonBuilder() - Static method in class org.aya.cli.render.vscode.ColorTheme
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
notifyTycked(ResolveInfo, ImmutableSeq<TyckDef>) - Method in record class org.aya.cli.library.source.LibrarySource

O

ofAyaJson(Path) - Static method in class org.aya.cli.library.json.LibraryConfigData
onDisk() - Static method in interface org.aya.cli.library.incremental.CompilerAdvisor
options() - Method in interface org.aya.cli.literate.FaithfulPrettier
options() - Method in record class org.aya.cli.literate.FlclFaithfulPrettier: Returns the value of the options record component.
options() - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Returns the value of the options record component.
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.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.
originalFile(String) - Method in record class org.aya.cli.library.source.LibrarySource
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.
outputPath() - Method in record class org.aya.cli.library.json.LibraryConfig.LibraryLiterateConfig: Returns the value of the outputPath record component.
owner() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the owner record component.
owner() - Method in record class org.aya.cli.utils.InlineHintProblem: Returns the value of the owner record component.

P

pageWidth() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: Returns the value of the pageWidth record component.
parent - Variable in class org.aya.cli.render.vscode.ColorTheme
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
parseMe(GenericAyaParser) - Method in record class org.aya.cli.library.source.LibrarySource
parseMe(GenericAyaParser) - Method in record class org.aya.cli.single.SingleAyaFile.MarkdownAyaFile
parseMe(GenericAyaParser) - Method in record class org.aya.cli.utils.LiterateData
parserBuilder() - Method in class org.aya.cli.literate.AyaMdParser
path - Variable in class org.aya.cli.render.RenderOptions
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.utils.LiteratePrettierOptions
prettierOptions() - Method in record class org.aya.cli.single.CompilerFlags.PrettyInfo: Returns the value of the prettierOptions record component.
pretty - Variable in class org.aya.cli.library.json.LibraryConfigData.LibraryLiterateConfigData
pretty() - Method in record class org.aya.cli.library.json.LibraryConfig.LibraryLiterateConfig: Returns the value of the pretty record component.
pretty(ImmutableSeq<Problem>, PrettierOptions) - Method in record class org.aya.cli.library.source.LibrarySource
pretty(CompilerFlags, ImmutableSeq<? extends AyaDocile>, CollectingReporter, 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
problem() - Method in record class org.aya.cli.literate.HighlightInfo.Err: Returns the value of the problem record component.
problems() - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Returns the value of the problems record component.
program() - Method in record class org.aya.cli.library.source.LibrarySource: Returns the value of the program record component.
prompt - Variable in class org.aya.cli.interactive.ReplConfig

R

raw - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage
Ref(SourcePos, Link, HighlightInfo.DefKind, AyaDocile) - Constructor for record class org.aya.cli.literate.HighlightInfo.Ref: Creates an instance of a Ref record class.
remaining() - Method in record class org.aya.cli.literate.FaithfulPrettier.KnifeCut: Returns the value of the remaining 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.BackendSetup) - Method in class org.aya.cli.render.RenderOptions
renderOptions - Variable in class org.aya.cli.utils.LiteratePrettierOptions
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.BackendSetup - Interface in org.aya.cli.render
RenderOptions.ChainedSetup - Record Class in org.aya.cli.render
RenderOptions.ColorSchemeName - Enum Class in org.aya.cli.render
RenderOptions.DefaultSetup - 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
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.
reporter - Variable in class org.aya.cli.interactive.ReplCompiler
reporter - Variable in class org.aya.cli.single.SingleFileCompiler
reporter() - Method in record class org.aya.cli.single.SingleAyaFile.Factory: Returns the value of the reporter record component.
resolve(ResolveInfo) - Method in record class org.aya.cli.utils.LiterateData
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.syntax.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, ImmutableSeq<TyckDef>, ResolveInfo) - Static method in class org.aya.cli.utils.CompilerUtil
saveCompiledCore(LibrarySource, ResolveInfo, ImmutableSeq<TyckDef>) - 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
second() - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup: Returns the value of the second record component.
separateStyle() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: 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
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 interface org.aya.cli.render.RenderOptions.BackendSetup
setup(T) - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup
setup(T) - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup
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 - Class in org.aya.cli.single
SingleFileCompiler(Reporter, CompilerFlags, SourceFileLocator) - Constructor for class org.aya.cli.single.SingleFileCompiler
sourcePos() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns the value of the sourcePos record component.
sourcePos() - Method in record class org.aya.cli.literate.HighlightInfo.Err
sourcePos() - Method in record class org.aya.cli.literate.HighlightInfo.Lit: Returns the value of the sourcePos record component.
sourcePos() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns the value of the sourcePos record component.
sourcePos() - Method in interface org.aya.cli.literate.HighlightInfo
sourcePos() - Method in record class org.aya.cli.utils.InlineHintProblem
SPECIAL_SYMBOL - Static variable in record 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.DefaultSetup: Returns the value of the SSR record component.
stage() - Method in exception class org.aya.cli.library.LibraryCompiler.LibraryTyckingFailed
start() - Method in class org.aya.cli.library.LibraryCompiler
String - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
styleCode() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: 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
successNotion() - Method in record class org.aya.cli.single.CompilerFlags.Message: Returns the value of the successNotion record component.
SyntaxHighlight - Record Class in org.aya.cli.literate
SyntaxHighlight(ModulePath, MutableList<HighlightInfo>) - Constructor for record class org.aya.cli.literate.SyntaxHighlight: Creates an instance of a SyntaxHighlight record class.

T

target - Variable in enum class org.aya.cli.utils.CliEnums.PrettyFormat
target() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns the value of the target record component.
target() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns the value of the target record component.
then(RenderOptions.BackendSetup) - Method in interface org.aya.cli.render.RenderOptions.BackendSetup
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>, ImmutableSeq<Problem>, PrettierOptions) - Method in interface org.aya.cli.single.SingleAyaFile
toDoc(GenericAyaFile, ModulePath, ImmutableSeq<Stmt>, ImmutableSeq<Problem>, PrettierOptions) - Static method in record class org.aya.cli.utils.LiterateData
toInfo(FlclToken) - Static method in record class org.aya.cli.literate.FlclFaithfulPrettier
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
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.LibraryLiterateConfig: 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.KnifeCut: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.FlclFaithfulPrettier: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.Err: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.Lit: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.LiterateFaithfulPrettier: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.literate.SyntaxHighlight: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.render.RenderOptions.ChainedSetup: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.render.RenderOptions.DefaultSetup: 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.utils.InlineHintProblem: Returns a string representation of this record class.
toString() - Method in record class org.aya.cli.utils.LiterateData: Returns a string representation of this record class.
tyck(ResolveInfo) - Method in record class org.aya.cli.utils.LiterateData
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() - Method in record class org.aya.cli.literate.HighlightInfo.Def: Returns the value of the type record component.
type() - Method in record class org.aya.cli.literate.HighlightInfo.Ref: Returns the value of the type record component.
typed - Enum constant in enum class org.aya.cli.utils.CliEnums.PrettyStage

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.DefaultSetup: 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

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.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.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.
visitExpr(SourcePos, Expr) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitModuleDecl(SourcePos, ModuleName) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitModuleRef(SourcePos, ModuleName) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitModuleRef(SourcePos, ModulePath) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitPattern(SourcePos, Pattern) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitVarDecl(SourcePos, AnyVar, LazyValue<Term>) - Method in record class org.aya.cli.literate.SyntaxHighlight
visitVarRef(SourcePos, AnyVar, LazyValue<Term>) - Method in record class org.aya.cli.literate.SyntaxHighlight
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

Whitespace - Enum constant in enum class org.aya.cli.literate.HighlightInfo.LitKind
withInlineHints(Problem, PrettierOptions) - Static method in record class org.aya.cli.utils.InlineHintProblem

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