LoadFailure

type LoadFailure =
    | ProjectFileMissing of project: string
    | SourceMissing of file: string
    | SourceNotUtf8 of file: string
    | GlobMissing of file: string
    | GlobStaleForSource of file: string * recorded: string * actual: string
    | GlobHasNoDigest of file: string
    | ModuleMismatch of file: string * glob: string * expected: string


Assembly	`FSharp.Data.Rocq`

A reason a project cannot be loaded.

Cases

ProjectFileMissing of project: string

SourceMissing of file: string

SourceNotUtf8 of file: string

GlobMissing of file: string

GlobStaleForSource of file: string * recorded: string * actual: string

GlobHasNoDigest of file: string

ModuleMismatch of file: string * glob: string * expected: string

Properties

member IsGlobHasNoDigest: bool

member IsGlobMissing: bool

member IsGlobStaleForSource: bool

member IsModuleMismatch: bool

member IsProjectFileMissing: bool

member IsSourceMissing: bool

member IsSourceNotUtf8: bool