Reflex.Profiled

Documentation

data ProfiledTimeline (t :: k)

Instances

Reflex t => Reflex (ProfiledTimeline t :: Type)

Defined in Reflex.Profiled

Associated Types

newtype Behavior (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Behavior (ProfiledTimeline t :: Type) a = Behavior_Profiled {

• unBehavior_Profiled :: Behavior t a

}

newtype Event (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Event (ProfiledTimeline t :: Type) a = Event_Profiled {

• unEvent_Profiled :: Event t a

}

newtype Dynamic (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Dynamic (ProfiledTimeline t :: Type) a = Dynamic_Profiled {

• unDynamic_Profiled :: Dynamic t a

}

newtype Incremental (ProfiledTimeline t :: Type) p

Defined in Reflex.Profiled

newtype Incremental (ProfiledTimeline t :: Type) p = Incremental_Profiled {

• unIncremental_Profiled :: Incremental t p

}

type PushM (ProfiledTimeline t :: Type)

Defined in Reflex.Profiled

type PushM (ProfiledTimeline t :: Type) = ProfiledM (PushM t)

type PullM (ProfiledTimeline t :: Type)

Defined in Reflex.Profiled

type PullM (ProfiledTimeline t :: Type) = ProfiledM (PullM t)

Methods

never :: Event (ProfiledTimeline t) a

constant :: a -> Behavior (ProfiledTimeline t) a

push :: (a -> PushM (ProfiledTimeline t) (Maybe b)) -> Event (ProfiledTimeline t) a -> Event (ProfiledTimeline t) b

pushCheap :: (a -> PushM (ProfiledTimeline t) (Maybe b)) -> Event (ProfiledTimeline t) a -> Event (ProfiledTimeline t) b

pull :: PullM (ProfiledTimeline t) a -> Behavior (ProfiledTimeline t) a

mergeG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (ProfiledTimeline t) (v a)) -> DMap k2 q -> Event (ProfiledTimeline t) (DMap k2 v)

fanG :: forall {k1} (k2 :: k1 -> Type) (v :: k1 -> Type). GCompare k2 => Event (ProfiledTimeline t) (DMap k2 v) -> EventSelectorG (ProfiledTimeline t) k2 v

switch :: Behavior (ProfiledTimeline t) (Event (ProfiledTimeline t) a) -> Event (ProfiledTimeline t) a

coincidence :: Event (ProfiledTimeline t) (Event (ProfiledTimeline t) a) -> Event (ProfiledTimeline t) a

current :: Dynamic (ProfiledTimeline t) a -> Behavior (ProfiledTimeline t) a

updated :: Dynamic (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a

unsafeBuildDynamic :: PullM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) a

unsafeBuildIncremental :: Patch p => PullM (ProfiledTimeline t) (PatchTarget p) -> Event (ProfiledTimeline t) p -> Incremental (ProfiledTimeline t) p

mergeIncrementalG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (ProfiledTimeline t) (v a)) -> Incremental (ProfiledTimeline t) (PatchDMap k2 q) -> Event (ProfiledTimeline t) (DMap k2 v)

mergeIncrementalWithMoveG :: forall {k1} (k2 :: k1 -> Type) q v. GCompare k2 => (forall (a :: k1). q a -> Event (ProfiledTimeline t) (v a)) -> Incremental (ProfiledTimeline t) (PatchDMapWithMove k2 q) -> Event (ProfiledTimeline t) (DMap k2 v)

currentIncremental :: Patch p => Incremental (ProfiledTimeline t) p -> Behavior (ProfiledTimeline t) (PatchTarget p)

updatedIncremental :: Patch p => Incremental (ProfiledTimeline t) p -> Event (ProfiledTimeline t) p

incrementalToDynamic :: Patch p => Incremental (ProfiledTimeline t) p -> Dynamic (ProfiledTimeline t) (PatchTarget p)

behaviorCoercion :: Coercion a b -> Coercion (Behavior (ProfiledTimeline t) a) (Behavior (ProfiledTimeline t) b)

eventCoercion :: Coercion a b -> Coercion (Event (ProfiledTimeline t) a) (Event (ProfiledTimeline t) b)

dynamicCoercion :: Coercion a b -> Coercion (Dynamic (ProfiledTimeline t) a) (Dynamic (ProfiledTimeline t) b)

incrementalCoercion :: Coercion (PatchTarget a) (PatchTarget b) -> Coercion a b -> Coercion (Incremental (ProfiledTimeline t) a) (Incremental (ProfiledTimeline t) b)

mergeIntIncremental :: Incremental (ProfiledTimeline t) (PatchIntMap (Event (ProfiledTimeline t) a)) -> Event (ProfiledTimeline t) (IntMap a)

fanInt :: Event (ProfiledTimeline t) (IntMap a) -> EventSelectorInt (ProfiledTimeline t) a

MonadHold t m => MonadHold (ProfiledTimeline t :: Type) (ProfiledM m)

Defined in Reflex.Profiled

Methods

hold :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Behavior (ProfiledTimeline t) a)

holdDyn :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a)

holdIncremental :: Patch p => PatchTarget p -> Event (ProfiledTimeline t) p -> ProfiledM m (Incremental (ProfiledTimeline t) p)

buildDynamic :: PushM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a)

headE :: Event (ProfiledTimeline t) a -> ProfiledM m (Event (ProfiledTimeline t) a)

now :: ProfiledM m (Event (ProfiledTimeline t) ())

MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m)

Defined in Reflex.Profiled

Methods

sample :: Behavior (ProfiledTimeline t) a -> ProfiledM m a

Applicative (Dynamic t) => Applicative (Dynamic (ProfiledTimeline t))

Defined in Reflex.Profiled

Methods

pure :: a -> Dynamic (ProfiledTimeline t) a

(<*>) :: Dynamic (ProfiledTimeline t) (a -> b) -> Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b

liftA2 :: (a -> b -> c) -> Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b -> Dynamic (ProfiledTimeline t) c

(*>) :: Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b -> Dynamic (ProfiledTimeline t) b

(<*) :: Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b -> Dynamic (ProfiledTimeline t) a

Functor (Dynamic t) => Functor (Dynamic (ProfiledTimeline t))

Defined in Reflex.Profiled

Methods

fmap :: (a -> b) -> Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b

(<$) :: a -> Dynamic (ProfiledTimeline t) b -> Dynamic (ProfiledTimeline t) a

Monad (Dynamic t) => Monad (Dynamic (ProfiledTimeline t))

Defined in Reflex.Profiled

Methods

(>>=) :: Dynamic (ProfiledTimeline t) a -> (a -> Dynamic (ProfiledTimeline t) b) -> Dynamic (ProfiledTimeline t) b

(>>) :: Dynamic (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) b -> Dynamic (ProfiledTimeline t) b

return :: a -> Dynamic (ProfiledTimeline t) a

ReflexHost t => ReflexHost (ProfiledTimeline t)

Defined in Reflex.Profiled

Associated Types

type EventTrigger (ProfiledTimeline t)

Defined in Reflex.Profiled

type EventTrigger (ProfiledTimeline t) = EventTrigger t

type EventHandle (ProfiledTimeline t)

Defined in Reflex.Profiled

type EventHandle (ProfiledTimeline t) = EventHandle t

type HostFrame (ProfiledTimeline t)

Defined in Reflex.Profiled

type HostFrame (ProfiledTimeline t) = ProfiledM (HostFrame t)

BehaviorWriter t w m => BehaviorWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellBehavior :: Behavior (ProfiledTimeline t) w -> ProfiledM m ()

DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellDyn :: Dynamic (ProfiledTimeline t) w -> ProfiledM m ()

EventWriter t w m => EventWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellEvent :: Event (ProfiledTimeline t) w -> ProfiledM m ()

MonadQuery t q m => MonadQuery (ProfiledTimeline t) q (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellQueryIncremental :: Incremental (ProfiledTimeline t) (AdditivePatch q) -> ProfiledM m ()

askQueryResult :: ProfiledM m (Dynamic (ProfiledTimeline t) (QueryResult q))

queryIncremental :: Incremental (ProfiledTimeline t) (AdditivePatch q) -> ProfiledM m (Dynamic (ProfiledTimeline t) (QueryResult q))

Adjustable t m => Adjustable (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

runWithReplace :: ProfiledM m a -> Event (ProfiledTimeline t) (ProfiledM m b) -> ProfiledM m (a, Event (ProfiledTimeline t) b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> ProfiledM m v') -> IntMap v -> Event (ProfiledTimeline t) (PatchIntMap v) -> ProfiledM m (IntMap v', Event (ProfiledTimeline t) (PatchIntMap v'))

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

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

MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

readEvent :: EventHandle (ProfiledTimeline t) a -> ProfiledM m (Maybe (ProfiledM m a))

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

newEventWithTrigger :: (EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a)

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

MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type ReadPhase (ProfiledM m)

Defined in Reflex.Profiled

type ReadPhase (ProfiledM m) = ProfiledM (ReadPhase m)

Methods

fireEventsAndRead :: [DSum (EventTrigger (ProfiledTimeline t)) Identity] -> ReadPhase (ProfiledM m) a -> ProfiledM m a

runHostFrame :: HostFrame (ProfiledTimeline t) a -> ProfiledM m a

MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

subscribeEvent :: Event (ProfiledTimeline t) a -> ProfiledM m (EventHandle (ProfiledTimeline t) a)

NotReady t m => NotReady (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

notReadyUntil :: Event (ProfiledTimeline t) a -> ProfiledM m ()

notReady :: ProfiledM m ()

PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type Performable (ProfiledM m)

Defined in Reflex.Profiled

type Performable (ProfiledM m) = Performable m

Methods

performEvent :: Event (ProfiledTimeline t) (Performable (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) a)

performEvent_ :: Event (ProfiledTimeline t) (Performable (ProfiledM m) ()) -> ProfiledM m ()

PostBuild t m => PostBuild (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

getPostBuild :: ProfiledM m (Event (ProfiledTimeline t) ())

Requester t m => Requester (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type Request (ProfiledM m)

Defined in Reflex.Profiled

type Request (ProfiledM m) = Request m

type Response (ProfiledM m)

Defined in Reflex.Profiled

type Response (ProfiledM m) = Response m

Methods

requesting :: Event (ProfiledTimeline t) (Request (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) (Response (ProfiledM m) a))

requesting_ :: Event (ProfiledTimeline t) (Request (ProfiledM m) a) -> ProfiledM m ()

TriggerEvent t m => TriggerEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

newTriggerEvent :: ProfiledM m (Event (ProfiledTimeline t) a, a -> IO ())

newTriggerEventWithOnComplete :: ProfiledM m (Event (ProfiledTimeline t) a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a)

newtype Behavior (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Behavior (ProfiledTimeline t :: Type) a = Behavior_Profiled {

• unBehavior_Profiled :: Behavior t a

}

newtype Dynamic (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Dynamic (ProfiledTimeline t :: Type) a = Dynamic_Profiled {

• unDynamic_Profiled :: Dynamic t a

}

newtype Event (ProfiledTimeline t :: Type) a

Defined in Reflex.Profiled

newtype Event (ProfiledTimeline t :: Type) a = Event_Profiled {

• unEvent_Profiled :: Event t a

}

newtype Incremental (ProfiledTimeline t :: Type) p

Defined in Reflex.Profiled

newtype Incremental (ProfiledTimeline t :: Type) p = Incremental_Profiled {

• unIncremental_Profiled :: Incremental t p

}

type PullM (ProfiledTimeline t :: Type)

Defined in Reflex.Profiled

type PullM (ProfiledTimeline t :: Type) = ProfiledM (PullM t)

type PushM (ProfiledTimeline t :: Type)

Defined in Reflex.Profiled

type PushM (ProfiledTimeline t :: Type) = ProfiledM (PushM t)

type EventHandle (ProfiledTimeline t)

Defined in Reflex.Profiled

type EventHandle (ProfiledTimeline t) = EventHandle t

type EventTrigger (ProfiledTimeline t)

Defined in Reflex.Profiled

type EventTrigger (ProfiledTimeline t) = EventTrigger t

type HostFrame (ProfiledTimeline t)

Defined in Reflex.Profiled

type HostFrame (ProfiledTimeline t) = ProfiledM (HostFrame t)

profilingData :: IORef (Map (Ptr CostCentreStack) Int)

data CostCentreTree

Constructors

CostCentreTree

Fields

• _costCentreTree_ownEntries :: !Int
• _costCentreTree_cumulativeEntries :: !Int
• _costCentreTree_children :: !(Map (Ptr CostCentre) CostCentreTree)

Instances

Monoid CostCentreTree

Defined in Reflex.Profiled

Methods

mempty :: CostCentreTree

mappend :: CostCentreTree -> CostCentreTree -> CostCentreTree

mconcat :: [CostCentreTree] -> CostCentreTree

Semigroup CostCentreTree

Defined in Reflex.Profiled

Methods

(<>) :: CostCentreTree -> CostCentreTree -> CostCentreTree

sconcat :: NonEmpty CostCentreTree -> CostCentreTree

stimes :: Integral b => b -> CostCentreTree -> CostCentreTree

Show CostCentreTree

Defined in Reflex.Profiled

Methods

showsPrec :: Int -> CostCentreTree -> ShowS

show :: CostCentreTree -> String

showList :: [CostCentreTree] -> ShowS

Eq CostCentreTree

Defined in Reflex.Profiled

Methods

(==) :: CostCentreTree -> CostCentreTree -> Bool

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

Ord CostCentreTree

Defined in Reflex.Profiled

Methods

compare :: CostCentreTree -> CostCentreTree -> Ordering

(<) :: CostCentreTree -> CostCentreTree -> Bool

(<=) :: CostCentreTree -> CostCentreTree -> Bool

(>) :: CostCentreTree -> CostCentreTree -> Bool

(>=) :: CostCentreTree -> CostCentreTree -> Bool

max :: CostCentreTree -> CostCentreTree -> CostCentreTree

min :: CostCentreTree -> CostCentreTree -> CostCentreTree

getCostCentreStack :: Ptr CostCentreStack -> IO [Ptr CostCentre]

toCostCentreTree :: Ptr CostCentreStack -> Int -> IO CostCentreTree

getCostCentreTree :: IO CostCentreTree

formatCostCentreTree :: CostCentreTree -> IO String

showProfilingData :: IO ()

writeProfilingData :: FilePath -> IO ()

newtype ProfiledM (m :: k -> Type) (a :: k)

Constructors

ProfiledM

Fields

• runProfiledM :: m a

Instances

MonadReader r m => MonadReader r (ProfiledM m)

Defined in Reflex.Profiled

Methods

ask :: ProfiledM m r

local :: (r -> r) -> ProfiledM m a -> ProfiledM m a

reader :: (r -> a) -> ProfiledM m a

MonadHold t m => MonadHold (ProfiledTimeline t :: Type) (ProfiledM m)

Defined in Reflex.Profiled

Methods

hold :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Behavior (ProfiledTimeline t) a)

holdDyn :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a)

holdIncremental :: Patch p => PatchTarget p -> Event (ProfiledTimeline t) p -> ProfiledM m (Incremental (ProfiledTimeline t) p)

buildDynamic :: PushM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a)

headE :: Event (ProfiledTimeline t) a -> ProfiledM m (Event (ProfiledTimeline t) a)

now :: ProfiledM m (Event (ProfiledTimeline t) ())

MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m)

Defined in Reflex.Profiled

Methods

sample :: Behavior (ProfiledTimeline t) a -> ProfiledM m a

MonadTrans (ProfiledM :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Profiled

Methods

lift :: Monad m => m a -> ProfiledM m a

MonadAsyncException m => MonadAsyncException (ProfiledM m)

Defined in Reflex.Profiled

Methods

mask :: ((forall a. ProfiledM m a -> ProfiledM m a) -> ProfiledM m b) -> ProfiledM m b

MonadException m => MonadException (ProfiledM m)

Defined in Reflex.Profiled

Methods

throw :: Exception e => e -> ProfiledM m a

catch :: Exception e => ProfiledM m a -> (e -> ProfiledM m a) -> ProfiledM m a

finally :: ProfiledM m a -> ProfiledM m b -> ProfiledM m a

Applicative m => Applicative (ProfiledM m)

Defined in Reflex.Profiled

Methods

pure :: a -> ProfiledM m a

(<*>) :: ProfiledM m (a -> b) -> ProfiledM m a -> ProfiledM m b

liftA2 :: (a -> b -> c) -> ProfiledM m a -> ProfiledM m b -> ProfiledM m c

(*>) :: ProfiledM m a -> ProfiledM m b -> ProfiledM m b

(<*) :: ProfiledM m a -> ProfiledM m b -> ProfiledM m a

Functor m => Functor (ProfiledM m)

Defined in Reflex.Profiled

Methods

fmap :: (a -> b) -> ProfiledM m a -> ProfiledM m b

(<$) :: a -> ProfiledM m b -> ProfiledM m a

Monad m => Monad (ProfiledM m)

Defined in Reflex.Profiled

Methods

(>>=) :: ProfiledM m a -> (a -> ProfiledM m b) -> ProfiledM m b

(>>) :: ProfiledM m a -> ProfiledM m b -> ProfiledM m b

return :: a -> ProfiledM m a

MonadFix m => MonadFix (ProfiledM m)

Defined in Reflex.Profiled

Methods

mfix :: (a -> ProfiledM m a) -> ProfiledM m a

MonadIO m => MonadIO (ProfiledM m)

Defined in Reflex.Profiled

Methods

liftIO :: IO a -> ProfiledM m a

PrimMonad m => PrimMonad (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type PrimState (ProfiledM m)

Defined in Reflex.Profiled

type PrimState (ProfiledM m) = PrimState m

Methods

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

MonadRef m => MonadRef (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type Ref (ProfiledM m)

Defined in Reflex.Profiled

type Ref (ProfiledM m) = Ref m

Methods

newRef :: a -> ProfiledM m (Ref (ProfiledM m) a)

readRef :: Ref (ProfiledM m) a -> ProfiledM m a

writeRef :: Ref (ProfiledM m) a -> a -> ProfiledM m ()

modifyRef :: Ref (ProfiledM m) a -> (a -> a) -> ProfiledM m ()

modifyRef' :: Ref (ProfiledM m) a -> (a -> a) -> ProfiledM m ()

BehaviorWriter t w m => BehaviorWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellBehavior :: Behavior (ProfiledTimeline t) w -> ProfiledM m ()

DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellDyn :: Dynamic (ProfiledTimeline t) w -> ProfiledM m ()

EventWriter t w m => EventWriter (ProfiledTimeline t) w (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellEvent :: Event (ProfiledTimeline t) w -> ProfiledM m ()

MonadQuery t q m => MonadQuery (ProfiledTimeline t) q (ProfiledM m)

Defined in Reflex.Profiled

Methods

tellQueryIncremental :: Incremental (ProfiledTimeline t) (AdditivePatch q) -> ProfiledM m ()

askQueryResult :: ProfiledM m (Dynamic (ProfiledTimeline t) (QueryResult q))

queryIncremental :: Incremental (ProfiledTimeline t) (AdditivePatch q) -> ProfiledM m (Dynamic (ProfiledTimeline t) (QueryResult q))

Adjustable t m => Adjustable (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

runWithReplace :: ProfiledM m a -> Event (ProfiledTimeline t) (ProfiledM m b) -> ProfiledM m (a, Event (ProfiledTimeline t) b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> ProfiledM m v') -> IntMap v -> Event (ProfiledTimeline t) (PatchIntMap v) -> ProfiledM m (IntMap v', Event (ProfiledTimeline t) (PatchIntMap v'))

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

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

MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

readEvent :: EventHandle (ProfiledTimeline t) a -> ProfiledM m (Maybe (ProfiledM m a))

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

newEventWithTrigger :: (EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a)

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

MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type ReadPhase (ProfiledM m)

Defined in Reflex.Profiled

type ReadPhase (ProfiledM m) = ProfiledM (ReadPhase m)

Methods

fireEventsAndRead :: [DSum (EventTrigger (ProfiledTimeline t)) Identity] -> ReadPhase (ProfiledM m) a -> ProfiledM m a

runHostFrame :: HostFrame (ProfiledTimeline t) a -> ProfiledM m a

MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

subscribeEvent :: Event (ProfiledTimeline t) a -> ProfiledM m (EventHandle (ProfiledTimeline t) a)

NotReady t m => NotReady (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

notReadyUntil :: Event (ProfiledTimeline t) a -> ProfiledM m ()

notReady :: ProfiledM m ()

PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type Performable (ProfiledM m)

Defined in Reflex.Profiled

type Performable (ProfiledM m) = Performable m

Methods

performEvent :: Event (ProfiledTimeline t) (Performable (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) a)

performEvent_ :: Event (ProfiledTimeline t) (Performable (ProfiledM m) ()) -> ProfiledM m ()

PostBuild t m => PostBuild (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

getPostBuild :: ProfiledM m (Event (ProfiledTimeline t) ())

Requester t m => Requester (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Associated Types

type Request (ProfiledM m)

Defined in Reflex.Profiled

type Request (ProfiledM m) = Request m

type Response (ProfiledM m)

Defined in Reflex.Profiled

type Response (ProfiledM m) = Response m

Methods

requesting :: Event (ProfiledTimeline t) (Request (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) (Response (ProfiledM m) a))

requesting_ :: Event (ProfiledTimeline t) (Request (ProfiledM m) a) -> ProfiledM m ()

TriggerEvent t m => TriggerEvent (ProfiledTimeline t) (ProfiledM m)

Defined in Reflex.Profiled

Methods

newTriggerEvent :: ProfiledM m (Event (ProfiledTimeline t) a, a -> IO ())

newTriggerEventWithOnComplete :: ProfiledM m (Event (ProfiledTimeline t) a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a)

type PrimState (ProfiledM m)

Defined in Reflex.Profiled

type PrimState (ProfiledM m) = PrimState m

type Ref (ProfiledM m)

Defined in Reflex.Profiled

type Ref (ProfiledM m) = Ref m

type ReadPhase (ProfiledM m)

Defined in Reflex.Profiled

type ReadPhase (ProfiledM m) = ProfiledM (ReadPhase m)

type Performable (ProfiledM m)

Defined in Reflex.Profiled

type Performable (ProfiledM m) = Performable m

type Request (ProfiledM m)

Defined in Reflex.Profiled

type Request (ProfiledM m) = Request m

type Response (ProfiledM m)

Defined in Reflex.Profiled

type Response (ProfiledM m) = Response m

profileEvent :: forall {k} (t :: k) a. Reflex t => Event t a -> Event t a