Package avail.persistence.cache

Types

Link copied to clipboard
object Repositories

{@code Repositories} manages all the system repositories. Repositories are stored in the user home directory (System.getProperty("user.home")) in the directory .avail/repositories. If the repositories directory does not exist it will be created. Additionally, if the .avail directory does not exist, it will be created.

Link copied to clipboard
class Repository(rootName: String, val fileName: File) : Closeable

A Repository manages a persistent IndexedFile of compiled modules.

Link copied to clipboard
class RepositoryDescriber(repository: Repository)

An RepositoryDescriber provides a textual representation of a Repository, showing the contained modules, versions, and compilations.

Link copied to clipboard
typealias StyleRun = Pair<IntRange, String>

An int range and name of the style to apply to the source characters of that range.