Reflex.Dynamic.TH

Template Haskell helper functions for building complex Dynamic values.

Documentation

qDynPure :: Q Exp -> Q Exp

Quote a Dynamic expression. Within the quoted expression, you can use $(unqDyn [| x |]) to refer to any expression x of type Dynamic t a; the unquoted result will be of type a

unqDyn :: Q Exp -> Q Exp

Antiquote a Dynamic expression. This can only be used inside of a qDyn quotation.

mkDynPure :: QuasiQuoter

Create a Dynamic value using other Dynamics as inputs. The result is sometimes more concise and readable than the equivalent Applicative-based expression. For example:

[mkDyn| $x + $v * $t + 1/2 * $a * $t ^ 2 |]

would have a very cumbersome Applicative encoding.