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

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

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 JS' = JSCtx_JavaScriptCore ()

data JSCtx_JavaScriptCore x

Instances

SupportsStaticDomBuilder t m => Prerender JS' t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Prerender

Associated Types

type Client (StaticDomBuilderT t m) :: Type -> Type

Methods

prerender :: StaticDomBuilderT t m a -> Client (StaticDomBuilderT t m) a -> StaticDomBuilderT t m (Dynamic t a)

IsJSContext (JSCtx_JavaScriptCore x)

Defined in Foreign.JavaScript.TH

Associated Types

data JSRef (JSCtx_JavaScriptCore x) :: Type

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) :: Type -> Type

Methods

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

newtype JSRef (JSCtx_JavaScriptCore x)

Defined in Foreign.JavaScript.TH

newtype 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

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

Associated Types

type JSX m :: * -> *

Methods

liftJS :: JSX m a -> m a

Instances

HasJS js m => HasJS js (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type JSX (HydratableT m) :: Type -> Type

Methods

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

HasJS js m => HasJS js (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

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

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) :: Type -> Type

Methods

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

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

Defined in Foreign.JavaScript.TH

Associated Types

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

Methods

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

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

Defined in Foreign.JavaScript.TH

Associated Types

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

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) :: Type -> Type

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) :: Type -> Type

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) :: Type -> Type

Methods

liftJS :: JSX (PerformEventT t m) a -> PerformEventT t 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) :: Type -> Type

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) :: Type -> Type

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) :: Type -> Type

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) :: Type

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) :: 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)

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) :: 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)

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 :: 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)

Defined in Foreign.JavaScript.TH

Methods

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

MonadHold t m => MonadHold (t :: Type) (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) :: Type -> Type

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) :: Type

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) :: 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)

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) :: Type

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

Associated Types

type JSContextPhantom m :: *

Methods

askJSContext :: m (JSContextSingleton (JSContextPhantom m))

Instances

HasJSContext m => HasJSContext (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type JSContextPhantom (HydratableT m) :: Type

Methods

askJSContext :: HydratableT m (JSContextSingleton (JSContextPhantom (HydratableT m)))

HasJSContext m => HasJSContext (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Associated Types

type JSContextPhantom (InputDisabledT m) :: Type

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) :: Type

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) :: Type

Methods

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

HasJSContext m => HasJSContext (ReaderT r m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (ReaderT r m) :: Type

Methods

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

HasJSContext m => HasJSContext (PostBuildT t m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (PostBuildT t m) :: Type

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) :: Type

Methods

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

HasJSContext m => HasJSContext (DynamicWriterT t w m)

Defined in Foreign.JavaScript.TH

Associated Types

type JSContextPhantom (DynamicWriterT t w m) :: Type

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) :: Type

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) :: Type

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) :: Type

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) :: Type

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) :: Type

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 :: Type -> Type

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