Foreign.JavaScript.TH

Documentation

newtype JSUint8Array x

Constructors

JSUint8Array

Fields

• unJSUint8Array :: JSRef x

Instances

ToJS x (JSUint8Array x)

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => JSUint8Array x -> (JSRef x -> m r) -> m r

FromJS x (JSUint8Array x)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (JSUint8Array x)

newtype JSArray a

Constructors

JSArray

Fields

• unJSArray :: [a]

Instances

ToJS x a => ToJS x (JSArray a)

Defined in Foreign.JavaScript.TH

Methods

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

FromJS x a => FromJS x (JSArray a)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (JSArray a)

class ToJS x a where

Minimal complete definition

withJS

Methods

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

Instances

ToJS x Node

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Node -> (JSRef x -> m r) -> m r

ToJS x Double

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Double -> (JSRef x -> m r) -> m r

ToJS x Int

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Int -> (JSRef x -> m r) -> m r

ToJS x Word8

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Word8 -> (JSRef x -> m r) -> m r

ToJS x Text

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Text -> (JSRef x -> m r) -> m r

ToJS x String

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => String -> (JSRef x -> m r) -> m r

ToJS x Bool

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => Bool -> (JSRef x -> m r) -> m r

ToJS x (JSUint8Array x)

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => JSUint8Array x -> (JSRef x -> m r) -> m r

ToJS x a => ToJS x (JSArray a)

Defined in Foreign.JavaScript.TH

Methods

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

ToJS x (JSRef x)

Defined in Foreign.JavaScript.TH

Methods

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

ToJS x (JSFun x)

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => JSFun x -> (JSRef x -> m r) -> m r

class FromJS x a where

Minimal complete definition

fromJS

Methods

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

Instances

FromJS x Double

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m Double

FromJS x Int

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m Int

FromJS x Text

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m Text

FromJS x String

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m String

FromJS x Bool

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m Bool

FromJS x ()

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m ()

FromJS x (JSUint8Array x)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (JSUint8Array x)

FromJS x a => FromJS x (JSArray a)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (JSArray a)

FromJS x (JSRef x)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (JSRef x)

FromJS x a => FromJS x (Maybe a)

Defined in Foreign.JavaScript.TH

Methods

fromJS :: MonadJS x m => JSRef x -> m (Maybe a)

newtype WithJSContext x m a

Constructors

WithJSContext

Fields

• unWithJSContext :: ReaderT JSContextRef m a

Instances

MonadTrans (WithJSContext x)

Defined in Foreign.JavaScript.TH

Methods

lift :: Monad m => m a -> WithJSContext x m a

MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId

mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

Monad m => Monad (WithJSContext x m)

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)

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)

Defined in Foreign.JavaScript.TH

Methods

mfix :: (a -> WithJSContext x m a) -> WithJSContext x m a

Applicative m => Applicative (WithJSContext x m)

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)

Defined in Foreign.JavaScript.TH

Methods

liftIO :: IO a -> WithJSContext x m a

MonadException m => MonadException (WithJSContext x m)

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)

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)

Defined in Foreign.JavaScript.TH

Methods

liftJSM' :: JSM a -> WithJSContext x m a

type HasJS' = HasJS (JSCtx_JavaScriptCore ())

data JSCtx_JavaScriptCore x

Instances

IsJSContext (JSCtx_JavaScriptCore x)

Defined in Foreign.JavaScript.TH

Associated Types

data JSRef (JSCtx_JavaScriptCore x) :: *

MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId

mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

MonadJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x IO)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId

mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (WithJSContextSingleton x m) :: * -> *

Methods

liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a

data JSRef (JSCtx_JavaScriptCore x)

Defined in Foreign.JavaScript.TH

data JSRef (JSCtx_JavaScriptCore x) = JSRef_JavaScriptCore {

• unJSRef_JavaScriptCore :: JSVal

}

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

A Monad that is capable of executing JavaScript

Minimal complete definition

runJS, forkJS, mkJSUndefined, isJSNull, isJSUndefined, fromJSBool, fromJSString, fromJSArray, fromJSUint8Array, fromJSNumber, withJSBool, withJSString, withJSNumber, withJSArray, withJSUint8Array, mkJSFun, freeJSFun, setJSProp, getJSProp, withJSNode

Methods

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)

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

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

Instances

MonadJS (JSCtx_JavaScriptCore x) (WithJSContext x IO)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContext x IO () -> WithJSContext x IO ThreadId

mkJSUndefined :: WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContext x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContext x IO r) -> WithJSContext x IO r

MonadJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x IO)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId

mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

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

Minimal complete definition

liftJS

Associated Types

type JSX m :: * -> *

Methods

liftJS :: JSX m a -> m a

Instances

HasJS js m => HasJS js (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

type JSX (InputDisabledT m) :: * -> *

Methods

liftJS :: JSX (InputDisabledT m) a -> InputDisabledT m a

HasJS x m => HasJS x (PostBuildT t m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (PostBuildT t m) :: * -> *

Methods

liftJS :: JSX (PostBuildT t m) a -> PostBuildT t m a

HasJS x m => HasJS x (QueryT t q m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (QueryT t q m) :: * -> *

Methods

liftJS :: JSX (QueryT t q m) a -> QueryT t q m a

HasJS x m => HasJS x (EventWriterT t w m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (EventWriterT t w m) :: * -> *

Methods

liftJS :: JSX (EventWriterT t w m) a -> EventWriterT t w m a

HasJS x m => HasJS x (DynamicWriterT t w m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (DynamicWriterT t w m) :: * -> *

Methods

liftJS :: JSX (DynamicWriterT t w m) a -> DynamicWriterT t w m a

(HasJS x (HostFrame t), ReflexHost t) => HasJS x (PerformEventT t m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (PerformEventT t m) :: * -> *

Methods

liftJS :: JSX (PerformEventT t m) a -> PerformEventT t m a

HasJS x m => HasJS x (ReaderT r m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (ReaderT r m) :: * -> *

Methods

liftJS :: JSX (ReaderT r m) a -> ReaderT r m a

HasJS x m => HasJS x (RequesterT t request response m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (RequesterT t request response m) :: * -> *

Methods

liftJS :: JSX (RequesterT t request response m) a -> RequesterT t request response m a

(HasJS x m, ReflexHost t) => HasJS x (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type JSX (HydrationDomBuilderT s t m) :: * -> *

Methods

liftJS :: JSX (HydrationDomBuilderT s t m) a -> HydrationDomBuilderT s t m a

MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (WithJSContextSingleton x m) :: * -> *

Methods

liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a

class IsJSContext x

Associated Types

data JSRef x

Instances

IsJSContext (JSCtx_JavaScriptCore x)

Defined in Foreign.JavaScript.TH

Associated Types

data JSRef (JSCtx_JavaScriptCore x) :: *

data JSFun x

Constructors

JSFun

Fields

• unJSFun :: JSRef x
• unJSFunction :: Function

Instances

ToJS x (JSFun x)

Defined in Foreign.JavaScript.TH

Methods

withJS :: MonadJS x m => JSFun x -> (JSRef x -> m r) -> m r

newtype JSFFI

Constructors

JSFFI String

newtype JSContextSingleton x

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

Constructors

WithJSContextSingleton

Fields

• unWithJSContextSingleton :: ReaderT (JSContextSingleton x) m a

Instances

PerformEvent t m => PerformEvent t (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type Performable (WithJSContextSingleton x m) :: * -> *

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)

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)

Defined in Foreign.JavaScript.TH

Methods

subscribeEvent :: Event t a -> WithJSContextSingleton x m (EventHandle t a)

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (WithJSContextSingleton x m)

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)

Defined in Foreign.JavaScript.TH

Associated Types

type ReadPhase (WithJSContextSingleton x m) :: * -> *

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)

Defined in Foreign.JavaScript.TH

Methods

lift :: Monad m => m a -> WithJSContextSingleton x m a

MonadTransControl (WithJSContextSingleton x)

Defined in Foreign.JavaScript.TH

Associated Types

type StT (WithJSContextSingleton x) a :: *

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 :: *) (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Methods

sample :: Behavior t a -> WithJSContextSingleton x m a

MonadHold t m => MonadHold (t :: *) (WithJSContextSingleton x m)

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)

Defined in Foreign.JavaScript.TH

Methods

runJS :: JSFFI -> [JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

forkJS :: WithJSContextSingleton x IO () -> WithJSContextSingleton x IO ThreadId

mkJSUndefined :: WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

isJSNull :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

isJSUndefined :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSBool :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Bool

fromJSString :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO String

fromJSArray :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO [JSRef (JSCtx_JavaScriptCore x)]

fromJSUint8Array :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ByteString

fromJSNumber :: JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO Double

withJSBool :: Bool -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSString :: String -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSNumber :: Double -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSArray :: [JSRef (JSCtx_JavaScriptCore x)] -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

withJSUint8Array :: ByteString -> (JSUint8Array (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

mkJSFun :: ([JSRef (JSCtx_JavaScriptCore x)] -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))) -> WithJSContextSingleton x IO (JSFun (JSCtx_JavaScriptCore x))

freeJSFun :: JSFun (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

setJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO ()

getJSProp :: String -> JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO (JSRef (JSCtx_JavaScriptCore x))

withJSNode :: Node -> (JSRef (JSCtx_JavaScriptCore x) -> WithJSContextSingleton x IO r) -> WithJSContextSingleton x IO r

MonadIO m => HasJS (JSCtx_JavaScriptCore x) (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSX (WithJSContextSingleton x m) :: * -> *

Methods

liftJS :: JSX (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a

Monad m => Monad (WithJSContextSingleton x m)

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)

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)

Defined in Foreign.JavaScript.TH

Methods

mfix :: (a -> WithJSContextSingleton x m a) -> WithJSContextSingleton x m a

Applicative m => Applicative (WithJSContextSingleton x m)

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)

Defined in Foreign.JavaScript.TH

Methods

liftIO :: IO a -> WithJSContextSingleton x m a

MonadException m => MonadException (WithJSContextSingleton x m)

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)

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)

Defined in Foreign.JavaScript.TH

Methods

liftJSM' :: JSM a -> WithJSContextSingleton x m a

PrimMonad m => PrimMonad (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type PrimState (WithJSContextSingleton x m) :: *

Methods

primitive :: (State# (PrimState (WithJSContextSingleton x m)) -> (#State# (PrimState (WithJSContextSingleton x m)), a#)) -> WithJSContextSingleton x m a

MonadRef m => MonadRef (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type Ref (WithJSContextSingleton x m) :: * -> *

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)

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)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (WithJSContextSingleton x m) :: *

Methods

askJSContext :: WithJSContextSingleton x m (JSContextSingleton (JSContextPhantom (WithJSContextSingleton x m)))

type StT (WithJSContextSingleton x) a

Defined in Foreign.JavaScript.TH

type StT (WithJSContextSingleton x) a = StT (ReaderT (JSContextSingleton x) :: (* -> *) -> * -> *) a

type PrimState (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type PrimState (WithJSContextSingleton x m) = PrimState m

type Ref (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type Ref (WithJSContextSingleton x m) = Ref m

type Performable (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type Performable (WithJSContextSingleton x m) = WithJSContextSingleton x (Performable m)

type ReadPhase (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type ReadPhase (WithJSContextSingleton x m) = ReadPhase m

type JSX (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type JSX (WithJSContextSingleton x m) = WithJSContextSingleton x IO

type JSContextPhantom (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type JSContextPhantom (WithJSContextSingleton x m) = x

type HasWebView = HasJSContext

class Monad m => HasJSContext m where

Minimal complete definition

askJSContext

Associated Types

type JSContextPhantom m :: *

Methods

askJSContext :: m (JSContextSingleton (JSContextPhantom m))

Instances

HasJSContext m => HasJSContext (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

type JSContextPhantom (InputDisabledT m) :: *

Methods

askJSContext :: InputDisabledT m (JSContextSingleton (JSContextPhantom (InputDisabledT m)))

HasJSContext m => HasJSContext (StateT r m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (StateT r m) :: *

Methods

askJSContext :: StateT r m (JSContextSingleton (JSContextPhantom (StateT r m)))

HasJSContext m => HasJSContext (StateT r m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (StateT r m) :: *

Methods

askJSContext :: StateT r m (JSContextSingleton (JSContextPhantom (StateT r m)))

HasJSContext m => HasJSContext (PostBuildT t m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (PostBuildT t m) :: *

Methods

askJSContext :: PostBuildT t m (JSContextSingleton (JSContextPhantom (PostBuildT t m)))

Monad m => HasJSContext (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (WithJSContextSingleton x m) :: *

Methods

askJSContext :: WithJSContextSingleton x m (JSContextSingleton (JSContextPhantom (WithJSContextSingleton x m)))

HasJSContext m => HasJSContext (ReaderT r m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (ReaderT r m) :: *

Methods

askJSContext :: ReaderT r m (JSContextSingleton (JSContextPhantom (ReaderT r m)))

HasJSContext m => HasJSContext (DynamicWriterT t w m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (DynamicWriterT t w m) :: *

Methods

askJSContext :: DynamicWriterT t w m (JSContextSingleton (JSContextPhantom (DynamicWriterT t w m)))

HasJSContext m => HasJSContext (QueryT t q m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (QueryT t q m) :: *

Methods

askJSContext :: QueryT t q m (JSContextSingleton (JSContextPhantom (QueryT t q m)))

HasJSContext m => HasJSContext (EventWriterT t w m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (EventWriterT t w m) :: *

Methods

askJSContext :: EventWriterT t w m (JSContextSingleton (JSContextPhantom (EventWriterT t w m)))

(ReflexHost t, HasJSContext (HostFrame t)) => HasJSContext (PerformEventT t m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (PerformEventT t m) :: *

Methods

askJSContext :: PerformEventT t m (JSContextSingleton (JSContextPhantom (PerformEventT t m)))

HasJSContext m => HasJSContext (RequesterT t request response m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (RequesterT t request response m) :: *

Methods

askJSContext :: RequesterT t request response m (JSContextSingleton (JSContextPhantom (RequesterT t request response m)))

HasJSContext m => HasJSContext (HydrationDomBuilderT s t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type JSContextPhantom (HydrationDomBuilderT s t m) :: *

Methods

askJSContext :: HydrationDomBuilderT s t m (JSContextSingleton (JSContextPhantom (HydrationDomBuilderT s t 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

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

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

Constructors

Unsafe

Safe

Interruptible

Instances

Eq Safety

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Safety -> Safety -> Bool

(/=) :: Safety -> Safety -> Bool

Data Safety

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

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

Defined in Language.Haskell.TH.Syntax

Methods

showsPrec :: Int -> Safety -> ShowS

show :: Safety -> String

showList :: [Safety] -> ShowS

Generic Safety

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Safety :: * -> *

Methods

from :: Safety -> Rep Safety x

to :: Rep Safety x -> Safety

type Rep Safety

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 :: * -> *) :+: (C1 (MetaCons "Safe" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Interruptible" PrefixI False) (U1 :: * -> *)))