Foreign.JavaScript.TH

Documentation

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.

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

Constructors

WithJSContextSingleton

Fields

• unWithJSContextSingleton :: ReaderT (JSContextSingleton x) m a

Instances

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)

now :: WithJSContextSingleton x m (Event t ())

MonadSample t m => MonadSample (t :: Type) (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Methods

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

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

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)

Defined in Foreign.JavaScript.TH

type ReadPhase (WithJSContextSingleton x m) = ReadPhase m

Methods

fireEventsAndRead :: [DSum (EventTrigger t) Identity] -> ReadPhase (WithJSContextSingleton x m) a -> WithJSContextSingleton x m a

runHostFrame :: HostFrame t a -> WithJSContextSingleton x m a

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

Defined in Foreign.JavaScript.TH

Methods

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

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

Defined in Foreign.JavaScript.TH

Associated Types

type Performable (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type Performable (WithJSContextSingleton x m) = WithJSContextSingleton x (Performable 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 ()

MonadTransControl (WithJSContextSingleton x)

Defined in Foreign.JavaScript.TH

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

MonadTrans (WithJSContextSingleton x)

Defined in Foreign.JavaScript.TH

Methods

lift :: Monad m => m a -> 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

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

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

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

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

MonadFix m => MonadFix (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Methods

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

MonadIO m => MonadIO (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Methods

liftIO :: IO a -> WithJSContextSingleton x m a

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)

Defined in Foreign.JavaScript.TH

type PrimState (WithJSContextSingleton x m) = PrimState m

Methods

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

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

MonadRef m => MonadRef (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

Associated Types

type Ref (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

type Ref (WithJSContextSingleton x m) = Ref 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 ()

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

Defined in Foreign.JavaScript.TH

type ReadPhase (WithJSContextSingleton x m) = ReadPhase m

type Performable (WithJSContextSingleton x m)

Defined in Foreign.JavaScript.TH

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

data Safety

A safety level, as in a Foreign declaration.

Constructors

Unsafe

Safe

Interruptible

Instances

Data Safety

Defined in GHC.Internal.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 :: forall r r'. (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

Generic Safety

Defined in GHC.Internal.TH.Syntax

Associated Types

type Rep Safety

Defined in GHC.Internal.TH.Syntax

type Rep Safety = D1 ('MetaData "Safety" "GHC.Internal.TH.Syntax" "ghc-internal" '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)))

Methods

from :: Safety -> Rep Safety x

to :: Rep Safety x -> Safety

Show Safety

Defined in GHC.Internal.TH.Syntax

Methods

showsPrec :: Int -> Safety -> ShowS

show :: Safety -> String

showList :: [Safety] -> ShowS

Eq Safety

Defined in GHC.Internal.TH.Syntax

Methods

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

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

Ord Safety

Defined in GHC.Internal.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

type Rep Safety

Defined in GHC.Internal.TH.Syntax

type Rep Safety = D1 ('MetaData "Safety" "GHC.Internal.TH.Syntax" "ghc-internal" '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)))