@@ -0,0 +1,30 @@
5+ -- An effect type which indicates DOM manipulation
6+ foreign import data DOM :: !
8+ -- The jQuery wrapper type
9+ foreign import data JQuery :: *
11+ -- Wrapper function for jQuery selection $('..')
12+ foreign import select "function select(selector) { return function () { return jQuery(selector); }; }" :: forall eff. String -> Eff (dom :: DOM | eff) JQuery
14+ -- Wrapper function for jQuery creation e.g. $('<div>')
15+ foreign import create "function create(html) { return function () { return jQuery(html); }; }" :: forall eff. String -> Eff (dom :: DOM | eff) JQuery
18+ foreign import attr "function attr(attrs) { return function(ob) { return function () { return ob.attr(attrs); }; }; }" :: forall eff attr. { | attr } -> JQuery -> Eff (dom :: DOM | eff) JQuery
21+ foreign import css "function css(props) { return function(ob) { return function () { return ob.css(props); }; }; }" :: forall eff css. { | css } -> JQuery -> Eff (dom :: DOM | eff) JQuery
24+ foreign import append "function append(ob) { return function(ob1) { return function () { return ob.append(ob1); }; }; }" :: forall eff. JQuery -> JQuery -> Eff (dom :: DOM | eff) JQuery
27+ foreign import appendText "function appendText(ob) { return function(s) { return function () { return ob.append(s); }; }; }" :: forall eff. JQuery -> String -> Eff (dom :: DOM | eff) JQuery
29+ -- Get the document body
30+ foreign import body "function body() { return jQuery(document.body); }" :: forall eff. Eff (dom :: DOM | eff) JQuery