We should give an attribute to completely ignore fields with complex types that Uniplate doesn't understand or that the user doesn't want to biplate over.
For example, in Conjure Oxide, we would want to ignore our context pointer in Model (as this has lifetimes and lots of nested types), and the next_variable counter in SymbolTable (as this is an implementation detail).
We should give an attribute to completely ignore fields with complex types that Uniplate doesn't understand or that the user doesn't want to biplate over.
For example, in Conjure Oxide, we would want to ignore our context pointer in
Model(as this has lifetimes and lots of nested types), and thenext_variablecounter inSymbolTable(as this is an implementation detail).