Trait Prepare 

pub trait Prepare<T>: SpecByteLen<T = T::V> + Consistency<Val = T::V>
where
    T: DeepView + ?Sized,
{
    // Required method
    exec fn prepare(&self, v: &T) -> checked : Result<usize, PreSerializeError>;

    // Provided method
    open spec fn exec_inv(&self) -> bool { ... }
}

Checks that a value can be serialized and computes its exact output length.

Call this before allocating an output or invoking SerializerExt::serialize on a value whose consistency has not already been established.

Required Methods

exec fn prepare(&self, v: &T) -> checked : Result<usize, PreSerializeError>

requires

self.exec_inv(),

ensures

checked matches Ok(
    len,
) ==> {
    &&& self.consistent(v.deep_view())
    &&& len == self.byte_len(v.deep_view())

},

Validates v and returns its exact serialized length.

Provided Methods

open spec fn exec_inv(&self) -> bool

{ true }

Extra invariant required by the executable preparation implementation.

Implementations on Foreign Types

impl<T, S> Prepare<T> for &S

where T: DeepView + ?Sized, S: Prepare<T>,

open spec fn exec_inv(&self) -> bool

{ (*self).exec_inv() }

exec fn prepare(&self, v: &T) -> checked : Result<usize, PreSerializeError>

Implementors

impl Prepare<BerLength> for BerLengthFmt

impl Prepare<i8> for Integer8Fmt

impl Prepare<i8> for I8

impl Prepare<i16> for Integer16Fmt

impl Prepare<i16> for I16Be

impl Prepare<i16> for I16Le

impl Prepare<i32> for I32Be

impl Prepare<i32> for I32Le

impl Prepare<i64> for I64Be

impl Prepare<i64> for I64Le

impl Prepare<u8> for U8

impl Prepare<u16> for U16Be

impl Prepare<u16> for U16Le

impl Prepare<u32> for U24Be

impl Prepare<u32> for U24Le

impl Prepare<u32> for U32Be

impl Prepare<u32> for U32Le

impl Prepare<u64> for U64Be

impl Prepare<u64> for U64Le

impl Prepare<()> for BerEndFmt

impl Prepare<()> for Empty

impl Prepare<()> for Eof

impl Prepare<BitStringOwned> for BitStringFmt<false>

Available on crate feature alloc only.

impl Prepare<BmpString> for BmpStringFmt

Available on crate feature alloc only.

impl Prepare<Ia5StringOwned> for Ia5StringFmt

Available on crate feature alloc only.

impl Prepare<ObjectIdentifier> for ObjectIdentifierFmt

Available on crate feature alloc only.

impl Prepare<PrintableStringOwned> for PrintableStringFmt

Available on crate feature alloc only.

impl Prepare<Tag> for TagFmt

impl Prepare<TeletexStringOwned> for TeletexStringFmt

Available on crate feature alloc only.

impl Prepare<CborInitial> for CborInitialFmt

impl Prepare<ExecNever> for Void

impl Prepare<String> for UniversalStringFmt

Available on crate feature alloc only.

impl Prepare<String> for Utf8StringFmt

Available on crate feature alloc only.

impl Prepare<[u8]> for Tail

impl<'a, const DER: bool> Prepare<Any<'a>> for AnyFmt<DER>

impl<'a, const DER: bool> Prepare<Real<'a, DER>> for RealFmt<DER>

impl<'i> Prepare<&'i str> for Utf8StringFmt

impl<'i> Prepare<&'i [u8]> for Tail

impl<'i> Prepare<Integer<'i>> for EnumeratedFmt

impl<'i> Prepare<Integer<'i>> for IntegerFmt

impl<'i> Prepare<Ia5String<'i>> for Ia5StringFmt

impl<'i> Prepare<PrintableString<'i>> for PrintableStringFmt

impl<'i> Prepare<TeletexString<'i>> for TeletexStringFmt

impl<'i, Len: AsLen> Prepare<&'i [u8]> for Varied<Len>

impl<'i, const DER: bool> Prepare<BitString<'i, DER>> for BitStringFmt<DER>

impl<'i, const DER: bool> Prepare<GeneralizedTime<'i>> for GeneralizedTimeFmt<DER>

impl<'i, const DET: bool, const LIMIT: usize> Prepare<CborValue<'i>> for CborFmt<DET, LIMIT>

where CborRecBody<DET>: SpecRecBody<Param = (), T = CborValueSpec, Body = CborBodyFmt<DET>> + PrepareRecBody<CborValue<'i>, EP = ()>,

impl<'i, const N: usize> Prepare<&'i [u8]> for Fixed<N>

impl<A, AST> Prepare<Option<AST>> for OptionalEnd<A>

where A: Prepare<AST>, AST: DeepView,

impl<A, AVal, B, BVal, const CHECK: bool> Prepare<BVal> for Preceded<A, AVal, B, CHECK>

where AVal: DeepView<V = AVal>, BVal: DeepView, A: Prepare<AVal>, B: Prepare<BVal>,

impl<A, B, AVal, BVal> Prepare<(AVal, BVal)> for PairRev<A, B>

where AVal: DeepView, BVal: DeepView, A: Prepare<AVal>, B: Prepare<BVal>,

impl<A, B, BVal, T, const CHECK: bool> Prepare<T> for Terminated<A, B, BVal, CHECK>

where T: DeepView, BVal: DeepView<V = BVal>, A: Prepare<T>, B: Prepare<BVal>,

impl<A, B, C, D, E, TA, TB, TC, TD, TE> Prepare<(TA, (TB, (TC, (TD, TE))))> for Permute5<A, B, C, D, E>

where TA: DeepView, TB: DeepView, TC: DeepView, TD: DeepView, TE: DeepView, A: Prepare<TA>, B: Prepare<TB>, C: Prepare<TC>, D: Prepare<TD>, E: Prepare<TE>,

impl<A, B, C, D, TA, TB, TC, TD> Prepare<(TA, (TB, (TC, TD)))> for Permute4<A, B, C, D>

where TA: DeepView, TB: DeepView, TC: DeepView, TD: DeepView, A: Prepare<TA>, B: Prepare<TB>, C: Prepare<TC>, D: Prepare<TD>,

impl<A, B, C, TA, TB, TC> Prepare<(TA, (TB, TC))> for Permute3<A, B, C>

where TA: DeepView, TB: DeepView, TC: DeepView, A: Prepare<TA>, B: Prepare<TB>, C: Prepare<TC>,

impl<A, B, STA, STB> Prepare<(STA, STB)> for Bind<A, B>

where STA: DeepView, STB: DeepView, A: Prepare<STA>, B::O: Prepare<STB>, B: MapRef<STA, Input = STA::V>,

impl<A, B, TA, TB> Prepare<(&[TA], TB)> for Repeat<A, B>

where A: Prepare<TA> + Copy, B: Prepare<TB>, TA: DeepView, TB: DeepView,

impl<A, B, TA, TB> Prepare<(Option<TA>, TB)> for Optional<A, B>

where TA: DeepView, TB: DeepView, A: Prepare<TA>, B: Prepare<TB>,

impl<A, B, TA, TB> Prepare<Sum<TA, TB>> for Sum<A, B>

where TA: DeepView, TB: DeepView, A: Prepare<TA>, B: Prepare<TB>,

impl<A, B, TA, TB> Prepare<Sum<TA, TB>> for Choice<A, B>

where TA: DeepView, TB: DeepView, A: Prepare<TA>, B: Prepare<TB>,

impl<A, B, TA, TB> Prepare<(TA, TB)> for Pair<A, B>

where TA: DeepView, TB: DeepView, A: Prepare<TA>, B: Prepare<TB>,

impl<A, PredFn, T> Prepare<T> for Refined<A, PredFn>

where T: DeepView, A: Prepare<T>, PredFn: Pred<T>,

impl<A, T> Prepare<&[T]> for RepeatTillEnd<A>

where A: Prepare<T> + Copy, T: DeepView,

impl<A, T> Prepare<Option<T>> for Opt<A>

where T: DeepView, A: Prepare<T>,

impl<A, T> Prepare<Vec<T>> for RepeatTillEnd<A>

where A: Prepare<T> + Copy, T: DeepView,

Available on crate feature alloc only.

impl<C, Elem> Prepare<[Elem]> for SetOfFmt<C>

where Elem: DeepView, C: SpecCombinator<T = <Elem as DeepView>::V> + Prepare<Elem> + DerOrd<Elem> + Copy,

impl<C, Elem> Prepare<Vec<Elem>> for SetOfFmt<C>

where Elem: DeepView, C: SpecCombinator<T = <Elem as DeepView>::V> + Prepare<Elem> + DerOrd<Elem> + Copy,

Available on crate feature alloc only.

impl<C, T> Prepare<&[T]> for BerSequenceOfFmt<C>

where C: SpecCombinator + Prepare<T> + Copy, T: DeepView,

impl<C, T> Prepare<Vec<T>> for BerSequenceOfFmt<C>

where C: SpecCombinator + Prepare<T> + Copy, T: DeepView,

Available on crate feature alloc only.

impl<C, T> Prepare<T> for BerSequenceFmt<C>

where T: DeepView + ?Sized, C: SpecCombinator + Prepare<T> + Copy,

impl<C, T, const LIMIT: usize> Prepare<T> for BerCharStringFmt<C, LIMIT>

where T: DeepView + ?Sized, C: SpecCombinator + Copy + GoodSerializer + SPRoundTrip + Prepare<T>,

impl<Content, T, const DER: bool> Prepare<T> for ASN1Fmt<Content, DER>

where T: DeepView + ?Sized, Content: SpecCombinator + Prepare<T>,

impl<F, T> Prepare<T> for ImplicitlyTaggedFmt<F>

where T: DeepView + ?Sized, F: Retaggable + Prepare<T>,

impl<Field, Default, Rest, R, const DER: bool> Prepare<(Default, R)> for DefaultedFmt<Field, Default, Rest, DER>

where Field: SpecByteLen<T = Default> + Prepare<Default>, Rest: SpecByteLen<T = R::V> + Prepare<R>, Default: DeepView<V = Default> + PartialEq + Structural + Copy, R: DeepView,

impl<Inner, M, MRev, T> Prepare<T> for Mapped<Inner, BiMap<M, MRev>>

where T: DeepView, M: SpecMap<Input = MRev::Output, Output = T::V>, MRev: SpecMap<Input = T::V> + for<'x> Map<&'x T>, Inner: for<'x> Prepare<<MRev as Map<&'x T>>::O>,

impl<Inner, N, T> Prepare<[T]> for RepeatN<Inner, N>

where Inner: Prepare<T>, T: DeepView, N: AsLen,

impl<Inner, T> Prepare<&T> for Ref<Inner>

where T: DeepView + ?Sized, Inner: Prepare<T>,

impl<Inner, T> Prepare<[T]> for Star<Inner>

where Inner: Prepare<T>, T: DeepView,

impl<Inner, T> Prepare<T> for Const<Inner, T>

where T: DeepView<V = T> + PartialEq + Structural, Inner: Prepare<T>,

impl<Inner, T, const N: usize> Prepare<[T; N]> for Array<N, Inner>

where Inner: Prepare<T>, T: DeepView,

impl<Len, Inner, InnerST> Prepare<InnerST> for ExactLen<Inner, Len>

where Len: AsLen, InnerST: DeepView + ?Sized, Inner: Prepare<InnerST>,

impl<Len: AsLen> Prepare<[u8]> for Varied<Len>

impl<Of, TagVal, Tg, T> Prepare<T> for SuffixTagged<Of, Tg, TagVal>

where Tg: SpecByteLen<T = TagVal> + Prepare<TagVal>, TagVal: DeepView<V = TagVal> + PartialEq + Structural + Copy, T: DeepView, Of: Prepare<T>,

impl<P1, P2, T1, T2> Prepare<(T1, T2)> for Permute2<P1, P2>

where T1: DeepView, T2: DeepView, P1: Prepare<T1>, P2: Prepare<T2>,

impl<T, Inner> Prepare<T> for Cond<Inner>

where T: DeepView, Inner: Prepare<T>,

impl<T, Inner> Prepare<T> for Named<Inner>

where T: DeepView, Inner: Prepare<T>,

impl<T, Spec, Exec> Prepare<T> for FnPrepare<T, Spec, Exec>

where T: DeepView + ?Sized, Spec: SpecByteLen<T = T::V> + Consistency<Val = T::V>, Exec: Fn(&T) -> Result<usize, PreSerializeError>,

impl<T, const LIMIT: usize> Prepare<T> for BerBitStringFmt<LIMIT>

where T: DeepView<V = BitStringSpec> + ?Sized, ASN1Fmt<BitStringFmt<BER>, BER>: Prepare<T>,

impl<T, const LIMIT: usize, Body, Param> Prepare<T> for FixWith<LIMIT, Body, Param>

where T: DeepView<V = Body::T>, Param: DeepView<V = Body::Param>, Body: PrepareRecBody<T, EP = Param>,

impl<Tg, TagVal, Of, T> Prepare<T> for PrefixTagged<Tg, TagVal, Of>

where Tg: SpecByteLen<T = TagVal> + Prepare<TagVal>, TagVal: DeepView<V = TagVal> + PartialEq + Structural + Copy, T: DeepView, Of: Prepare<T>,

impl<Then, T> Prepare<T> for AndThen<Tail, Then>

where T: DeepView + ?Sized, Then: Prepare<T>,

impl<const DER: bool> Prepare<bool> for BoolFmt<DER>

impl<const DER: bool> Prepare<usize> for LengthFmt<DER>

impl<const DER: bool> Prepare<AnyOwned> for AnyFmt<DER>

Available on crate feature alloc only.

impl<const DER: bool> Prepare<UtcTime> for UtcTimeFmt<DER>

impl<const DET: bool> Prepare<CborHead> for CborHeadFmt<DET>

impl<const LIMIT: usize> Prepare<AnyOwned> for BerAnyFmt<LIMIT>

Available on crate feature alloc only.

impl<const LIMIT: usize> Prepare<Vec<u8>> for BerOctetStringFmt<LIMIT>

Available on crate feature alloc only.

impl<const LIMIT: usize> Prepare<[u8]> for BerOctetStringFmt<LIMIT>

impl<const MINIMAL: bool> Prepare<u64> for Base128Fmt<MINIMAL>

impl<const MINIMAL: bool> Prepare<u64> for VarInt<MINIMAL>

impl<const N: usize> Prepare<[u8; N]> for Const<Fixed<N>, [u8; N]>

impl<const N: usize> Prepare<[u8]> for Fixed<N>