search

purescript / purescript-record

Functions for working with records and polymorphic labels
BSD 3-Clause "New" or "Revised" License
70 stars 31 forks source link

drop fields #64

Closed BebeSparkelSparkel closed 2 years ago

BebeSparkelSparkel commented 4 years ago

It would be nice to have a function that will drop/delete unnecessary record fields.

drop :: forall r1 r2. Record r1 -> Record r1 where r2 is a subset of r1

garyb commented 4 years ago

I think this is a duplicate of #5?

JordanMartinez commented 2 years ago

Yeah, I'll close this.