packages feed

webkit-0.13.0.0: Graphics/UI/Gtk/WebKit/DOM/Console.chs

module Graphics.UI.Gtk.WebKit.DOM.Console
       (consoleTime, consoleGroupEnd, Console, ConsoleClass,
        castToConsole, gTypeConsole, toConsole)
       where
import System.Glib.FFI
import System.Glib.UTFString
import Control.Applicative
{#import Graphics.UI.Gtk.WebKit.Types#}
import System.Glib.GError
import Graphics.UI.Gtk.WebKit.DOM.EventM
 
consoleTime ::
            (ConsoleClass self, GlibString string) => self -> string -> IO ()
consoleTime self title
  = withUTFString title $
      \ titlePtr ->
        {# call webkit_dom_console_time #} (toConsole self) titlePtr
 
consoleGroupEnd :: (ConsoleClass self) => self -> IO ()
consoleGroupEnd self
  = {# call webkit_dom_console_group_end #} (toConsole self)