Safe Haskell	None
Language	Haskell98

Foreign.JavaScript.TH

Synopsis

newtype JSContextSingleton x = JSContextSingleton {
- unJSContextSingleton :: JSContextRef
}
newtype WithJSContextSingleton x m a = WithJSContextSingleton {
- unWithJSContextSingleton :: ReaderT (JSContextSingleton x) m a
}
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
data Safety
- = Unsafe
- | Safe
- | Interruptible

Documentation

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 Source # Methods performEvent :: Event t (Performable (WithJSContextSingleton x m) a) -> WithJSContextSingleton x m (Event t a) Source # performEvent_ :: Event t (Performable (WithJSContextSingleton x m) ()) -> WithJSContextSingleton x m () Source #
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) Source #
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) Source # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> WithJSContextSingleton x m (EventSelector t k) Source #
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 Source # Methods fireEventsAndRead :: [DSum (EventTrigger t) Identity] -> ReadPhase (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a Source # runHostFrame :: HostFrame t a -> WithJSContextSingleton x m a Source #
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) Source # traverseIntMapWithKeyWithAdjust :: (Key -> v -> WithJSContextSingleton x m v') -> IntMap v -> Event t (PatchIntMap v) -> WithJSContextSingleton x m (IntMap v', Event t (PatchIntMap v')) Source # 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')) Source # 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')) Source #
MonadTrans (WithJSContextSingleton x) Source #
Instance details Defined in Foreign.JavaScript.TH Methods lift :: Monad m => m a -> WithJSContextSingleton x m a Source #
MonadTransControl (WithJSContextSingleton x) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type StT (WithJSContextSingleton x) a :: Type Source # Methods liftWith :: Monad m => (Run (WithJSContextSingleton x) -> m a) -> WithJSContextSingleton x m a Source # restoreT :: Monad m => m (StT (WithJSContextSingleton x) a) -> WithJSContextSingleton x m a Source #
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 Source #
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) Source # holdDyn :: a -> Event t a -> WithJSContextSingleton x m (Dynamic t a) Source # holdIncremental :: Patch p => PatchTarget p -> Event t p -> WithJSContextSingleton x m (Incremental t p) Source # buildDynamic :: PushM t a -> Event t a -> WithJSContextSingleton x m (Dynamic t a) Source # headE :: Event t a -> WithJSContextSingleton x m (Event t a) Source # now :: WithJSContextSingleton x m (Event t ()) 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 Source # (>>) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m b Source # return :: a -> WithJSContextSingleton x m a Source # fail :: String -> WithJSContextSingleton x m a Source #
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 Source # (<$) :: a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a Source #
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 Source #
Applicative m => Applicative (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods pure :: a -> WithJSContextSingleton x m a Source # (<>) :: WithJSContextSingleton x m (a -> b) -> WithJSContextSingleton x m a -> WithJSContextSingleton x m b Source # liftA2 :: (a -> b -> c) -> WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m c Source # (>) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m b Source # (<*) :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a Source #
MonadIO m => MonadIO (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftIO :: IO a -> WithJSContextSingleton x m a Source #
MonadException m => MonadException (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods throw :: Exception e => e -> WithJSContextSingleton x m a Source # catch :: Exception e => WithJSContextSingleton x m a -> (e -> WithJSContextSingleton x m a) -> WithJSContextSingleton x m a Source # finally :: WithJSContextSingleton x m a -> WithJSContextSingleton x m b -> WithJSContextSingleton x m a Source #
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 Source #
MonadIO m => MonadJSM (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Methods liftJSM' :: JSM a -> WithJSContextSingleton x m a Source #
PrimMonad m => PrimMonad (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type PrimState (WithJSContextSingleton x m) :: Type Source # Methods primitive :: (State# (PrimState (WithJSContextSingleton x m)) -> (#State# (PrimState (WithJSContextSingleton x m)), a#)) -> WithJSContextSingleton x m a Source #
MonadRef m => MonadRef (WithJSContextSingleton x m) Source #
Instance details Defined in Foreign.JavaScript.TH Associated Types type Ref (WithJSContextSingleton x m) :: Type -> Type Source # Methods newRef :: a -> WithJSContextSingleton x m (Ref (WithJSContextSingleton x m) a) Source # readRef :: Ref (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a Source # writeRef :: Ref (WithJSContextSingleton x m) a -> a -> WithJSContextSingleton x m () Source # modifyRef :: Ref (WithJSContextSingleton x m) a -> (a -> a) -> WithJSContextSingleton x m () Source # modifyRef' :: Ref (WithJSContextSingleton x m) a -> (a -> a) -> WithJSContextSingleton x m () Source #
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 Source # atomicModifyRef' :: Ref (WithJSContextSingleton x m) a -> (a -> (a, b)) -> WithJSContextSingleton x m b 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

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.

data Safety Source #

Constructors

Unsafe
Safe
Interruptible

Instances

Eq Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods (==) :: Safety -> Safety -> Bool Source # (/=) :: Safety -> Safety -> Bool Source #
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Safety Source # toConstr :: Safety -> Constr Source # dataTypeOf :: Safety -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Safety) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Safety) Source # gmapT :: (forall b. Data b => b -> b) -> Safety -> Safety Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Safety -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Safety -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source #
Ord Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods compare :: Safety -> Safety -> Ordering Source # (<) :: Safety -> Safety -> Bool Source # (<=) :: Safety -> Safety -> Bool Source # (>) :: Safety -> Safety -> Bool Source # (>=) :: Safety -> Safety -> Bool Source # max :: Safety -> Safety -> Safety Source # min :: Safety -> Safety -> Safety Source #
Show Safety
Instance details Defined in Language.Haskell.TH.Syntax Methods showsPrec :: Int -> Safety -> ShowS Source # show :: Safety -> String Source # showList :: [Safety] -> ShowS Source #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type Source # Methods from :: Safety -> Rep Safety x Source # to :: Rep Safety x -> Safety Source #
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)))