RecordsModule
PackageReified.Schema.Contracts
The record frontend: parses F# source with the F# compiler's syntax tree (no type checking) and
lowers
[<DeriveSchema>]-marked records into the same ContractDecl AST the .contract
parser produces, so both entry points share the resolver and emitter. Attributes and literals are read
from source text; nothing runs at runtime.Summary
| Name | Signature | Synopsis |
|---|---|---|
| parse | Records.parse naming filePath sourceText | Parses one F# source file and lowers its marked records. |
Parses one F# source file and lowers its marked records. Returns a contract file whose
Contracts list is empty when the file declares no [<DeriveSchema>] records.Parameters
| Name | Type | Description |
|---|---|---|
| naming | SchemaNaming | |
| filePath | string | |
| sourceText | string |
Returns
Result<ContractFile, ContractDiagnostic list>