Skip to content

RocqFile

type RocqFile =
    {
        Path: string
        FullPath: string
        Module: string
        Digest: string
        GlobDigest: string
        GlobStatus: GlobStatus
        Glob: GlobFile option
        Model: FileModel
    }
Assembly FSharp.Data.Rocq

One source file with its digests and model.

Fields

Path: string
FullPath: string
Module: string
Digest: string

MD5 of the source, in lowercase hexadecimal.

GlobDigest: string

MD5 of the .glob, in lowercase hexadecimal.

GlobStatus: GlobStatus
Glob: GlobFile option

The parsed .glob of a Current file.

Model: FileModel