pub trait Serialize {
    // Required method
    fn serialize<S>(
        &self,
        serializer: S
    ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
       where S: Serializer;
}
Expand description

A data structure that can be serialized into any data format supported by SATS.

In most cases, implementations of Serialize may be #[derive(Serialize)]d.

The Serialize trait in SATS performs the same function as serde::Serialize in serde. See the documentation of serde::Serialize for more information of the data model.

Required Methods§

source

fn serialize<S>( &self, serializer: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

Serialize self in the data format of S using the provided serializer.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl Serialize for bool

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for f32

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for f64

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for i8

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for i16

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for i32

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for i64

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for i128

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for str

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for u8

source§

fn serialize<S>( &self, serializer: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for u16

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for u32

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for u64

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for u128

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for ()

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for String

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for ColId

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for ConstrainedFloat<f32, UnitConstraint<f32>>

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for ConstrainedFloat<f64, UnitConstraint<f64>>

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for IndexId

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for SequenceId

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl Serialize for TableId

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<K, V> Serialize for BTreeMap<K, V>
where K: Serialize, V: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T> Serialize for Option<T>
where T: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T> Serialize for &T
where T: Serialize + ?Sized,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T> Serialize for [T]
where T: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T> Serialize for Box<T>
where T: Serialize + ?Sized,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T> Serialize for Vec<T>
where T: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T, E> Serialize for Result<T, E>
where T: Serialize, E: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

source§

impl<T, const N: usize> Serialize for [T; N]
where T: Serialize,

source§

fn serialize<S>( &self, ser: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>
where S: Serializer,

Implementors§

source§

impl Serialize for StAccess

source§

impl Serialize for StTableType

source§

impl Serialize for AlgebraicValue

source§

impl Serialize for IndexType

source§

impl Serialize for MiscModuleExport

source§

impl Serialize for Expr

source§

impl Serialize for Rhs

source§

impl Serialize for OpCmp

source§

impl Serialize for OpLogic

source§

impl Serialize for OpUnary

source§

impl Serialize for AlgebraicType

source§

impl Serialize for ArrayValue

source§

impl Serialize for BuiltinType

source§

impl Serialize for Address

source§

impl Serialize for AddressForUrl

source§

impl Serialize for Cmp

source§

impl Serialize for CmpArgs

source§

impl Serialize for Logic

source§

impl Serialize for Unary

source§

impl Serialize for Hash

source§

impl Serialize for Identity

source§

impl Serialize for DomainName

source§

impl Serialize for Tld

source§

impl Serialize for ColumnIndexAttribute

source§

impl Serialize for IndexDef

source§

impl Serialize for ModuleDef

source§

impl Serialize for ProductValue

source§

impl Serialize for ReducerDef

source§

impl Serialize for TableDef

source§

impl Serialize for TypeAlias

source§

impl Serialize for ProductType

source§

impl Serialize for ProductTypeElement

source§

impl Serialize for SumType

source§

impl Serialize for AlgebraicTypeRef

source§

impl Serialize for ArrayType

source§

impl Serialize for MapType

source§

impl Serialize for ValueWithType<'_, AlgebraicValue>

source§

impl Serialize for ValueWithType<'_, ArrayValue>

source§

impl Serialize for ValueWithType<'_, ProductValue>

source§

impl Serialize for ValueWithType<'_, BTreeMap<AlgebraicValue, AlgebraicValue>>

source§

impl Serialize for ValueWithType<'_, SumValue>

source§

impl Serialize for SumTypeVariant

source§

impl Serialize for SumValue

source§

impl Serialize for Typespace

source§

impl<T> Serialize for ValueWithType<'_, Vec<T>>
where T: Value, ValueWithType<'a, T>: for<'a> Serialize,