Hbro.Core

K-monad

runK :: Environment -> KT m a -> m a

runReaderT for K-monad

mapK :: (m a -> n b) -> KT m a -> KT n b

mapReaderT for K-monad.

mapK2 :: ((c -> m a) -> n b) -> (c -> KT m a) -> KT n b

Like mapK, but monadic-input of filter can do little reading.

Util

with :: (Environment -> a) -> (a -> IO b) -> K b

withK :: (Environment -> a) -> (a -> K b) -> K b

withTitle :: (String -> K ()) -> K ()

withURI :: (URI -> K ()) -> K ()

Read state

getFaviconURI :: K (Maybe URI)

getLoadProgress :: K Double

getTitle :: K (Maybe String)

getURI :: K (Maybe URI)

getState :: Typeable a => String -> a -> K (IORef a)

Browse

goBack, goHome, goForward :: K ()

loadURI :: URI -> K ()

reload, stopLoading, reloadBypassCache :: K ()

Display

zoomIn, zoomOut :: K ()

data Axis

Constructors

Horizontal

Vertical

data Position

Constructors

Absolute Double

Relative Double

scroll :: Axis -> Position -> K ()

General scrolling command.

Misc

notify :: Int -> String -> K ()

searchText :: CaseSensitivity -> Direction -> Wrap -> String -> K Bool

Wrapper around webViewSearchText, provided for convenience

toggleSourceMode :: K ()

Toggle source display. Current implementation forces a refresh of current web page, which may be undesired.

printPage :: K ()

Wrapper around webFramePrint function, provided for convenience.

executeJSFile :: FilePath -> WebView -> IO ()

Execute a javascript file on current webpage.