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

FromAny JSString

ToAny JSString

Binary JSString

Serialize JSString

data JSAny

Any JS value, with one layer of indirection.

Instances

Eq JSAny

FromAny JSAny

ToAny JSAny

type URL = String

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

Any type which can be converted to/from a JSString.

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

JSType AudioPreload

JSType JSON

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 Char

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

newtype Elem

A DOM node.

Constructors

Elem JSAny

Instances

FromAny Elem

ToAny Elem

IsElem Elem

BitmapSource Elem

class IsElem a where

The class of types backed by DOM elements.

Minimal complete definition

elemOf

Methods

elemOf :: a -> Elem

Get the element representing the object.

fromElem :: Elem -> IO (Maybe a)

Attempt to create an object from an Elem.

Instances

IsElem Elem

IsElem Audio

IsElem Canvas

IsElem Bitmap

data Attribute

A key/value pair representing the value of an attribute. May represent a property, an HTML attribute, a style attribute or a list of child elements.

data AttrName

The name of an attribute. May be either a common property, an HTML attribute or a style attribute.

Constructors

PropName !JSString

StyleName !JSString

AttrName !JSString

Instances

IsString AttrName

set :: (IsElem e, MonadIO m) => e -> [Attribute] -> m ()

Set a number of Attributes on an element.

with :: (IsElem e, MonadIO m) => m e -> [Attribute] -> m e

Set a number of Attributes on the element produced by an IO action. Gives more convenient syntax when creating elements:

newElem "div" with [ style "border" =: "1px solid black", ... ]

attribute :: AttrName -> JSString -> Attribute

Construct an Attribute.

children :: [Elem] -> Attribute

Attribute adding a list of child nodes to an element.

click :: (IsElem e, MonadIO m) => e -> m ()

Generate a click event on an element.

focus :: (IsElem e, MonadIO m) => e -> m ()

Generate a focus event on an element.

blur :: (IsElem e, MonadIO m) => e -> m ()

Generate a blur event on an element.

document :: Elem

The DOM node corresponding to document.

documentBody :: Elem

The DOM node corresponding to document.body.

deleteChild :: (IsElem parent, IsElem child, MonadIO m) => parent -> child -> m ()

Remove the second element from the first's children.

clearChildren :: (IsElem e, MonadIO m) => e -> m ()

Remove all children from the given element.

setChildren :: (IsElem parent, IsElem child, MonadIO m) => parent -> [child] -> m ()

Clear the given element's list of children, and append all given children to it.

getChildren :: (IsElem e, MonadIO m) => e -> m [Elem]

Get a list of all children belonging to a certain element.

getLastChild :: (IsElem e, MonadIO m) => e -> m (Maybe Elem)

Get the last of an element's children.

getFirstChild :: (IsElem e, MonadIO m) => e -> m (Maybe Elem)

Get the first of an element's children.

getChildBefore :: (IsElem e, MonadIO m) => e -> m (Maybe Elem)

Get the sibling before the given one, if any.

insertChildBefore :: (IsElem parent, IsElem before, IsElem child, MonadIO m) => parent -> before -> child -> m ()

Insert an element into a container, before another element. For instance: insertChildBefore theContainer olderChild childToAdd

appendChild :: (IsElem parent, IsElem child, MonadIO m) => parent -> child -> m ()

Append the first element as a child of the second element.

removeChild :: (IsElem parent, IsElem child, MonadIO m) => child -> parent -> m ()

Deprecated: Use deleteChild instead

DEPRECATED: use deleteChild instead!

addChild :: (IsElem parent, IsElem child, MonadIO m) => child -> parent -> m ()

Deprecated: Use appendChild instead

DEPRECATED: use appendChild instead!

addChildBefore :: (IsElem parent, IsElem child, MonadIO m) => child -> parent -> child -> m ()

Deprecated: Use insertChildBefore instead

DEPRECATED: use insertChildBefore instead!

data Timer

Timer handle.

data Interval

Interval and repeat for timers.

Constructors

Once !Int

Fire once, in n milliseconds.

Repeat !Int

Fire every n milliseconds.

setTimer

Arguments

:: MonadEvent m

=> Interval

Milliseconds until timer fires.

-> m ()

Function to call when timer fires.

-> m Timer

Timer handle for interacting with the timer.

Set a timer.

stopTimer :: MonadIO m => Timer -> m ()

Stop a timer.

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 => (String -> String -> IO ()) -> 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 => (JSString -> JSString -> IO ()) -> 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.