Module sourcefile

This module contains declarations for Papyri source files and spans.

Structs

SourceFile

Represents a Papyri source file. The source as a string must be smaller than 4 GiB.

SourceRange

Represents a span of code in a Papyri source file. The source must be smaller than 4GiB.

Functions

is_papyri_file

Determines whether the given file path has the .papyri extension.

is_papyri_library

Determines whether the given file path appears to a Papyri library, i.e. a file with the .lib.papyri extension.