Skip to content

A blazing fast library to add a prefix to a record's labels

Notifications You must be signed in to change notification settings

dariooddenino/purescript-record-prefix

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Purescript-Record-Prefix

A blazing fast library to add prefixes to records' labels.

Example

foo :: { bar :: Int, baz :: Boolean }
foo = { bar: 1, baz: true }

bar :: { prebar :: Int, prebaz :: Boolean }
bar = add (SProxy :: SProxy "pre") foo

baz :: { bar :: Int, baz :: Boolean }
baz = remove (SProxy :: SProxy "pre") bar

About

A blazing fast library to add a prefix to a record's labels

Resources

Stars

Watchers

Forks

Packages

No packages published