Trait Schema 

pub trait Schema {
    type Input;
    type Output;

    // Required method
    fn parse(&self, input: &Self::Input) -> Result<Self::Output, FormaError>;
}

The typed validation view.

Err always carries at least one issue. v0 primitives set Input == Output; crate::coerce::CoercedSchema is the first transform-shaped citizen (Input = String, Output = T), and crate::types::object::ObjectSchema makes the ordered crate::value::Object the struct-shaped currency (Input = Object, Output = Object).

Required Associated Types

type Input

What the schema consumes.

type Output

What the schema produces on success.

Required Methods

fn parse(&self, input: &Self::Input) -> Result<Self::Output, FormaError>

Validates and parses input; all violated constraints accumulate into one error.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Schema for BoolSchema

type Input = bool

type Output = bool

impl Schema for ObjectSchema

type Input = Object

type Output = Object

impl Schema for StringSchema

type Input = String

type Output = String

impl<T: FromStr> Schema for CoercedSchema<T>

type Input = String

type Output = T

impl<T: NumberValue> Schema for NumberSchema<T>

type Input = T

type Output = T