module Data.DOM.HTMLPreElement
       (set'width, get'width, getm'width, mkPre) where
import Data.DOM.Html2
import Control.Monad
import BrownPLT.JavaScript
import Data.DOM.WBTypes
import Data.DOM.Dom
import Data.DOM.Document (createElement)
 
set'width ::
          (Monad mn, CHTMLPreElement zz) =>
            Expression Double -> Expression zz -> mn (Expression zz)
set'width = setjsProperty "width"
 
get'width ::
          (Monad mn, CHTMLPreElement this) =>
            Expression this -> mn (Expression Double)
get'width thisp
  = do let et = undefined :: Double
       let r = DotRef et (thisp /\ et) (Id et "width")
       return r
 
getm'width ::
           (Monad mn, CHTMLPreElement this) =>
             Expression this -> mn (Expression Double)
getm'width = get'width
 
mkPre ::
      (Monad mn, CHTMLDocument a) =>
        Expression a -> mn (Expression THTMLPreElement)
mkPre = createElement (StringLit "pre" "pre")