Expand description
Traits for determining whether we can derive traits for a thing or not.
These traits tend to come in pairs:
-
A “trivial” version, whose implementations aren’t allowed to recursively look at other types or the results of fix point analyses.
-
A “normal” version, whose implementations simply query the results of a fix point analysis.
The former is used by the analyses when creating the results queried by the second.
Enums
Whether it is possible or not to automatically derive trait for an item.
Traits
A trait that encapsulates the logic for whether or not we can derive
Copy
for a given thing.A trait that encapsulates the logic for whether or not we can derive
Debug
for a given thing.A trait that encapsulates the logic for whether or not we can derive
Default
for a given thing.A trait that encapsulates the logic for whether or not we can derive
Eq
for a given thing.A trait that encapsulates the logic for whether or not we can derive
Hash
for a given thing.A trait that encapsulates the logic for whether or not we can derive
Ord
for a given thing.A trait that encapsulates the logic for whether or not we can derive
PartialEq
for a given thing.A trait that encapsulates the logic for whether or not we can derive
PartialOrd
for a given thing.