Safe Haskell	None
Language	Haskell98

Foreign.JavaScript.TH

Synopsis

newtype JSUint8Array x = JSUint8Array {
- unJSUint8Array :: JSRef x
}
newtype JSArray a = JSArray {
- unJSArray :: [a]
}
class ToJS x a where
- withJS :: MonadJS x m => a -> (JSRef x -> m r) -> m r
class FromJS x a where
- fromJS :: MonadJS x m => JSRef x -> m a
newtype WithJSContext x m a = WithJSContext {
- unWithJSContext :: ReaderT JSContextRef m a
}
type JS' = JSCtx_JavaScriptCore ()
data JSCtx_JavaScriptCore x
class Monad m => MonadJS x m | m -> x where
- runJS :: JSFFI -> [JSRef x] -> m (JSRef x)
- forkJS :: m () -> m ThreadId
- mkJSUndefined :: m (JSRef x)
- isJSNull :: JSRef x -> m Bool
- isJSUndefined :: JSRef x -> m Bool
- fromJSBool :: JSRef x -> m Bool
- fromJSString :: JSRef x -> m String
- fromJSArray :: JSRef x -> m [JSRef x]
- fromJSUint8Array :: JSRef x -> m ByteString
- fromJSNumber :: JSRef x -> m Double
- withJSBool :: Bool -> (JSRef x -> m r) -> m r
- withJSString :: String -> (JSRef x -> m r) -> m r
- withJSNumber :: Double -> (JSRef x -> m r) -> m r
- withJSArray :: [JSRef x] -> (JSRef x -> m r) -> m r
- withJSUint8Array :: ByteString -> (JSUint8Array x -> m r) -> m r
- mkJSFun :: ([JSRef x] -> m (JSRef x)) -> m (JSFun x)
- freeJSFun :: JSFun x -> m ()
- setJSProp :: String -> JSRef x -> JSRef x -> m ()
- getJSProp :: String -> JSRef x -> m (JSRef x)
- withJSNode :: Node -> (JSRef x -> m r) -> m r
class (Monad m, MonadJSM (JSX m), MonadFix (JSX m), MonadJS x (JSX m)) => HasJS x m | m -> x where
- type JSX m :: * -> *
- liftJS :: JSX m a -> m a
class IsJSContext x where
- data JSRef x
data JSFun x = JSFun {
- unJSFun :: JSRef x
- unJSFunction :: Function
}
newtype JSFFI = JSFFI String
newtype JSContextSingleton x = JSContextSingleton {
- unJSContextSingleton :: JSContextRef
}
newtype WithJSContextSingleton x m a = WithJSContextSingleton {
- unWithJSContextSingleton :: ReaderT (JSContextSingleton x) m a
}
type HasWebView = HasJSContext
class Monad m => HasJSContext m where
- type JSContextPhantom m :: *
- askJSContext :: m (JSContextSingleton (JSContextPhantom m))
runWithJSContextSingleton :: WithJSContextSingleton x m a -> JSContextSingleton x -> m a
withJSContextSingleton :: MonadJSM m => (forall x. JSContextSingleton x -> m r) -> m r
withJSContextSingletonMono :: MonadJSM m => (JSContextSingleton () -> m r) -> m r
runWithJSContext :: WithJSContext x m a -> JSContextRef -> m a
lowerWithJSContext :: MonadJSM m => WithJSContext x IO a -> m a
liftWithJSContextSingletonThroughWithJSContext :: (HasJSContext m, MonadJSM m, MonadTrans t, Monad m1) => ((t1 -> t m1 a) -> WithJSContext x IO b) -> (t1 -> WithJSContextSingleton (JSContextPhantom m) m1 a) -> m b
withJSArrayFromList :: (ToJS x a, MonadJS x m) => [a] -> (JSRef x -> m r) -> m r
importJS :: Safety -> String -> String -> Q Type -> Q [Dec]
mkJSFFI :: Safety -> String -> Q ([Dec], Exp)
parseType :: Type -> ([Type], Type)
data Safety
- = Unsafe
- | Safe
- | Interruptible

Documentation

newtype JSUint8Array x Source #

Constructors

JSUint8Array
Fields unJSUint8Array :: JSRef x

Instances

ToJS x (JSUint8Array x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSUint8Array x -> (JSRef x -> m r) -> m r Source #
FromJS x (JSUint8Array x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (JSUint8Array x) Source #

newtype JSArray a Source #

Constructors

JSArray
Fields unJSArray :: [a]

Instances

ToJS x a => ToJS x (JSArray a) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSArray a -> (JSRef x -> m r) -> m r Source #
FromJS x a => FromJS x (JSArray a) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (JSArray a) Source #

class ToJS x a where Source #

Methods

withJS :: MonadJS x m => a -> (JSRef x -> m r) -> m r Source #

Instances

ToJS x Node Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Node -> (JSRef x -> m r) -> m r Source #
ToJS x Double Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Double -> (JSRef x -> m r) -> m r Source #
ToJS x Int Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Int -> (JSRef x -> m r) -> m r Source #
ToJS x Word8 Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Word8 -> (JSRef x -> m r) -> m r Source #
ToJS x Text Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Text -> (JSRef x -> m r) -> m r Source #
ToJS x String Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => String -> (JSRef x -> m r) -> m r Source #
ToJS x Bool Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => Bool -> (JSRef x -> m r) -> m r Source #
ToJS x (JSUint8Array x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSUint8Array x -> (JSRef x -> m r) -> m r Source #
ToJS x a => ToJS x (JSArray a) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSArray a -> (JSRef x -> m r) -> m r Source #
ToJS x (JSRef x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSRef x -> (JSRef x -> m r) -> m r Source #
ToJS x (JSFun x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSFun x -> (JSRef x -> m r) -> m r Source #

class FromJS x a where Source #

Methods

fromJS :: MonadJS x m => JSRef x -> m a Source #

Instances

FromJS x Double Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m Double Source #
FromJS x Int Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m Int Source #
FromJS x Text Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m Text Source #
FromJS x String Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m String Source #
FromJS x Bool Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m Bool Source #
FromJS x () Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m () Source #
FromJS x (JSUint8Array x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (JSUint8Array x) Source #
FromJS x a => FromJS x (JSArray a) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (JSArray a) Source #
FromJS x (JSRef x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (JSRef x) Source #
FromJS x a => FromJS x (Maybe a) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fromJS :: MonadJS x m => JSRef x -> m (Maybe a) Source #

newtype WithJSContext x m a Source #

Constructors

WithJSContext
Fields unWithJSContext :: ReaderT JSContextRef m a

Instances

MonadTrans (WithJSContext x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods lift :: Monad m => m a -> WithJSContext x m a #
MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId Source # mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source #
Monad m => Monad (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods (>>=) :: WithJSContext x m a -> (a -> WithJSContext x m b) -> WithJSContext x m b # (>>) :: WithJSContext x m a -> WithJSContext x m b -> WithJSContext x m b # return :: a -> WithJSContext x m a # fail :: String -> WithJSContext x m a #
Functor m => Functor (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fmap :: (a -> b) -> WithJSContext x m a -> WithJSContext x m b # (<$) :: a -> WithJSContext x m b -> WithJSContext x m a #
MonadFix m => MonadFix (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods mfix :: (a -> WithJSContext x m a) -> WithJSContext x m a #
Applicative m => Applicative (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods pure :: a -> WithJSContext x m a # (<>) :: WithJSContext x m (a -> b) -> WithJSContext x m a -> WithJSContext x m b # liftA2 :: (a -> b -> c) -> WithJSContext x m a -> WithJSContext x m b -> WithJSContext x m c # (>) :: WithJSContext x m a -> WithJSContext x m b -> WithJSContext x m b # (<*) :: WithJSContext x m a -> WithJSContext x m b -> WithJSContext x m a #
MonadIO m => MonadIO (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftIO :: IO a -> WithJSContext x m a #
MonadException m => MonadException (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods throw :: Exception e => e -> WithJSContext x m a # catch :: Exception e => WithJSContext x m a -> (e -> WithJSContext x m a) -> WithJSContext x m a # finally :: WithJSContext x m a -> WithJSContext x m b -> WithJSContext x m a #
MonadAsyncException m => MonadAsyncException (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods mask :: ((forall a. WithJSContext x m a -> WithJSContext x m a) -> WithJSContext x m b) -> WithJSContext x m b #
MonadIO m => MonadJSM (WithJSContext x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftJSM' :: JSM a -> WithJSContext x m a #

type JS' = JSCtx_JavaScriptCore () Source #

data JSCtx_JavaScriptCore x Source #

Instances

SupportsStaticDomBuilder t m => Prerender JS' t (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Prerender Associated Types type Client (StaticDomBuilderT t m) :: Type -> Type Source # Methods prerender :: StaticDomBuilderT t m a -> Client (StaticDomBuilderT t m) a -> StaticDomBuilderT t m (Dynamic t a) Source #
IsJSContext (JSCtx_JavaScriptCore x) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types data JSRef (JSCtx_JavaScriptCore x) :: Type Source #
MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId Source # mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source #
MonadJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId Source # mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source #
MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (WithJSContextSingleton x m) :: Type -> Type Source # Methods liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a Source #
newtype JSRef (JSCtx_JavaScriptCore x) Source #
Instance details Defined in Foreign.JavaScript.TH newtype JSRef (JSCtx_JavaScriptCore x) = JSRef_JavaScriptCore { unJSRef_JavaScriptCore :: JSVal }

class Monad m => MonadJS x m | m -> x where Source #

A Monad that is capable of executing JavaScript

Methods

runJS :: JSFFI -> [JSRef x] -> m (JSRef x) Source #

forkJS :: m () -> m ThreadId Source #

mkJSUndefined :: m (JSRef x) Source #

isJSNull :: JSRef x -> m Bool Source #

isJSUndefined :: JSRef x -> m Bool Source #

fromJSBool :: JSRef x -> m Bool Source #

fromJSString :: JSRef x -> m String Source #

fromJSArray :: JSRef x -> m [JSRef x] Source #

fromJSUint8Array :: JSRef x -> m ByteString Source #

fromJSNumber :: JSRef x -> m Double Source #

withJSBool :: Bool -> (JSRef x -> m r) -> m r Source #

withJSString :: String -> (JSRef x -> m r) -> m r Source #

withJSNumber :: Double -> (JSRef x -> m r) -> m r Source #

withJSArray :: [JSRef x] -> (JSRef x -> m r) -> m r Source #

withJSUint8Array :: ByteString -> (JSUint8Array x -> m r) -> m r Source #

mkJSFun :: ([JSRef x] -> m (JSRef x)) -> m (JSFun x) Source #

Create a JSFun with zero arguments; should be equilvant to `syncCallback AlwaysRetain True` in GHCJS

freeJSFun :: JSFun x -> m () Source #

setJSProp :: String -> JSRef x -> JSRef x -> m () Source #

getJSProp :: String -> JSRef x -> m (JSRef x) Source #

withJSNode :: Node -> (JSRef x -> m r) -> m r Source #

Instances

MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId Source # mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r Source #
MonadJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId Source # mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source #

class (Monad m, MonadJSM (JSX m), MonadFix (JSX m), MonadJS x (JSX m)) => HasJS x m | m -> x where Source #

Associated Types

type JSX m :: * -> * Source #

Methods

liftJS :: JSX m a -> m a Source #

Instances

HasJS js m => HasJS js (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Associated Types type JSX (HydratableT m) :: Type -> Type Source # Methods liftJS :: JSX (HydratableT m) a -> HydratableT m a Source #
HasJS js m => HasJS js (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Associated Types type JSX (InputDisabledT m) :: Type -> Type Source # Methods liftJS :: JSX (InputDisabledT m) a -> InputDisabledT m a Source #
HasJS x m => HasJS x (PostBuildT t m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (PostBuildT t m) :: Type -> Type Source # Methods liftJS :: JSX (PostBuildT t m) a -> PostBuildT t m a Source #
HasJS x m => HasJS x (ReaderT r m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (ReaderT r m) :: Type -> Type Source # Methods liftJS :: JSX (ReaderT r m) a -> ReaderT r m a Source #
HasJS x m => HasJS x (QueryT t q m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (QueryT t q m) :: Type -> Type Source # Methods liftJS :: JSX (QueryT t q m) a -> QueryT t q m a Source #
HasJS x m => HasJS x (EventWriterT t w m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (EventWriterT t w m) :: Type -> Type Source # Methods liftJS :: JSX (EventWriterT t w m) a -> EventWriterT t w m a Source #
HasJS x m => HasJS x (DynamicWriterT t w m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (DynamicWriterT t w m) :: Type -> Type Source # Methods liftJS :: JSX (DynamicWriterT t w m) a -> DynamicWriterT t w m a Source #
(HasJS x (HostFrame t), ReflexHost t) => HasJS x (PerformEventT t m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (PerformEventT t m) :: Type -> Type Source # Methods liftJS :: JSX (PerformEventT t m) a -> PerformEventT t m a Source #
HasJS x m => HasJS x (RequesterT t request response m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (RequesterT t request response m) :: Type -> Type Source # Methods liftJS :: JSX (RequesterT t request response m) a -> RequesterT t request response m a Source #
(HasJS x m, ReflexHost t) => HasJS x (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type JSX (HydrationDomBuilderT s t m) :: Type -> Type Source # Methods liftJS :: JSX (HydrationDomBuilderT s t m) a -> HydrationDomBuilderT s t m a Source #
MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (WithJSContextSingleton x m) :: Type -> Type Source # Methods liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a Source #

class IsJSContext x Source #

Associated Types

data JSRef x Source #

Instances

IsJSContext (JSCtx_JavaScriptCore x) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types data JSRef (JSCtx_JavaScriptCore x) :: Type Source #

data JSFun x Source #

Constructors

JSFun
Fields unJSFun :: JSRef x unJSFunction :: Function

Instances

ToJS x (JSFun x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods withJS :: MonadJS x m => JSFun x -> (JSRef x -> m r) -> m r Source #

newtype JSFFI Source #

Constructors

JSFFI String

newtype JSContextSingleton x Source #

A singleton type for a given JSContext; we use this to statically guarantee that different JSContexts don't get mixed up

Constructors

JSContextSingleton
Fields unJSContextSingleton :: JSContextRef

newtype WithJSContextSingleton x m a Source #

Constructors

WithJSContextSingleton
Fields unWithJSContextSingleton :: ReaderT (JSContextSingleton x) m a

Instances

PerformEvent t m => PerformEvent t (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type Performable (WithJSContextSingleton x m) :: Type -> Type # Methods performEvent :: Event t (Performable (WithJSContextSingleton x m) a) -> WithJSContextSingleton x m (Event t a) # performEvent_ :: Event t (Performable (WithJSContextSingleton x m) ()) -> WithJSContextSingleton x m () #
Adjustable t m => Adjustable t (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runWithReplace :: WithJSContextSingleton x m a -> Event t (WithJSContextSingleton x m b) -> WithJSContextSingleton x m (a, Event t b) # traverseIntMapWithKeyWithAdjust :: (Key -> v -> WithJSContextSingleton x m v') -> IntMap v -> Event t (PatchIntMap v) -> WithJSContextSingleton x m (IntMap v', Event t (PatchIntMap v')) # traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> WithJSContextSingleton x m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> WithJSContextSingleton x m (DMap k v', Event t (PatchDMap k v')) # traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> WithJSContextSingleton x m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> WithJSContextSingleton x m (DMap k v', Event t (PatchDMapWithMove k v')) #
MonadSubscribeEvent t m => MonadSubscribeEvent t (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods subscribeEvent :: Event t a -> WithJSContextSingleton x m (EventHandle t a) #
MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> WithJSContextSingleton x m (Event t a) # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> WithJSContextSingleton x m (EventSelector t k) #
MonadReflexHost t m => MonadReflexHost t (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type ReadPhase (WithJSContextSingleton x m) :: Type -> Type # Methods fireEventsAndRead :: [DSum (EventTrigger t) Identity] -> ReadPhase (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a # runHostFrame :: HostFrame t a -> WithJSContextSingleton x m a #
MonadTrans (WithJSContextSingleton x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods lift :: Monad m => m a -> WithJSContextSingleton x m a #
MonadTransControl (WithJSContextSingleton x) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type StT (WithJSContextSingleton x) a :: Type # Methods liftWith :: Monad m => (Run (WithJSContextSingleton x) -> m a) -> WithJSContextSingleton x m a # restoreT :: Monad m => m (StT (WithJSContextSingleton x) a) -> WithJSContextSingleton x m a #
MonadSample t m => MonadSample (t :: Type) (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods sample :: Behavior t a -> WithJSContextSingleton x m a #
MonadHold t m => MonadHold (t :: Type) (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods hold :: a -> Event t a -> WithJSContextSingleton x m (Behavior t a) # holdDyn :: a -> Event t a -> WithJSContextSingleton x m (Dynamic t a) # holdIncremental :: Patch p => PatchTarget p -> Event t p -> WithJSContextSingleton x m (Incremental t p) # buildDynamic :: PushM t a -> Event t a -> WithJSContextSingleton x m (Dynamic t a) # headE :: Event t a -> WithJSContextSingleton x m (Event t a) #
MonadJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x IO) Source #
Instance details Defined in Foreign.JavaScript.TH Methods runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId Source # mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool Source # fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String Source # fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)] Source # fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString Source # fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double Source # withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source # mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x)) Source # freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO () Source # getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x)) Source # withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r Source #
MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSX (WithJSContextSingleton x m) :: Type -> Type Source # Methods liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a Source #
Monad m => Monad (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods (>>=) :: WithJSContextSingleton x m a -> (a -> WithJSContextSingleton x m b) -> WithJSContextSingleton x m b # (>>) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m b # return :: a -> WithJSContextSingleton x m a # fail :: String -> WithJSContextSingleton x m a #
Functor m => Functor (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods fmap :: (a -> b) -> WithJSContextSingleton x m a -> WithJSContextSingleton x m b # (<$) :: a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a #
MonadFix m => MonadFix (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods mfix :: (a -> WithJSContextSingleton x m a) -> WithJSContextSingleton x m a #
Applicative m => Applicative (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods pure :: a -> WithJSContextSingleton x m a # (<>) :: WithJSContextSingleton x m (a -> b) -> WithJSContextSingleton x m a -> WithJSContextSingleton x m b # liftA2 :: (a -> b -> c) -> WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m c # (>) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m b # (<*) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a #
MonadIO m => MonadIO (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftIO :: IO a -> WithJSContextSingleton x m a #
MonadException m => MonadException (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods throw :: Exception e => e -> WithJSContextSingleton x m a # catch :: Exception e => WithJSContextSingleton x m a -> (e -> WithJSContextSingleton x m a) -> WithJSContextSingleton x m a # finally :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a #
MonadAsyncException m => MonadAsyncException (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods mask :: ((forall a. WithJSContextSingleton x m a -> WithJSContextSingleton x m a) -> WithJSContextSingleton x m b) -> WithJSContextSingleton x m b #
MonadIO m => MonadJSM (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftJSM' :: JSM a -> WithJSContextSingleton x m a #
PrimMonad m => PrimMonad (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type PrimState (WithJSContextSingleton x m) :: Type # Methods primitive :: (State# (PrimState (WithJSContextSingleton x m)) -> (#State# (PrimState (WithJSContextSingleton x m)), a#)) -> WithJSContextSingleton x m a #
MonadRef m => MonadRef (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type Ref (WithJSContextSingleton x m) :: Type -> Type # Methods newRef :: a -> WithJSContextSingleton x m (Ref (WithJSContextSingleton x m) a) # readRef :: Ref (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a # writeRef :: Ref (WithJSContextSingleton x m) a -> a -> WithJSContextSingleton x m () # modifyRef :: Ref (WithJSContextSingleton x m) a -> (a -> a) -> WithJSContextSingleton x m () # modifyRef' :: Ref (WithJSContextSingleton x m) a -> (a -> a) -> WithJSContextSingleton x m () #
MonadAtomicRef m => MonadAtomicRef (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods atomicModifyRef :: Ref (WithJSContextSingleton x m) a -> (a -> (a, b)) -> WithJSContextSingleton x m b # atomicModifyRef' :: Ref (WithJSContextSingleton x m) a -> (a -> (a, b)) -> WithJSContextSingleton x m b #
Monad m => HasJSContext (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (WithJSContextSingleton x m) :: Type Source # Methods askJSContext :: WithJSContextSingleton x m (JSContextSingleton (JSContextPhantom (WithJSContextSingleton x m))) Source #
type StT (WithJSContextSingleton x) a Source #
Instance details Defined in Foreign.JavaScript.TH type StT (WithJSContextSingleton x) a = StT (ReaderT (JSContextSingleton x)) a
type PrimState (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type PrimState (WithJSContextSingleton x m) = PrimState m
type Ref (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type Ref (WithJSContextSingleton x m) = Ref m
type Performable (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type Performable (WithJSContextSingleton x m) = WithJSContextSingleton x (Performable m)
type ReadPhase (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type ReadPhase (WithJSContextSingleton x m) = ReadPhase m
type JSX (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type JSX (WithJSContextSingleton x m) = WithJSContextSingleton x IO
type JSContextPhantom (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH type JSContextPhantom (WithJSContextSingleton x m) = x

type HasWebView = HasJSContext Source #

class Monad m => HasJSContext m where Source #

Associated Types

type JSContextPhantom m :: * Source #

Methods

askJSContext :: m (JSContextSingleton (JSContextPhantom m)) Source #

Instances

HasJSContext m => HasJSContext (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Associated Types type JSContextPhantom (HydratableT m) :: Type Source # Methods askJSContext :: HydratableT m (JSContextSingleton (JSContextPhantom (HydratableT m))) Source #
HasJSContext m => HasJSContext (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Associated Types type JSContextPhantom (InputDisabledT m) :: Type Source # Methods askJSContext :: InputDisabledT m (JSContextSingleton (JSContextPhantom (InputDisabledT m))) Source #
HasJSContext m => HasJSContext (StateT r m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (StateT r m) :: Type Source # Methods askJSContext :: StateT r m (JSContextSingleton (JSContextPhantom (StateT r m))) Source #
HasJSContext m => HasJSContext (StateT r m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (StateT r m) :: Type Source # Methods askJSContext :: StateT r m (JSContextSingleton (JSContextPhantom (StateT r m))) Source #
HasJSContext m => HasJSContext (ReaderT r m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (ReaderT r m) :: Type Source # Methods askJSContext :: ReaderT r m (JSContextSingleton (JSContextPhantom (ReaderT r m))) Source #
HasJSContext m => HasJSContext (PostBuildT t m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (PostBuildT t m) :: Type Source # Methods askJSContext :: PostBuildT t m (JSContextSingleton (JSContextPhantom (PostBuildT t m))) Source #
Monad m => HasJSContext (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (WithJSContextSingleton x m) :: Type Source # Methods askJSContext :: WithJSContextSingleton x m (JSContextSingleton (JSContextPhantom (WithJSContextSingleton x m))) Source #
HasJSContext m => HasJSContext (DynamicWriterT t w m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (DynamicWriterT t w m) :: Type Source # Methods askJSContext :: DynamicWriterT t w m (JSContextSingleton (JSContextPhantom (DynamicWriterT t w m))) Source #
HasJSContext m => HasJSContext (QueryT t q m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (QueryT t q m) :: Type Source # Methods askJSContext :: QueryT t q m (JSContextSingleton (JSContextPhantom (QueryT t q m))) Source #
HasJSContext m => HasJSContext (EventWriterT t w m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (EventWriterT t w m) :: Type Source # Methods askJSContext :: EventWriterT t w m (JSContextSingleton (JSContextPhantom (EventWriterT t w m))) Source #
(ReflexHost t, HasJSContext (HostFrame t)) => HasJSContext (PerformEventT t m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (PerformEventT t m) :: Type Source # Methods askJSContext :: PerformEventT t m (JSContextSingleton (JSContextPhantom (PerformEventT t m))) Source #
HasJSContext m => HasJSContext (RequesterT t request response m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type JSContextPhantom (RequesterT t request response m) :: Type Source # Methods askJSContext :: RequesterT t request response m (JSContextSingleton (JSContextPhantom (RequesterT t request response m))) Source #
HasJSContext m => HasJSContext (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type JSContextPhantom (HydrationDomBuilderT s t m) :: Type Source # Methods askJSContext :: HydrationDomBuilderT s t m (JSContextSingleton (JSContextPhantom (HydrationDomBuilderT s t m))) Source #

runWithJSContextSingleton :: WithJSContextSingleton x m a -> JSContextSingleton x -> m a Source #

withJSContextSingleton :: MonadJSM m => (forall x. JSContextSingleton x -> m r) -> m r Source #

withJSContextSingletonMono :: MonadJSM m => (JSContextSingleton () -> m r) -> m r Source #

Warning: withJSContextSingletonMono does not provide the same guarantees that withJSContextSingleton does.

runWithJSContext :: WithJSContext x m a -> JSContextRef -> m a Source #

lowerWithJSContext :: MonadJSM m => WithJSContext x IO a -> m a Source #

liftWithJSContextSingletonThroughWithJSContext :: (HasJSContext m, MonadJSM m, MonadTrans t, Monad m1) => ((t1 -> t m1 a) -> WithJSContext x IO b) -> (t1 -> WithJSContextSingleton (JSContextPhantom m) m1 a) -> m b Source #

withJSArrayFromList :: (ToJS x a, MonadJS x m) => [a] -> (JSRef x -> m r) -> m r Source #

importJS :: Safety -> String -> String -> Q Type -> Q [Dec] Source #

mkJSFFI :: Safety -> String -> Q ([Dec], Exp) Source #

parseType :: Type -> ([Type], Type) Source #

data Safety #

Constructors

Unsafe
Safe
Interruptible

Instances

Eq Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Safety -> Safety -> Bool # (/=) :: Safety -> Safety -> Bool #
Data Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Safety -> c Safety # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Safety # toConstr :: Safety -> Constr # dataTypeOf :: Safety -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Safety) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Safety) # gmapT :: (forall b. Data b => b -> b) -> Safety -> Safety # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r # gmapQ :: (forall d. Data d => d -> u) -> Safety -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Safety -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Safety -> m Safety # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety #
Ord Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods compare :: Safety -> Safety -> Ordering # (<) :: Safety -> Safety -> Bool # (<=) :: Safety -> Safety -> Bool # (>) :: Safety -> Safety -> Bool # (>=) :: Safety -> Safety -> Bool # max :: Safety -> Safety -> Safety # min :: Safety -> Safety -> Safety #
Show Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> Safety -> ShowS # show :: Safety -> String # showList :: [Safety] -> ShowS #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type # Methods from :: Safety -> Rep Safety x # to :: Rep Safety x -> Safety #
type Rep Safety
Instance details Defined in Language.Haskell.TH.Syntax type Rep Safety = D1 (MetaData "Safety" "Language.Haskell.TH.Syntax" "template-haskell" False) (C1 (MetaCons "Unsafe" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Safe" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Interruptible" PrefixI False) (U1 :: Type -> Type)))