Reflex.Pure

This module provides a pure implementation of Reflex, which is intended to serve as a reference for the semantics of the Reflex class. All implementations of Reflex should produce the same results as this implementation, although performance and laziness/strictness may differ.

Documentation

data Pure t

A completely pure-functional Reflex timeline, identifying moments in time with the type t.

Instances

(Enum t, HasTrie t, Ord t) => Reflex (Pure t :: *)

The Enum instance of t must be dense: for all x :: t, there must not exist any y :: t such that pred x < y < x. The HasTrie instance will be used exclusively to memoize functions of t, not for any of its other capabilities.

Defined in Reflex.Pure

Associated Types

data Behavior (Pure t) a :: *

data Event (Pure t) a :: *

data Dynamic (Pure t) a :: *

data Incremental (Pure t) a :: *

type PushM (Pure t) :: * -> *

type PullM (Pure t) :: * -> *

Methods

never :: Event (Pure t) a

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

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

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

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

merge :: GCompare k => DMap k (Event (Pure t)) -> Event (Pure t) (DMap k Identity)

fan :: GCompare k => Event (Pure t) (DMap k Identity) -> EventSelector (Pure t) k

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

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

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

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

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

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

mergeIncremental :: GCompare k => Incremental (Pure t) (PatchDMap k (Event (Pure t))) -> Event (Pure t) (DMap k Identity)

mergeIncrementalWithMove :: GCompare k => Incremental (Pure t) (PatchDMapWithMove k (Event (Pure t))) -> Event (Pure t) (DMap k Identity)

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

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

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

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

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

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

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

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

(Enum t, HasTrie t, Ord t) => MonadHold (Pure t :: *) ((->) t :: * -> *)

Defined in Reflex.Pure

Methods

hold :: a -> Event (Pure t) a -> t -> Behavior (Pure t) a

holdDyn :: a -> Event (Pure t) a -> t -> Dynamic (Pure t) a

holdIncremental :: Patch p => PatchTarget p -> Event (Pure t) p -> t -> Incremental (Pure t) p

buildDynamic :: PushM (Pure t) a -> Event (Pure t) a -> t -> Dynamic (Pure t) a

headE :: Event (Pure t) a -> t -> Event (Pure t) a

MonadSample (Pure t :: *) ((->) t :: * -> *)

Defined in Reflex.Pure

Methods

sample :: Behavior (Pure t) a -> t -> a

Monad (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

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

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

fail :: String -> Dynamic (Pure t) a

Functor (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

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

Applicative (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

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

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

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

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

data Behavior (Pure t :: *) a

Defined in Reflex.Pure

data Behavior (Pure t :: *) a = Behavior {

• unBehavior :: t -> a

}

data Event (Pure t :: *) a

Defined in Reflex.Pure

data Event (Pure t :: *) a = Event {

• unEvent :: t -> Maybe a

}

data Dynamic (Pure t :: *) a

Defined in Reflex.Pure

data Dynamic (Pure t :: *) a = Dynamic {

• unDynamic :: t -> (a, Maybe a)

}

data Incremental (Pure t :: *) p

Defined in Reflex.Pure

data Incremental (Pure t :: *) p = Incremental {

• unIncremental :: t -> (PatchTarget p, Maybe p)

}

type PushM (Pure t :: *)

Defined in Reflex.Pure

type PushM (Pure t :: *) = ((->) t :: * -> *)

type PullM (Pure t :: *)

Defined in Reflex.Pure

type PullM (Pure t :: *) = ((->) t :: * -> *)

data family Behavior t :: * -> *

A container for a value that can change over time. Behaviors can be sampled at will, but it is not possible to be notified when they change

Instances

Reflex t => Accumulator (t :: k) (Behavior t)

Defined in Reflex.Class

Methods

accum :: (MonadHold t m, MonadFix m) => (a -> b -> a) -> a -> Event t b -> m (Behavior t a)

accumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t a) -> a -> Event t b -> m (Behavior t a)

accumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> Maybe a) -> a -> Event t b -> m (Behavior t a)

accumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a)) -> a -> Event t b -> m (Behavior t a)

mapAccum :: (MonadHold t m, MonadFix m) => (a -> b -> (a, c)) -> a -> Event t b -> m (Behavior t a, Event t c)

mapAccumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (a, c)) -> a -> Event t b -> m (Behavior t a, Event t c)

mapAccumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> (Maybe a, Maybe c)) -> a -> Event t b -> m (Behavior t a, Event t c)

mapAccumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a, Maybe c)) -> a -> Event t b -> m (Behavior t a, Event t c)

Reflex t => Monad (Behavior t)

Defined in Reflex.Class

Methods

(>>=) :: Behavior t a -> (a -> Behavior t b) -> Behavior t b

(>>) :: Behavior t a -> Behavior t b -> Behavior t b

return :: a -> Behavior t a

fail :: String -> Behavior t a

Reflex t => Functor (Behavior t)

Defined in Reflex.Class

Methods

fmap :: (a -> b) -> Behavior t a -> Behavior t b

(<$) :: a -> Behavior t b -> Behavior t a

Reflex t => Applicative (Behavior t)

Defined in Reflex.Class

Methods

pure :: a -> Behavior t a

(<*>) :: Behavior t (a -> b) -> Behavior t a -> Behavior t b

liftA2 :: (a -> b -> c) -> Behavior t a -> Behavior t b -> Behavior t c

(*>) :: Behavior t a -> Behavior t b -> Behavior t b

(<*) :: Behavior t a -> Behavior t b -> Behavior t a

Reflex t => Apply (Behavior t)

Defined in Reflex.Class

Methods

(<.>) :: Behavior t (a -> b) -> Behavior t a -> Behavior t b

(.>) :: Behavior t a -> Behavior t b -> Behavior t b

(<.) :: Behavior t a -> Behavior t b -> Behavior t a

liftF2 :: (a -> b -> c) -> Behavior t a -> Behavior t b -> Behavior t c

Reflex t => Bind (Behavior t)

Defined in Reflex.Class

Methods

(>>-) :: Behavior t a -> (a -> Behavior t b) -> Behavior t b

join :: Behavior t (Behavior t a) -> Behavior t a

(Reflex t, Fractional a) => Fractional (Behavior t a)

Defined in Reflex.Class

Methods

(/) :: Behavior t a -> Behavior t a -> Behavior t a

recip :: Behavior t a -> Behavior t a

fromRational :: Rational -> Behavior t a

(Reflex t, Num a) => Num (Behavior t a)

Defined in Reflex.Class

Methods

(+) :: Behavior t a -> Behavior t a -> Behavior t a

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

(*) :: Behavior t a -> Behavior t a -> Behavior t a

negate :: Behavior t a -> Behavior t a

abs :: Behavior t a -> Behavior t a

signum :: Behavior t a -> Behavior t a

fromInteger :: Integer -> Behavior t a

(Reflex t, IsString a) => IsString (Behavior t a)

Defined in Reflex.Class

Methods

fromString :: String -> Behavior t a

(Reflex t, Semigroup a) => Semigroup (Behavior t a)

Defined in Reflex.Class

Methods

(<>) :: Behavior t a -> Behavior t a -> Behavior t a

sconcat :: NonEmpty (Behavior t a) -> Behavior t a

stimes :: Integral b => b -> Behavior t a -> Behavior t a

(Reflex t, Monoid a) => Monoid (Behavior t a)

Defined in Reflex.Class

Methods

mempty :: Behavior t a

mappend :: Behavior t a -> Behavior t a -> Behavior t a

mconcat :: [Behavior t a] -> Behavior t a

data Behavior (Pure t :: *) a

Defined in Reflex.Pure

data Behavior (Pure t :: *) a = Behavior {

• unBehavior :: t -> a

}

data Behavior (ProfiledTimeline t :: *) a

Defined in Reflex.Profiled

data Behavior (ProfiledTimeline t :: *) a = Behavior_Profiled {

• unBehavior_Profiled :: Behavior t a

}

data Behavior (SpiderTimeline x :: *) a

Defined in Reflex.Spider.Internal

data Behavior (SpiderTimeline x :: *) a = SpiderBehavior {

• unSpiderBehavior :: Behavior x a

}

data family Event t :: * -> *

A stream of occurrences. During any given frame, an Event is either occurring or not occurring; if it is occurring, it will contain a value of the given type (its "occurrence type")

Instances

Reflex t => Accumulator (t :: k) (Event t)

Defined in Reflex.Class

Methods

accum :: (MonadHold t m, MonadFix m) => (a -> b -> a) -> a -> Event t b -> m (Event t a)

accumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t a) -> a -> Event t b -> m (Event t a)

accumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> Maybe a) -> a -> Event t b -> m (Event t a)

accumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a)) -> a -> Event t b -> m (Event t a)

mapAccum :: (MonadHold t m, MonadFix m) => (a -> b -> (a, c)) -> a -> Event t b -> m (Event t a, Event t c)

mapAccumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (a, c)) -> a -> Event t b -> m (Event t a, Event t c)

mapAccumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> (Maybe a, Maybe c)) -> a -> Event t b -> m (Event t a, Event t c)

mapAccumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a, Maybe c)) -> a -> Event t b -> m (Event t a, Event t c)

Reflex t => Functor (Event t)

Defined in Reflex.Class

Methods

fmap :: (a -> b) -> Event t a -> Event t b

(<$) :: a -> Event t b -> Event t a

Reflex t => Apply (Event t)

Event intersection (convenient interface to coincidence).

Defined in Reflex.Class

Methods

(<.>) :: Event t (a -> b) -> Event t a -> Event t b

(.>) :: Event t a -> Event t b -> Event t b

(<.) :: Event t a -> Event t b -> Event t a

liftF2 :: (a -> b -> c) -> Event t a -> Event t b -> Event t c

Reflex t => Plus (Event t)

Never: zero = never.

Defined in Reflex.Class

Methods

zero :: Event t a

Reflex t => Alt (Event t)

Left-biased event union (prefers left event on simultaneous occurrence).

Defined in Reflex.Class

Methods

(<!>) :: Event t a -> Event t a -> Event t a

some :: Applicative (Event t) => Event t a -> Event t [a]

many :: Applicative (Event t) => Event t a -> Event t [a]

Reflex t => Bind (Event t)

Event intersection (convenient interface to coincidence).

Defined in Reflex.Class

Methods

(>>-) :: Event t a -> (a -> Event t b) -> Event t b

join :: Event t (Event t a) -> Event t a

Reflex t => Align (Event t)

Defined in Reflex.Class

Methods

nil :: Event t a

align :: Event t a -> Event t b -> Event t (These a b)

alignWith :: (These a b -> c) -> Event t a -> Event t b -> Event t c

Reflex t => FunctorMaybe (Event t)

Defined in Reflex.Class

Methods

fmapMaybe :: (a -> Maybe b) -> Event t a -> Event t b

(Semigroup a, Reflex t) => Semigroup (Event t a)

Defined in Reflex.Class

Methods

(<>) :: Event t a -> Event t a -> Event t a

sconcat :: NonEmpty (Event t a) -> Event t a

stimes :: Integral b => b -> Event t a -> Event t a

(Semigroup a, Reflex t) => Monoid (Event t a)

Defined in Reflex.Class

Methods

mempty :: Event t a

mappend :: Event t a -> Event t a -> Event t a

mconcat :: [Event t a] -> Event t a

data Event (Pure t :: *) a

Defined in Reflex.Pure

data Event (Pure t :: *) a = Event {

• unEvent :: t -> Maybe a

}

data Event (ProfiledTimeline t :: *) a

Defined in Reflex.Profiled

data Event (ProfiledTimeline t :: *) a = Event_Profiled {

• unEvent_Profiled :: Event t a

}

data Event (SpiderTimeline x :: *) a

Defined in Reflex.Spider.Internal

data Event (SpiderTimeline x :: *) a = SpiderEvent {

• unSpiderEvent :: Event x a

}

data family Dynamic t :: * -> *

A container for a value that can change over time and allows notifications on changes. Basically a combination of a Behavior and an Event, with a rule that the Behavior will change if and only if the Event fires.

Instances

Reflex t => Accumulator (t :: k) (Dynamic t)

Defined in Reflex.Class

Methods

accum :: (MonadHold t m, MonadFix m) => (a -> b -> a) -> a -> Event t b -> m (Dynamic t a)

accumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t a) -> a -> Event t b -> m (Dynamic t a)

accumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> Maybe a) -> a -> Event t b -> m (Dynamic t a)

accumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a)) -> a -> Event t b -> m (Dynamic t a)

mapAccum :: (MonadHold t m, MonadFix m) => (a -> b -> (a, c)) -> a -> Event t b -> m (Dynamic t a, Event t c)

mapAccumM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (a, c)) -> a -> Event t b -> m (Dynamic t a, Event t c)

mapAccumMaybe :: (MonadHold t m, MonadFix m) => (a -> b -> (Maybe a, Maybe c)) -> a -> Event t b -> m (Dynamic t a, Event t c)

mapAccumMaybeM :: (MonadHold t m, MonadFix m) => (a -> b -> PushM t (Maybe a, Maybe c)) -> a -> Event t b -> m (Dynamic t a, Event t c)

Monad (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

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

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

fail :: String -> Dynamic (Pure 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

fail :: String -> Dynamic (ProfiledTimeline t) a

HasSpiderTimeline x => Monad (Dynamic (SpiderTimeline x))

Defined in Reflex.Spider.Internal

Methods

(>>=) :: Dynamic (SpiderTimeline x) a -> (a -> Dynamic (SpiderTimeline x) b) -> Dynamic (SpiderTimeline x) b

(>>) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) b

return :: a -> Dynamic (SpiderTimeline x) a

fail :: String -> Dynamic (SpiderTimeline x) a

Functor (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

(<$) :: a -> Dynamic (Pure t) b -> Dynamic (Pure 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

HasSpiderTimeline x => Functor (Dynamic (SpiderTimeline x))

Defined in Reflex.Spider.Internal

Methods

fmap :: (a -> b) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b

(<$) :: a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) a

Applicative (Dynamic (Pure t))

Defined in Reflex.Pure

Methods

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

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

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

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

(<*) :: Dynamic (Pure t) a -> Dynamic (Pure t) b -> Dynamic (Pure t) 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

HasSpiderTimeline x => Applicative (Dynamic (SpiderTimeline x))

Defined in Reflex.Spider.Internal

Methods

pure :: a -> Dynamic (SpiderTimeline x) a

(<*>) :: Dynamic (SpiderTimeline x) (a -> b) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b

liftA2 :: (a -> b -> c) -> Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) c

(*>) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) b

(<*) :: Dynamic (SpiderTimeline x) a -> Dynamic (SpiderTimeline x) b -> Dynamic (SpiderTimeline x) a

(Reflex t, IsString a) => IsString (Dynamic t a)

Defined in Reflex.Class

Methods

fromString :: String -> Dynamic t a

(Reflex t, Semigroup a) => Semigroup (Dynamic t a)

Defined in Reflex.Class

Methods

(<>) :: Dynamic t a -> Dynamic t a -> Dynamic t a

sconcat :: NonEmpty (Dynamic t a) -> Dynamic t a

stimes :: Integral b => b -> Dynamic t a -> Dynamic t a

(Reflex t, Monoid a) => Monoid (Dynamic t a)

Defined in Reflex.Class

Methods

mempty :: Dynamic t a

mappend :: Dynamic t a -> Dynamic t a -> Dynamic t a

mconcat :: [Dynamic t a] -> Dynamic t a

(Reflex t, Default a) => Default (Dynamic t a)

Defined in Reflex.Class

Methods

def :: Dynamic t a

data Dynamic (Pure t :: *) a

Defined in Reflex.Pure

data Dynamic (Pure t :: *) a = Dynamic {

• unDynamic :: t -> (a, Maybe a)

}

data Dynamic (ProfiledTimeline t :: *) a

Defined in Reflex.Profiled

data Dynamic (ProfiledTimeline t :: *) a = Dynamic_Profiled {

• unDynamic_Profiled :: Dynamic t a

}

data Dynamic (SpiderTimeline x :: *) a

Defined in Reflex.Spider.Internal

data Dynamic (SpiderTimeline x :: *) a = SpiderDynamic {

• unSpiderDynamic :: Dynamic x (Identity a)

}

data family Incremental t :: * -> *

An Incremental is a more general form of a Dynamic. Instead of always fully replacing the value, only parts of it can be patched. This is only needed for performance critical code via mergeIncremental to make small changes to large values.

Instances

data Incremental (Pure t :: *) p

Defined in Reflex.Pure

data Incremental (Pure t :: *) p = Incremental {

• unIncremental :: t -> (PatchTarget p, Maybe p)

}

data Incremental (ProfiledTimeline t :: *) p

Defined in Reflex.Profiled

data Incremental (ProfiledTimeline t :: *) p = Incremental_Profiled {

• unIncremental_Profiled :: Incremental t p

}

data Incremental (SpiderTimeline x :: *) p

Defined in Reflex.Spider.Internal

data Incremental (SpiderTimeline x :: *) p = SpiderIncremental {

• unSpiderIncremental :: Dynamic x p

}

Orphan instances

MonadSample (Pure t :: *) ((->) t :: * -> *)

Methods

sample :: Behavior (Pure t) a -> t -> a