Module spec 

Specification trait implementations for this combinator. Fixpoint specifications and recursive-body interfaces.

Traits

GoodSerializerRecBody

Serializer’s properties preservation for recursive bodies.

NonTailFmtRecBody

DPS serializer’s properties preservation for recursive bodies.

ProductiveRecBody

Productivity preservation for recursive bodies.

SafeParserRecBody

Safety preservation for recursive bodies.

SoundParserRecBody

Soundness preservation for recursive bodies.

SpecRecBody

Defines one level of a recursive format for use with super::FixWith.

Functions

good_serializer_fn

non_tail_fmt_dps

parser_specs

productive_parser

safe_parser

serializer_specs

sound_parser

Type Aliases

BundledSpecs

ParamRecSpecs

ParserFnSpecs

ParserSpecs

Bundled triple of parser, consistency, and byte-length spec functions.

SerializerFnSpecs

SerializerSpecs

A bundled non-DPS serializer: pairs a SerializerFnSpec with a ByteLenFnSpec.