100% haddock coverage

[ryantrinkle]

No description provided.

[sboosali]

Can you add laws and simple examples for all functions listed in the cheatsheet?

https://github.com/reflex-frp/reflex/blob/develop/Quickref.md

Like their relationships, when one is primitive and others are derived, especially their relationships with never and constant (and other base cases, like the empty list, the empty map, 0, etc).

[ryantrinkle]

@sboosali That sounds great, too :) I think it would be nice if we could use doctest or something like that to ensure they are (and stay) valid.

[ag-eitilt]

Doctest would be nice, but it seems to require something be written to the terminal, and tellEvent only gets us so far. From the tests, I know it's possible to complete the bridge to IO [a], but I wasn't able to tease apart the Test.Run code enough to simplify the type signature; someone with better knowledge of the code internals may have better luck. If we can get a tellEventIO :: Event t a -> IO [a] or similar, though, the docs could become amazing.