Haste

Haste's companion to the Prelude.

Note that this module should *not* be imported together with Haste.App, which provides the same functionality but slightly modified for automatic program slicing.

Documentation

data JSString

JSStrings are represented as normal strings server-side; should probably be changed to ByteString or Text.

Instances

Eq JSString

Ord JSString

Show JSString

IsString JSString

JSType JSString

Unpack JSString

Pack JSString

Serialize JSString

type JSAny = Ptr Any

type URL = String

class GenericCallback a m where

Associated Types

type CB a

Methods

mkcb :: (m () -> IO ()) -> a -> CB a

Build a callback from an IOfier and a function.

mkIOfier :: a -> m (m () -> IO ())

Never evaluate the first argument to mkIOfier, it's only there to fix the types.

Instances

GenericCallback (IO ()) IO

GenericCallback (CIO ()) CIO

GenericCallback (Client ()) Client

GenericCallback b m => GenericCallback (a -> b) m

alert :: MonadIO m => String -> m ()

Javascript alert() function.

prompt :: MonadIO m => String -> m String

Javascript prompt() function.

eval :: MonadIO m => JSString -> m JSString

Javascript eval() function.

writeLog :: MonadIO m => String -> m ()

Use console.log to write a message.

catJSStr :: JSString -> [JSString] -> JSString

Concatenate a series of JSStrings using the specified separator.

fromJSStr :: JSString -> String

class JSType a where

Methods

toJSString :: a -> JSString

fromJSString :: JSString -> Maybe a

Instances

JSType Bool

JSType Double

JSType Float

JSType Int

JSType Int8

JSType Int16

JSType Int32

JSType Integer

JSType Word

JSType Word8

JSType Word16

JSType Word32

JSType String

JSType ()

JSType JSString

class JSNum a where

(Almost) all numeric types can be efficiently converted to and from Double, which is the internal representation for most of them.

Methods

toNumber :: a -> Double

fromNumber :: Double -> a

Instances

JSNum Double

JSNum Float

JSNum Int

JSNum Int8

JSNum Int16

JSNum Int32

JSNum Integer

JSNum Word

JSNum Word8

JSNum Word16

JSNum Word32

toString :: JSType a => a -> String

fromString :: JSType a => String -> Maybe a

convert :: (JSNum a, JSNum b) => a -> b

module Haste.DOM

class GenericCallback a m where

Associated Types

type CB a

Methods

mkcb :: (m () -> IO ()) -> a -> CB a

Build a callback from an IOfier and a function.

mkIOfier :: a -> m (m () -> IO ())

Never evaluate the first argument to mkIOfier, it's only there to fix the types.

Instances

GenericCallback (IO ()) IO

GenericCallback (CIO ()) CIO

GenericCallback (Client ()) Client

GenericCallback b m => GenericCallback (a -> b) m

toCallback :: (Monad m, GenericCallback a m) => a -> m (CB a)

Turn a function of type a -> ... -> m () into a function of type a -> ... -> IO (), for use with generic JS callbacks.

setCallback :: MonadIO m => Elem -> Event IO a -> a -> m Bool

Set a callback for the given event.

setCallback' :: (ToConcurrent a, MonadIO m) => Elem -> Event CIO a -> Async a -> m Bool

Like setCallback, but takes a callback in the CIO monad instead of IO.

newtype JSFun a

Constructors

JSFun (Ptr a)

mkCallback :: a -> JSFun a

Turn a computation into a callback that can be passed to a JS function.

data Event m a where

These constructors correspond to their namesake DOM events. Mouse related callbacks receive the coordinates of the mouse pointer at the time the event was fired, relative to the top left corner of the element that fired the event. The click events also receive the mouse button that was pressed.

The key updownpress events receive the character code of the key that was pressed.

Constructors

OnLoad :: Event m (m ())

OnUnload :: Event m (m ())

OnChange :: Event m (m ())

OnFocus :: Event m (m ())

OnBlur :: Event m (m ())

OnMouseMove :: Event m ((Int, Int) -> m ())

OnMouseOver :: Event m ((Int, Int) -> m ())

OnMouseOut :: Event m (m ())

OnClick :: Event m (Int -> (Int, Int) -> m ())

OnDblClick :: Event m (Int -> (Int, Int) -> m ())

OnMouseDown :: Event m (Int -> (Int, Int) -> m ())

OnMouseUp :: Event m (Int -> (Int, Int) -> m ())

OnKeyPress :: Event m (Int -> m ())

OnKeyUp :: Event m (Int -> m ())

OnKeyDown :: Event m (Int -> m ())

OnSubmit :: Event m (m ())

OnWheel :: Event m ((Int, Int) -> (Double, Double, Double) -> m ())

Instances

Eq (Event m a)

Ord (Event m a)

setTimeout :: MonadIO m => Int -> IO () -> m ()

Wrapper for window.setTimeout; execute the given computation after a delay given in milliseconds.

setTimeout' :: MonadIO m => Int -> CIO () -> m ()

Like setTimeout, but takes a callback in the CIO monad instead of IO.

class Callback a where

Methods

constCallback :: IO () -> a

Instances

Callback (IO ())

Callback (a -> IO ())

onEvent :: MonadIO m => Elem -> Event IO a -> a -> m Bool

Friendlier name for setCallback.

onEvent' :: (ToConcurrent a, MonadIO m) => Elem -> Event CIO a -> Async a -> m Bool

Friendlier name for setCallback'.

jsSetCB :: Elem -> JSString -> JSFun a -> IO Bool

jsSetTimeout :: Int -> JSFun a -> IO ()

evtName :: IsString s => Event m a -> s

The name of a given event.

class Random a where

Minimal complete definition

randomR

Methods

randomR :: (a, a) -> Seed -> (a, Seed)

Generate a pseudo random number between a lower (inclusive) and higher (exclusive) bound.

randomRs :: (a, a) -> Seed -> [a]

Instances

Random Double

Random Int

Random Int32

Random Word

Random Word32

data Seed

next :: Seed -> Seed

Generate the next seed in the sequence.

mkSeed :: Int -> Seed

Create a new seed from an integer.

newSeed :: MonadIO m => m Seed

Generate a new seed using Javascript's PRNG.

onHashChange :: (MonadIO m, GenericCallback (m ()) m, CB (m ()) ~ IO ()) => (String -> String -> m ()) -> m ()

Register a callback to be run whenever the URL hash changes. The two arguments of the callback are the new and old hash respectively.

onHashChange' :: (MonadIO m, GenericCallback (m ()) m, CB (m ()) ~ IO ()) => (JSString -> JSString -> m ()) -> m ()

JSString version of onHashChange.

setHash :: MonadIO m => String -> m ()

Set the hash part of the current URL.

getHash :: MonadIO m => m String

Read the hash part of the currunt URL.

setHash' :: MonadIO m => JSString -> m ()

Set the hash part of the current URL - JSString version.

getHash' :: MonadIO m => m JSString

Read the hash part of the currunt URL - JSString version.