diff --git a/latest-compatible-sets.json b/latest-compatible-sets.json index 49c88bb4..385b3a8c 100644 --- a/latest-compatible-sets.json +++ b/latest-compatible-sets.json @@ -29,5 +29,5 @@ "0.15.9": "psc-0.15.9-20230718", "0.15.10": "psc-0.15.10-20231023", "0.15.12": "psc-0.15.12-20231123", - "0.15.13": "psc-0.15.13-20231223" + "0.15.13": "psc-0.15.13-20231225" } diff --git a/packages.json b/packages.json index 3fe459ac..7e80fd7a 100644 --- a/packages.json +++ b/packages.json @@ -5086,6 +5086,18 @@ "repo": "https://github.com/justinwoo/purescript-record-extra.git", "version": "v5.0.1" }, + "record-ptional-fields": { + "dependencies": [ + "maybe", + "partial", + "prelude", + "record", + "type-equality", + "unsafe-coerce" + ], + "repo": "https://github.com/katsujukou/purescript-record-optional-fields.git", + "version": "v0.1.1" + }, "record-studio": { "dependencies": [ "heterogeneous", diff --git a/src/packages.dhall b/src/packages.dhall index 96078f5f..098f2c73 100644 --- a/src/packages.dhall +++ b/src/packages.dhall @@ -4552,6 +4552,18 @@ , repo = "https://github.com/justinwoo/purescript-record-extra.git" , version = "v5.0.1" } +, record-ptional-fields = + { dependencies = + [ "maybe" + , "partial" + , "prelude" + , "record" + , "type-equality" + , "unsafe-coerce" + ] + , repo = "https://github.com/katsujukou/purescript-record-optional-fields.git" + , version = "v0.1.1" + } , record-studio = { dependencies = [ "heterogeneous", "lists", "prelude", "record", "typelevel-prelude" ]