Reflex.DynamicWriter.Base

Documentation

newtype DynamicWriterT t w m a

A basic implementation of DynamicWriter.

Constructors

DynamicWriterT

Fields

• unDynamicWriterT :: StateT [Dynamic t w] m a

Instances

EventWriter t w m => EventWriter t w (DynamicWriterT t v m)

Defined in Reflex.DynamicWriter.Base

Methods

tellEvent :: Event t w -> DynamicWriterT t v m ()

(Monad m, Monoid w, Reflex t) => DynamicWriter t w (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

tellDyn :: Dynamic t w -> DynamicWriterT t w m ()

(MonadQuery t q m, Monad m) => MonadQuery t q (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

tellQueryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m ()

askQueryResult :: DynamicWriterT t w m (Dynamic t (QueryResult q))

queryIncremental :: Incremental t (AdditivePatch q) -> DynamicWriterT t w m (Dynamic t (QueryResult q))

MonadReader r m => MonadReader r (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

ask :: DynamicWriterT t w m r

local :: (r -> r) -> DynamicWriterT t w m a -> DynamicWriterT t w m a

reader :: (r -> a) -> DynamicWriterT t w m a

MonadState s m => MonadState s (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

get :: DynamicWriterT t w m s

put :: s -> DynamicWriterT t w m ()

state :: (s -> (a, s)) -> DynamicWriterT t w m a

(Adjustable t m, MonadFix m, Monoid w, MonadHold t m, Reflex t) => Adjustable t (DynamicWriterT t w m)

When the execution of a DynamicWriterT action is adjusted using Adjustable, the Dynamic output of that action will also be updated to match.

Defined in Reflex.DynamicWriter.Base

Methods

runWithReplace :: DynamicWriterT t w m a -> Event t (DynamicWriterT t w m b) -> DynamicWriterT t w m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> DynamicWriterT t w m v') -> IntMap v -> Event t (PatchIntMap v) -> DynamicWriterT t w m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> DynamicWriterT t w m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> DynamicWriterT t w m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> DynamicWriterT t w m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> DynamicWriterT t w m (DMap k v', Event t (PatchDMapWithMove k v'))

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> DynamicWriterT t w m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> DynamicWriterT t w m (EventSelector t k)

PostBuild t m => PostBuild t (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

getPostBuild :: DynamicWriterT t w m (Event t ())

Requester t m => Requester t (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Associated Types

type Request (DynamicWriterT t w m) :: Type -> Type

type Response (DynamicWriterT t w m) :: Type -> Type

Methods

requesting :: Event t (Request (DynamicWriterT t w m) a) -> DynamicWriterT t w m (Event t (Response (DynamicWriterT t w m) a))

requesting_ :: Event t (Request (DynamicWriterT t w m) a) -> DynamicWriterT t w m ()

TriggerEvent t m => TriggerEvent t (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

newTriggerEvent :: DynamicWriterT t w m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: DynamicWriterT t w m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> DynamicWriterT t w m (Event t a)

PerformEvent t m => PerformEvent t (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Associated Types

type Performable (DynamicWriterT t w m) :: Type -> Type

Methods

performEvent :: Event t (Performable (DynamicWriterT t w m) a) -> DynamicWriterT t w m (Event t a)

performEvent_ :: Event t (Performable (DynamicWriterT t w m) ()) -> DynamicWriterT t w m ()

NotReady t m => NotReady t (DynamicWriterT t w m)

Defined in Reflex.NotReady.Class

Methods

notReadyUntil :: Event t a -> DynamicWriterT t w m ()

notReady :: DynamicWriterT t w m ()

MonadHold t m => MonadHold (t :: Type) (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

hold :: a -> Event t a -> DynamicWriterT t w m (Behavior t a)

holdDyn :: a -> Event t a -> DynamicWriterT t w m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> DynamicWriterT t w m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> DynamicWriterT t w m (Dynamic t a)

headE :: Event t a -> DynamicWriterT t w m (Event t a)

now :: DynamicWriterT t w m (Event t ())

MonadSample t m => MonadSample (t :: Type) (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

sample :: Behavior t a -> DynamicWriterT t w m a

MFunctor (DynamicWriterT t w :: (Type -> Type) -> Type -> Type)

Defined in Reflex.DynamicWriter.Base

Methods

hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> DynamicWriterT t w m b -> DynamicWriterT t w n b

MonadTrans (DynamicWriterT t w)

Defined in Reflex.DynamicWriter.Base

Methods

lift :: Monad m => m a -> DynamicWriterT t w m a

Monad m => Monad (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

(>>=) :: DynamicWriterT t w m a -> (a -> DynamicWriterT t w m b) -> DynamicWriterT t w m b

(>>) :: DynamicWriterT t w m a -> DynamicWriterT t w m b -> DynamicWriterT t w m b

return :: a -> DynamicWriterT t w m a

Functor m => Functor (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

fmap :: (a -> b) -> DynamicWriterT t w m a -> DynamicWriterT t w m b

(<$) :: a -> DynamicWriterT t w m b -> DynamicWriterT t w m a

MonadFix m => MonadFix (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

mfix :: (a -> DynamicWriterT t w m a) -> DynamicWriterT t w m a

Monad m => Applicative (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

pure :: a -> DynamicWriterT t w m a

(<*>) :: DynamicWriterT t w m (a -> b) -> DynamicWriterT t w m a -> DynamicWriterT t w m b

liftA2 :: (a -> b -> c) -> DynamicWriterT t w m a -> DynamicWriterT t w m b -> DynamicWriterT t w m c

(*>) :: DynamicWriterT t w m a -> DynamicWriterT t w m b -> DynamicWriterT t w m b

(<*) :: DynamicWriterT t w m a -> DynamicWriterT t w m b -> DynamicWriterT t w m a

MonadIO m => MonadIO (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

liftIO :: IO a -> DynamicWriterT t w m a

MonadException m => MonadException (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

throw :: Exception e => e -> DynamicWriterT t w m a

catch :: Exception e => DynamicWriterT t w m a -> (e -> DynamicWriterT t w m a) -> DynamicWriterT t w m a

finally :: DynamicWriterT t w m a -> DynamicWriterT t w m b -> DynamicWriterT t w m a

MonadAsyncException m => MonadAsyncException (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

mask :: ((forall a. DynamicWriterT t w m a -> DynamicWriterT t w m a) -> DynamicWriterT t w m b) -> DynamicWriterT t w m b

PrimMonad m => PrimMonad (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Associated Types

type PrimState (DynamicWriterT t w m)

Methods

primitive :: (State# (PrimState (DynamicWriterT t w m)) -> (# State# (PrimState (DynamicWriterT t w m)), a #)) -> DynamicWriterT t w m a

MonadRef m => MonadRef (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Associated Types

type Ref (DynamicWriterT t w m) :: Type -> Type

Methods

newRef :: a -> DynamicWriterT t w m (Ref (DynamicWriterT t w m) a)

readRef :: Ref (DynamicWriterT t w m) a -> DynamicWriterT t w m a

writeRef :: Ref (DynamicWriterT t w m) a -> a -> DynamicWriterT t w m ()

modifyRef :: Ref (DynamicWriterT t w m) a -> (a -> a) -> DynamicWriterT t w m ()

modifyRef' :: Ref (DynamicWriterT t w m) a -> (a -> a) -> DynamicWriterT t w m ()

MonadAtomicRef m => MonadAtomicRef (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

Methods

atomicModifyRef :: Ref (DynamicWriterT t w m) a -> (a -> (a, b)) -> DynamicWriterT t w m b

atomicModifyRef' :: Ref (DynamicWriterT t w m) a -> (a -> (a, b)) -> DynamicWriterT t w m b

type PrimState (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

type PrimState (DynamicWriterT t w m) = PrimState m

type Ref (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

type Ref (DynamicWriterT t w m) = Ref m

type Request (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

type Request (DynamicWriterT t w m) = Request m

type Response (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

type Response (DynamicWriterT t w m) = Response m

type Performable (DynamicWriterT t w m)

Defined in Reflex.DynamicWriter.Base

type Performable (DynamicWriterT t w m) = Performable m

runDynamicWriterT :: (MonadFix m, Reflex t, Monoid w) => DynamicWriterT t w m a -> m (a, Dynamic t w)

Run a DynamicWriterT action. The dynamic writer output will be provided along with the result of the action.

withDynamicWriterT :: (Monoid w, Monoid w', Reflex t, MonadHold t m, MonadFix m) => (w -> w') -> DynamicWriterT t w m a -> DynamicWriterT t w' m a

Map a function over the output of a DynamicWriterT.