Skip to main content

Module parser

ought_spec

Module parser 

Source
Expand description

Public parsing interface for ought specs.

The Parser trait is the abstraction boundary; OughtMdParser is the canonical implementation for .ought.md files. The state-machine driving the actual parse, plus all pure helpers, live in sibling submodules below this one.

Structs§

OughtMdParser
Canonical parser for .ought.md files: CommonMark markdown with bold deontic keywords (**MUST**, **SHOULD**, …), GIVEN nesting, OTHERWISE chains, and MUST BY duration literals.

Traits§

Parser
The public interface for parsing spec files into the ought IR.