jrec
jrec copied to clipboard
Literally the best anonymous records
https://haskell.flake.page/
``` > Rec (#a := 3, #b := True) :: Rec '["a" := Int, "b" := String] :1:1: error: • Couldn't match type ‘Bool’ with ‘[Char]’ arising from a use...
I have a question about the stance of the library against key dupclication. Currently, there is no key duplication check on construct, and the operators work even if there is...
Currently we always remove null fields during encoding, and always allow skipping them during decoding.
Currently the error will probably be bad. We can add an instance for (x -> y) with a `TypeError =>` that will warn about the trailing comma issue.
Vague inspiration: https://pursuit.purescript.org/packages/purescript-record/0.2.6/docs/Data.Record Not sure about all of this, but: - [x] `union` appends records and removes duplicates. Left-biased. Does not sort. - [x] `append` appends records and does not...