@@ -0,0 +1,23 @@
1+-- The jQuery wrapper type
2+extern data JQuery :: *
4+-- Wrapper function for jQuery selection $('..')
5+extern select :: String -> JQuery
7+-- Wrapper function for jQuery creation e.g. $('<div>')
8+extern create :: String -> JQuery
11+extern attr :: forall attr. JQuery -> { | attr } -> JQuery
14+extern css :: forall css. JQuery -> { | css } -> JQuery
17+extern append :: JQuery -> JQuery -> JQuery
20+extern appendTo :: JQuery -> JQuery -> JQuery
23+extern appendText :: JQuery -> String -> JQuery