Safe Haskell	None
Language	Haskell2010

Language.Javascript.JSaddle.Run

Contents

Running JSM
Functions used to implement JSaddle using JSON messaging

Description

Synopsis

syncPoint :: JSM ()
syncAfter :: JSM a -> JSM a
waitForAnimationFrame :: JSM Double
nextAnimationFrame :: (Double -> JSM a) -> JSM a
enableLogging :: Bool -> JSM ()
runJavaScript :: (Batch -> IO ()) -> JSM () -> IO (Results -> IO (), Results -> IO Batch, IO ())
data AsyncCommand
data Command
data Result
sendCommand :: Command -> JSM Result
sendLazyCommand :: (JSValueForSend -> AsyncCommand) -> JSM JSVal
sendAsyncCommand :: AsyncCommand -> JSM ()
wrapJSVal :: JSValueReceived -> JSM JSVal

Running JSM

syncPoint :: JSM () Source #

Forces execution of pending asyncronous code

syncAfter :: JSM a -> JSM a Source #

Forces execution of pending asyncronous code after performing f

waitForAnimationFrame :: JSM Double Source #

On GHCJS this is waitForAnimationFrame. On GHC it will delay the execution of the current batch of asynchronous command when they are sent to JavaScript. It will not delay the Haskell code execution. The time returned will be based on the Haskell clock (not the JavaScript clock).

nextAnimationFrame :: (Double -> JSM a) -> JSM a Source #

Tries to executes the given code in the next animation frame callback. Avoid synchronous opperations where possible.

enableLogging :: Bool -> JSM () Source #

Enable (or disable) JSaddle logging

Functions used to implement JSaddle using JSON messaging

runJavaScript :: (Batch -> IO ()) -> JSM () -> IO (Results -> IO (), Results -> IO Batch, IO ()) Source #

data AsyncCommand Source #

Command sent to a JavaScript context for execution asynchronously

Constructors

FreeRef Text JSValueForSend
FreeRefs Text
SetPropertyByName JSObjectForSend JSStringForSend JSValueForSend
SetPropertyAtIndex JSObjectForSend Int JSValueForSend
StringToValue JSStringForSend JSValueForSend
NumberToValue Double JSValueForSend
JSONValueToValue Value JSValueForSend
GetPropertyByName JSObjectForSend JSStringForSend JSValueForSend
GetPropertyAtIndex JSObjectForSend Int JSValueForSend
CallAsFunction JSObjectForSend JSObjectForSend [JSValueForSend] JSValueForSend
CallAsConstructor JSObjectForSend [JSValueForSend] JSValueForSend
NewEmptyObject JSValueForSend
NewAsyncCallback JSValueForSend
NewSyncCallback JSValueForSend
FreeCallback JSValueForSend
NewArray [JSValueForSend] JSValueForSend
EvaluateScript JSStringForSend JSValueForSend
SyncWithAnimationFrame JSValueForSend
StartSyncBlock
EndSyncBlock

Instances

Show AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods showsPrec :: Int -> AsyncCommand -> ShowS # show :: AsyncCommand -> String # showList :: [AsyncCommand] -> ShowS #
Generic AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types Associated Types type Rep AsyncCommand :: Type -> Type # Methods from :: AsyncCommand -> Rep AsyncCommand x # to :: Rep AsyncCommand x -> AsyncCommand #
ToJSON AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods toJSON :: AsyncCommand -> Value # toEncoding :: AsyncCommand -> Encoding # toJSONList :: [AsyncCommand] -> Value # toEncodingList :: [AsyncCommand] -> Encoding #
FromJSON AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods parseJSON :: Value -> Parser AsyncCommand # parseJSONList :: Value -> Parser [AsyncCommand] #
NFData AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods rnf :: AsyncCommand -> () #
type Rep AsyncCommand Source #
Instance details Defined in Language.Javascript.JSaddle.Types type Rep AsyncCommand = D1 (MetaData "AsyncCommand" "Language.Javascript.JSaddle.Types" "jsaddle-0.9.7.1-7uzVJFh5tvcErlyaCJSEE9" False) ((((C1 (MetaCons "FreeRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "FreeRefs" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "SetPropertyByName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: (C1 (MetaCons "SetPropertyAtIndex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: C1 (MetaCons "StringToValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))))) :+: ((C1 (MetaCons "NumberToValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "JSONValueToValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Value) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: (C1 (MetaCons "GetPropertyByName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: (C1 (MetaCons "GetPropertyAtIndex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: C1 (MetaCons "CallAsFunction" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JSValueForSend]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))))))) :+: (((C1 (MetaCons "CallAsConstructor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JSValueForSend]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: C1 (MetaCons "NewEmptyObject" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: (C1 (MetaCons "NewAsyncCallback" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: (C1 (MetaCons "NewSyncCallback" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "FreeCallback" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))))) :+: ((C1 (MetaCons "NewArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JSValueForSend]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "EvaluateScript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringForSend) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))) :+: (C1 (MetaCons "SyncWithAnimationFrame" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: (C1 (MetaCons "StartSyncBlock" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "EndSyncBlock" PrefixI False) (U1 :: Type -> Type))))))

data Command Source #

Command sent to a JavaScript context for execution synchronously

Instances

Show Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
Generic Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types Associated Types type Rep Command :: Type -> Type # Methods from :: Command -> Rep Command x # to :: Rep Command x -> Command #
ToJSON Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods toJSON :: Command -> Value # toEncoding :: Command -> Encoding # toJSONList :: [Command] -> Value # toEncodingList :: [Command] -> Encoding #
FromJSON Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods parseJSON :: Value -> Parser Command # parseJSONList :: Value -> Parser [Command] #
NFData Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods rnf :: Command -> () #
type Rep Command Source #
Instance details Defined in Language.Javascript.JSaddle.Types type Rep Command = D1 (MetaData "Command" "Language.Javascript.JSaddle.Types" "jsaddle-0.9.7.1-7uzVJFh5tvcErlyaCJSEE9" False) (((C1 (MetaCons "DeRefVal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: (C1 (MetaCons "ValueToBool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "ValueToNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)))) :+: (C1 (MetaCons "ValueToString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: (C1 (MetaCons "ValueToJSON" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "ValueToJSONValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend))))) :+: ((C1 (MetaCons "IsNull" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: (C1 (MetaCons "IsUndefined" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)) :+: C1 (MetaCons "StrictEqual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend)))) :+: (C1 (MetaCons "InstanceOf" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueForSend) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend)) :+: (C1 (MetaCons "PropertyNames" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSObjectForSend)) :+: C1 (MetaCons "Sync" PrefixI False) (U1 :: Type -> Type)))))

data Result Source #

Result of a Command returned from the JavaScript context

Instances

Show Result Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods showsPrec :: Int -> Result -> ShowS # show :: Result -> String # showList :: [Result] -> ShowS #
Generic Result Source #
Instance details Defined in Language.Javascript.JSaddle.Types Associated Types type Rep Result :: Type -> Type # Methods from :: Result -> Rep Result x # to :: Rep Result x -> Result #
ToJSON Result Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods toJSON :: Result -> Value # toEncoding :: Result -> Encoding # toJSONList :: [Result] -> Value # toEncodingList :: [Result] -> Encoding #
FromJSON Result Source #
Instance details Defined in Language.Javascript.JSaddle.Types Methods parseJSON :: Value -> Parser Result # parseJSONList :: Value -> Parser [Result] #
type Rep Result Source #
Instance details Defined in Language.Javascript.JSaddle.Types type Rep Result = D1 (MetaData "Result" "Language.Javascript.JSaddle.Types" "jsaddle-0.9.7.1-7uzVJFh5tvcErlyaCJSEE9" False) (((C1 (MetaCons "DeRefValResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueRef) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "ValueToBoolResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: C1 (MetaCons "ValueToNumberResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))) :+: (C1 (MetaCons "ValueToStringResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringReceived)) :+: (C1 (MetaCons "ValueToJSONResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSStringReceived)) :+: C1 (MetaCons "ValueToJSONValueResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Value))))) :+: ((C1 (MetaCons "IsNullResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: (C1 (MetaCons "IsUndefinedResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: C1 (MetaCons "StrictEqualResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :+: ((C1 (MetaCons "InstanceOfResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: C1 (MetaCons "PropertyNamesResult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [JSStringReceived]))) :+: (C1 (MetaCons "ThrowJSValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 JSValueReceived)) :+: C1 (MetaCons "SyncResult" PrefixI False) (U1 :: Type -> Type)))))

sendCommand :: Command -> JSM Result Source #

sendLazyCommand :: (JSValueForSend -> AsyncCommand) -> JSM JSVal Source #

sendAsyncCommand :: AsyncCommand -> JSM () Source #

wrapJSVal :: JSValueReceived -> JSM JSVal Source #

DeRefVal JSValueForSend
ValueToBool JSValueForSend
ValueToNumber JSValueForSend
ValueToString JSValueForSend
ValueToJSON JSValueForSend
ValueToJSONValue JSValueForSend
IsNull JSValueForSend
IsUndefined JSValueForSend
StrictEqual JSValueForSend JSValueForSend
InstanceOf JSValueForSend JSObjectForSend
PropertyNames JSObjectForSend
Sync

DeRefValResult JSValueRef Text
ValueToBoolResult Bool
ValueToNumberResult Double
ValueToStringResult JSStringReceived
ValueToJSONResult JSStringReceived
ValueToJSONValueResult Value
IsNullResult Bool
IsUndefinedResult Bool
StrictEqualResult Bool
InstanceOfResult Bool
PropertyNamesResult [JSStringReceived]
ThrowJSValue JSValueReceived
SyncResult