reflex-0.9.0.0: Higher-order Functional Reactive Programming
Safe HaskellSafe-Inferred
LanguageHaskell2010

Reflex.Profiled

Description

 

Documentation

data ProfiledTimeline t Source #

Instances

Instances details
Reflex t => Reflex (ProfiledTimeline t :: Type) Source # 
Instance details

Defined in Reflex.Profiled

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 :: 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) Source #

fanG :: forall {k1} (k2 :: k1 -> Type) (v :: k1 -> Type). GCompare k2 => Event (ProfiledTimeline t) (DMap k2 v) -> EventSelectorG (ProfiledTimeline t) k2 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 :: 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) Source #

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

incrementalCoercion :: Coercion (PatchTarget a) (PatchTarget b) -> Coercion a b -> Coercion (Incremental (ProfiledTimeline t) a) (Incremental (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

MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Applicative (Dynamic t) => Applicative (Dynamic (ProfiledTimeline t)) Source # 
Instance details

Defined in Reflex.Profiled

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 #

Monad (Dynamic t) => Monad (Dynamic (ProfiledTimeline t)) Source # 
Instance details

Defined in Reflex.Profiled

ReflexHost t => ReflexHost (ProfiledTimeline t) Source # 
Instance details

Defined in Reflex.Profiled

BehaviorWriter t w m => BehaviorWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

EventWriter t w m => EventWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadQuery t q m => MonadQuery (ProfiledTimeline t) q (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Adjustable t m => Adjustable (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type ReadPhase (ProfiledM m) :: Type -> Type Source #

MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

NotReady t m => NotReady (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type Performable (ProfiledM m) :: Type -> Type Source #

PostBuild t m => PostBuild (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Requester t m => Requester (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type Request (ProfiledM m) :: Type -> Type Source #

type Response (ProfiledM m) :: Type -> Type Source #

TriggerEvent t m => TriggerEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

newtype Behavior (ProfiledTimeline t :: Type) a Source # 
Instance details

Defined in Reflex.Profiled

newtype Dynamic (ProfiledTimeline t :: Type) a Source # 
Instance details

Defined in Reflex.Profiled

newtype Event (ProfiledTimeline t :: Type) a Source # 
Instance details

Defined in Reflex.Profiled

newtype Incremental (ProfiledTimeline t :: Type) p Source # 
Instance details

Defined in Reflex.Profiled

type PullM (ProfiledTimeline t :: Type) Source # 
Instance details

Defined in Reflex.Profiled

type PushM (ProfiledTimeline t :: Type) Source # 
Instance details

Defined in Reflex.Profiled

type EventHandle (ProfiledTimeline t) Source # 
Instance details

Defined in Reflex.Profiled

type EventTrigger (ProfiledTimeline t) Source # 
Instance details

Defined in Reflex.Profiled

type HostFrame (ProfiledTimeline t) Source # 
Instance details

Defined in Reflex.Profiled

data CostCentreTree Source #

newtype ProfiledM m a Source #

Constructors

ProfiledM 

Fields

Instances

Instances details
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 #

MonadHold t m => MonadHold (ProfiledTimeline t :: Type) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadSample t m => MonadSample (ProfiledTimeline t :: Type) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadTrans (ProfiledM :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Reflex.Profiled

Methods

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

MonadFix m => MonadFix (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Methods

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

MonadIO m => MonadIO (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Methods

liftIO :: IO 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 #

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 #

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 #

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 #

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 #

PrimMonad m => PrimMonad (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type PrimState (ProfiledM m) #

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 () #

BehaviorWriter t w m => BehaviorWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

DynamicWriter t w m => DynamicWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

EventWriter t w m => EventWriter (ProfiledTimeline t) w (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadQuery t q m => MonadQuery (ProfiledTimeline t) q (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Adjustable t m => Adjustable (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReadEvent t m => MonadReadEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

MonadReflexHost t m => MonadReflexHost (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type ReadPhase (ProfiledM m) :: Type -> Type Source #

MonadSubscribeEvent t m => MonadSubscribeEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

NotReady t m => NotReady (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

PerformEvent t m => PerformEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type Performable (ProfiledM m) :: Type -> Type Source #

PostBuild t m => PostBuild (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Requester t m => Requester (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

Associated Types

type Request (ProfiledM m) :: Type -> Type Source #

type Response (ProfiledM m) :: Type -> Type Source #

TriggerEvent t m => TriggerEvent (ProfiledTimeline t) (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

type PrimState (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

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 Performable (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

type Request (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

type Response (ProfiledM m) Source # 
Instance details

Defined in Reflex.Profiled

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