Add jquery package. (#413)
commit7139f9c3326a0e487fa41d42da68ef320a85101a
authorNick Saunders <nick@saunde.rs>
dateMon 29 Jul 2019, 00:59 (7 years ago)
parent147604b
packages.json+10
@@ -1288,6 +1288,16 @@
12881288 "repo": "https://github.com/justinwoo/purescript-jajanmen.git",
12891289 "version": "v1.0.0"
12901290 },
1291+ "jquery": {
1292+ "dependencies": [
1293+ "console",
1294+ "effect",
1295+ "foreign",
1296+ "web-dom"
1297+ ],
1298+ "repo": "https://github.com/purescript-contrib/purescript-jquery.git",
1299+ "version": "v5.0.0"
1300+ },
12911301 "js-date": {
12921302 "dependencies": [
12931303 "datetime",
src/groups/purescript-contrib.dhall+8
@@ -128,6 +128,14 @@
128128 , version =
129129 "v4.0.1"
130130 }
131+, jquery =
132+ { dependencies =
133+ [ "console", "effect", "foreign", "web-dom" ]
134+ , repo =
135+ "https://github.com/purescript-contrib/purescript-jquery.git"
136+ , version =
137+ "v5.0.0"
138+ }
131139, machines =
132140 { dependencies =
133141 [ "arrays"