purescript/purescript-record

This is stars and forks stats for /purescript/purescript-record repository. As of 26 Apr, 2024 this repository has 69 stars and 31 forks.

purescript-record Functions for working with records and polymorphic labels Installation spago install record Examples Given some Symbol ("type level String") Proxy and a constrained or concrete record type, you can use this library to generically modify records. x_ = Proxy :: Proxy "x" -- we can get a value out of a field gotX :: Int gotX = Record.get x_ { x: 1 } -- we can insert a value into a record that does not have a field at that label yet insertedX :: { x :: Int } insertedX = Record.insert...