No Encode/Decode for Nat

This commit is contained in:
Ayaz Hafiz 2023-01-27 17:16:10 -06:00
parent 99050956d3
commit 572a666780
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
5 changed files with 131 additions and 14 deletions

View file

@ -87,12 +87,19 @@ pub enum NotDerivableContext {
Function,
UnboundVar,
Opaque(Symbol),
Encode(NotDerivableEncode),
Decode(NotDerivableDecode),
Eq(NotDerivableEq),
}
#[derive(PartialEq, Eq, Debug, Clone)]
pub enum NotDerivableEncode {
Nat,
}
#[derive(PartialEq, Eq, Debug, Clone)]
pub enum NotDerivableDecode {
Nat,
OptionalRecordField(Lowercase),
}