Safe Haskell	None
Language	Haskell98

Reflex.Profiled

Description

Documentation

data ProfiledTimeline t Source #

Instances

Reflex t => Reflex (ProfiledTimeline t :: Type) Source #
Instance details Defined in Reflex.Profiled Associated Types data Behavior (ProfiledTimeline t) a :: Type Source # data Event (ProfiledTimeline t) a :: Type Source # data Dynamic (ProfiledTimeline t) a :: Type Source # data Incremental (ProfiledTimeline t) a :: Type Source # type PushM (ProfiledTimeline t) :: Type -> Type Source # type PullM (ProfiledTimeline t) :: Type -> Type Source # Methods never :: Event (ProfiledTimeline t) a Source # constant :: a -> Behavior (ProfiledTimeline t) a Source # push :: (a -> PushM (ProfiledTimeline t) (Maybe b)) -> Event (ProfiledTimeline t) a -> Event (ProfiledTimeline t) b Source # pushCheap :: (a -> PushM (ProfiledTimeline t) (Maybe b)) -> Event (ProfiledTimeline t) a -> Event (ProfiledTimeline t) b Source # pull :: PullM (ProfiledTimeline t) a -> Behavior (ProfiledTimeline t) a Source # mergeG :: GCompare k => (forall (a :: k). q a -> Event (ProfiledTimeline t) (v a)) -> DMap k q -> Event (ProfiledTimeline t) (DMap k v) Source # fanG :: GCompare k => Event (ProfiledTimeline t) (DMap k v) -> EventSelectorG (ProfiledTimeline t) k v Source # switch :: Behavior (ProfiledTimeline t) (Event (ProfiledTimeline t) a) -> Event (ProfiledTimeline t) a Source # coincidence :: Event (ProfiledTimeline t) (Event (ProfiledTimeline t) a) -> Event (ProfiledTimeline t) a Source # current :: Dynamic (ProfiledTimeline t) a -> Behavior (ProfiledTimeline t) a Source # updated :: Dynamic (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a Source # unsafeBuildDynamic :: PullM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> Dynamic (ProfiledTimeline t) a Source # unsafeBuildIncremental :: Patch p => PullM (ProfiledTimeline t) (PatchTarget p) -> Event (ProfiledTimeline t) p -> Incremental (ProfiledTimeline t) p Source # mergeIncrementalG :: GCompare k => (forall (a :: k). q a -> Event (ProfiledTimeline t) (v a)) -> Incremental (ProfiledTimeline t) (PatchDMap k q) -> Event (ProfiledTimeline t) (DMap k v) Source # mergeIncrementalWithMoveG :: GCompare k => (forall (a :: k). q a -> Event (ProfiledTimeline t) (v a)) -> Incremental (ProfiledTimeline t) (PatchDMapWithMove k q) -> Event (ProfiledTimeline t) (DMap k v) Source # currentIncremental :: Patch p => Incremental (ProfiledTimeline t) p -> Behavior (ProfiledTimeline t) (PatchTarget p) Source # updatedIncremental :: Patch p => Incremental (ProfiledTimeline t) p -> Event (ProfiledTimeline t) p Source # incrementalToDynamic :: Patch p => Incremental (ProfiledTimeline t) p -> Dynamic (ProfiledTimeline t) (PatchTarget p) Source # behaviorCoercion :: Coercion a b -> Coercion (Behavior (ProfiledTimeline t) a) (Behavior (ProfiledTimeline t) b) Source # eventCoercion :: Coercion a b -> Coercion (Event (ProfiledTimeline t) a) (Event (ProfiledTimeline t) b) Source # dynamicCoercion :: Coercion a b -> Coercion (Dynamic (ProfiledTimeline t) a) (Dynamic (ProfiledTimeline t) b) Source # mergeIntIncremental :: Incremental (ProfiledTimeline t) (PatchIntMap (Event (ProfiledTimeline t) a)) -> Event (ProfiledTimeline t) (IntMap a) Source # fanInt :: Event (ProfiledTimeline t) (IntMap a) -> EventSelectorInt (ProfiledTimeline t) a Source #
MonadHold t m => MonadHold (ProfiledTimeline t :: Type) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods hold :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Behavior (ProfiledTimeline t) a) Source # holdDyn :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a) Source # holdIncremental :: Patch p => PatchTarget p -> Event (ProfiledTimeline t) p -> ProfiledM m (Incremental (ProfiledTimeline t) p) Source # buildDynamic :: PushM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a) Source # headE :: Event (ProfiledTimeline t) a -> ProfiledM m (Event (ProfiledTimeline t) a) Source #
MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods sample :: Behavior (ProfiledTimeline t) a -> ProfiledM m a Source #
Monad (Dynamic t) => Monad (Dynamic (ProfiledTimeline t)) Source #
Instance details 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 # fail :: String -> Dynamic (ProfiledTimeline t) a #
Functor (Dynamic t) => Functor (Dynamic (ProfiledTimeline t)) Source #
Instance details 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 #
Applicative (Dynamic t) => Applicative (Dynamic (ProfiledTimeline t)) Source #
Instance details 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 #
ReflexHost t => ReflexHost (ProfiledTimeline t) Source #
Instance details Defined in Reflex.Profiled Associated Types type EventTrigger (ProfiledTimeline t) :: Type -> Type Source # type EventHandle (ProfiledTimeline t) :: Type -> Type Source # type HostFrame (ProfiledTimeline t) :: Type -> Type Source #
MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type ReadPhase (ProfiledM m) :: Type -> Type Source # Methods fireEventsAndRead :: [DSum (EventTrigger (ProfiledTimeline t)) Identity] -> ReadPhase (ProfiledM m) a -> ProfiledM m a Source # runHostFrame :: HostFrame (ProfiledTimeline t) a -> ProfiledM m a Source #
MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods newEventWithTrigger :: (EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a) Source # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (EventSelector (ProfiledTimeline t) k) Source #
MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods readEvent :: EventHandle (ProfiledTimeline t) a -> ProfiledM m (Maybe (ProfiledM m a)) Source #
MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods subscribeEvent :: Event (ProfiledTimeline t) a -> ProfiledM m (EventHandle (ProfiledTimeline t) a) Source #
PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type Performable (ProfiledM m) :: Type -> Type Source # Methods performEvent :: Event (ProfiledTimeline t) (Performable (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) a) Source # performEvent_ :: Event (ProfiledTimeline t) (Performable (ProfiledM m) ()) -> ProfiledM m () Source #
newtype Behavior (ProfiledTimeline t :: Type) a Source #
Instance details Defined in Reflex.Profiled newtype Behavior (ProfiledTimeline t :: Type) a = Behavior_Profiled { unBehavior_Profiled :: Behavior t a }
newtype Event (ProfiledTimeline t :: Type) a Source #
Instance details Defined in Reflex.Profiled newtype Event (ProfiledTimeline t :: Type) a = Event_Profiled { unEvent_Profiled :: Event t a }
newtype Dynamic (ProfiledTimeline t :: Type) a Source #
Instance details Defined in Reflex.Profiled newtype Dynamic (ProfiledTimeline t :: Type) a = Dynamic_Profiled { unDynamic_Profiled :: Dynamic t a }
newtype Incremental (ProfiledTimeline t :: Type) p Source #
Instance details Defined in Reflex.Profiled newtype Incremental (ProfiledTimeline t :: Type) p = Incremental_Profiled { unIncremental_Profiled :: Incremental t p }
type PushM (ProfiledTimeline t :: Type) Source #
Instance details Defined in Reflex.Profiled type PushM (ProfiledTimeline t :: Type) = ProfiledM (PushM t)
type PullM (ProfiledTimeline t :: Type) Source #
Instance details Defined in Reflex.Profiled type PullM (ProfiledTimeline t :: Type) = ProfiledM (PullM t)
type EventTrigger (ProfiledTimeline t) Source #
Instance details Defined in Reflex.Profiled type EventTrigger (ProfiledTimeline t) = EventTrigger t
type EventHandle (ProfiledTimeline t) Source #
Instance details Defined in Reflex.Profiled type EventHandle (ProfiledTimeline t) = EventHandle t
type HostFrame (ProfiledTimeline t) Source #
Instance details Defined in Reflex.Profiled type HostFrame (ProfiledTimeline t) = ProfiledM (HostFrame t)

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

data CostCentreTree Source #

Constructors

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

Instances

Eq CostCentreTree Source #
Instance details Defined in Reflex.Profiled Methods (==) :: CostCentreTree -> CostCentreTree -> Bool # (/=) :: CostCentreTree -> CostCentreTree -> Bool #
Ord CostCentreTree Source #
Instance details 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 #
Show CostCentreTree Source #
Instance details Defined in Reflex.Profiled Methods showsPrec :: Int -> CostCentreTree -> ShowS # show :: CostCentreTree -> String # showList :: [CostCentreTree] -> ShowS #
Semigroup CostCentreTree Source #
Instance details Defined in Reflex.Profiled Methods (<>) :: CostCentreTree -> CostCentreTree -> CostCentreTree # sconcat :: NonEmpty CostCentreTree -> CostCentreTree # stimes :: Integral b => b -> CostCentreTree -> CostCentreTree #
Monoid CostCentreTree Source #
Instance details Defined in Reflex.Profiled Methods mempty :: CostCentreTree # mappend :: CostCentreTree -> CostCentreTree -> CostCentreTree # mconcat :: [CostCentreTree] -> CostCentreTree #

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

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

getCostCentreTree :: IO CostCentreTree Source #

formatCostCentreTree :: CostCentreTree -> IO String Source #

showProfilingData :: IO () Source #

writeProfilingData :: FilePath -> IO () Source #

newtype ProfiledM m a Source #

Constructors

ProfiledM
Fields runProfiledM :: m a

Instances

MonadReader r m => MonadReader r (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods ask :: ProfiledM m r # local :: (r -> r) -> ProfiledM m a -> ProfiledM m a # reader :: (r -> a) -> ProfiledM m a #
MonadTrans (ProfiledM :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Reflex.Profiled Methods lift :: Monad m => m a -> ProfiledM m a #
MonadHold t m => MonadHold (ProfiledTimeline t :: Type) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods hold :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Behavior (ProfiledTimeline t) a) Source # holdDyn :: a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a) Source # holdIncremental :: Patch p => PatchTarget p -> Event (ProfiledTimeline t) p -> ProfiledM m (Incremental (ProfiledTimeline t) p) Source # buildDynamic :: PushM (ProfiledTimeline t) a -> Event (ProfiledTimeline t) a -> ProfiledM m (Dynamic (ProfiledTimeline t) a) Source # headE :: Event (ProfiledTimeline t) a -> ProfiledM m (Event (ProfiledTimeline t) a) Source #
MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods sample :: Behavior (ProfiledTimeline t) a -> ProfiledM m a Source #
Monad m => Monad (ProfiledM m) Source #
Instance details 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 # fail :: String -> ProfiledM m a #
Functor m => Functor (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods fmap :: (a -> b) -> ProfiledM m a -> ProfiledM m b # (<$) :: a -> ProfiledM m b -> ProfiledM m a #
MonadFix m => MonadFix (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods mfix :: (a -> ProfiledM m a) -> ProfiledM m a #
Applicative m => Applicative (ProfiledM m) Source #
Instance details 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 #
MonadIO m => MonadIO (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods liftIO :: IO a -> ProfiledM m a #
MonadException m => MonadException (ProfiledM m) Source #
Instance details 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 #
MonadAsyncException m => MonadAsyncException (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods mask :: ((forall a. ProfiledM m a -> ProfiledM m a) -> ProfiledM m b) -> ProfiledM m b #
PrimMonad m => PrimMonad (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type PrimState (ProfiledM m) :: Type # Methods primitive :: (State# (PrimState (ProfiledM m)) -> (#State# (PrimState (ProfiledM m)), a#)) -> ProfiledM m a #
MonadRef m => MonadRef (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type Ref (ProfiledM m) :: Type -> Type # 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 () #
MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type ReadPhase (ProfiledM m) :: Type -> Type Source # Methods fireEventsAndRead :: [DSum (EventTrigger (ProfiledTimeline t)) Identity] -> ReadPhase (ProfiledM m) a -> ProfiledM m a Source # runHostFrame :: HostFrame (ProfiledTimeline t) a -> ProfiledM m a Source #
MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods newEventWithTrigger :: (EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (Event (ProfiledTimeline t) a) Source # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger (ProfiledTimeline t) a -> IO (IO ())) -> ProfiledM m (EventSelector (ProfiledTimeline t) k) Source #
MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods readEvent :: EventHandle (ProfiledTimeline t) a -> ProfiledM m (Maybe (ProfiledM m a)) Source #
MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Methods subscribeEvent :: Event (ProfiledTimeline t) a -> ProfiledM m (EventHandle (ProfiledTimeline t) a) Source #
PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled Associated Types type Performable (ProfiledM m) :: Type -> Type Source # Methods performEvent :: Event (ProfiledTimeline t) (Performable (ProfiledM m) a) -> ProfiledM m (Event (ProfiledTimeline t) a) Source # performEvent_ :: Event (ProfiledTimeline t) (Performable (ProfiledM m) ()) -> ProfiledM m () Source #
type PrimState (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled type PrimState (ProfiledM m) = PrimState m
type Ref (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled type Ref (ProfiledM m) = Ref m
type ReadPhase (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled type ReadPhase (ProfiledM m) = ProfiledM (ReadPhase m)
type Performable (ProfiledM m) Source #
Instance details Defined in Reflex.Profiled type Performable (ProfiledM m) = Performable m

profileEvent :: Reflex t => Event t a -> Event t a Source #