Method validate

crates/sats/src/de/impls.rs:611–634

(self, de: D)

    }

    fn validate<D: Deserializer<'de>>(self, de: D) -> Result<(), D::Error> {
        match self.ty() {
            AlgebraicType::Ref(r) => self.resolve(*r).validate(de),
            AlgebraicType::Sum(sum) => self.with(sum).validate(de),
            AlgebraicType::Product(prod) => self.with(prod).validate(de),
            AlgebraicType::Array(ty) => self.with(ty).validate(de),
            AlgebraicType::Bool => bool::validate(de),
            AlgebraicType::I8 => i8::validate(de),
            AlgebraicType::U8 => u8::validate(de),
            AlgebraicType::I16 => i16::validate(de),
            AlgebraicType::U16 => u16::validate(de),
            AlgebraicType::I32 => i32::validate(de),
            AlgebraicType::U32 => u32::validate(de),
            AlgebraicType::I64 => i64::validate(de),
            AlgebraicType::U64 => u64::validate(de),
            AlgebraicType::I128 => i128::validate(de),
            AlgebraicType::U128 => u128::validate(de),
            AlgebraicType::I256 => i256::validate(de),
            AlgebraicType::U256 => u256::validate(de),
            AlgebraicType::F32 => f32::validate(de),
            AlgebraicType::F64 => f64::validate(de),
            AlgebraicType::String => <&str>::validate(de),
        }
    }
}

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, SumType> {