Refl package:reflex

This module exports all of the commonly-used functionality of Reflex; if you are just getting started with Reflex, this is probably what you want.

class (MonadHold t PushM t, MonadSample t PullM t, MonadFix PushM t, Functor Dynamic t, Applicative Dynamic t, Monad Dynamic t) => Reflex (t :: k)

reflex Reflex.Class

The Reflex class contains all the primitive functionality needed for Functional Reactive Programming (FRP). The t type parameter indicates which "timeline" is in use. Timelines are fully-independent FRP contexts, and the type of the timeline determines the FRP engine to be used. For most purposes, the Spider implementation is recommended.

class (Reflex t, MonadReflexCreateTrigger t HostFrame t, MonadSample t HostFrame t, MonadHold t HostFrame t, MonadFix HostFrame t, MonadSubscribeEvent t HostFrame t) => ReflexHost t

reflex Reflex.Host.Class

Framework implementation support class for the reflex implementation represented by t.

package reflex

Uses

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. Reflex is a fully-deterministic, higher-order Functional Reactive Programming interface and an engine that efficiently implements that interface. https://reflex-frp.org

class (Applicative m, Monad m) => MonadReflexCreateTrigger t (m :: Type -> Type) | m -> t

reflex Reflex.Host.Class

A monad where new events feed from external sources can be created.

class (ReflexHost t, MonadReflexCreateTrigger t m, MonadSubscribeEvent t m, MonadReadEvent t ReadPhase m, MonadSample t ReadPhase m, MonadHold t ReadPhase m) => MonadReflexHost t (m :: Type -> Type) | m -> t

reflex Reflex.Host.Class

MonadReflexHost designates monads that can run reflex frames.