Trait pergola::ValTraits

pub trait ValTraits: Debug + Eq + Clone + Hash + Default + Serialize + DeserializeOwned { }

ValTraits is used to constrain the LatticeDef::T types to include basic assumptions we need all datatypes to support. But notably not Ord! While several LatticeDef type parameters do require Ord (which is because of the the deriving-bug workaround described in the docs of DefTraits) the partial orders of the lattice are separate and defined by the LatticeDefs themselves, and several important LatticeDef::T types are not totally ordered at all (namely all the set-like and map-like ones).

Implementors

impl<T: Debug + Eq + Clone + Hash + Default + Serialize + DeserializeOwned> ValTraits for T

Loading content...