Expand description
Executable fn traits.
Structs§
- FnByte
Len - Pairs an executable byte-length closure with its specification.
- FnMap
- Pairs an executable predicate closure with a ghost spec predicate.
- FnParser
- Pairs an executable parser closure with a ghost specification parser.
- FnPred
- Pairs an executable predicate closure with a ghost spec predicate.
- FnPrepare
- Pairs an executable preparation closure with its consistency and byte-length specification.
- FnSerializer
- Pairs an executable serializer closure with a ghost specification serializer.
Traits§
- Map
- MapRef
- Pred
- Executable counterpart of
crate::core::spec::SpecPred.