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

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

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.

Like qDynPure, but wraps its result monadically using return. This is no longer necessary, due to Dynamic being an instance of Functor.

Like mkDynPure, but wraps its result monadically using return. This is no longer necessary, due to Dynamic being an instance of Functor.