Crate manas_specs

Source
Expand description

This crate provides types to represent spec requirements, and exports statics for different specs in solid ecosystem.

Modules§

protocol
I define statics for Solid Protocol specification.

Macros§

spec_mod
A macro for defining requirement

Structs§

KRecourseAsPerReq
A TypedRecordKey for recourse_as_per requirement.
KViolatedReq
A TypedRecordKey for violated requirement.
Requirement
Represents a specification requirement
RequirementMinView
A minimal view of Requirement.
SpecProblem
Struct representing a spec problem.

Enums§

RequirementLevel
Requirement Levels as specified in RFC2119

Statics§

SPEC_PROBLEM_TYPE_NS_BASE
Namespace base uri for spec error problem types.

Traits§

Specification
A trait for defining a specification type.