Change typeclass wording.
commitd070d67162ce144bf9124837a35ee8a6a53dcde3
authorDan Brown <dbbnrl@gmail.com>
dateFri 31 Jul 2015, 14:08 (11 years ago)
parentfc6eea6
Quickref.md+1−5
@@ -2,11 +2,7 @@
22
33## Typeclasses
44
5−Many Reflex functions operate in monadic context `X a`, where the monadic type X supports various additional typeclasses such as MonadWidget, MonadHold, or MonadSample in addition to Monad itself. For Reflex-Dom users, the type X will generally be `Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider))`, from the Reflex-Dom main entry point:
6−
7−```haskell
8−mainWidget :: Widget Spider (Gui Spider (WithWebView SpiderHost) (HostFrame Spider)) () -> IO ()
9−```
5+Many Reflex functions operate in monadic context `m a`, where the monadic type constructor 'm' supports various additional typeclasses such as MonadWidget, MonadHold, or MonadSample in addition to Monad itself. The actual 'm' in use will be determined by the top-level entry point of the FRP host (such as Reflex-Dom -- see the bottom of the Reflex-Dom quick reference for details).
106
117The function signatures here have been simplified by removing many typeclass constraints and adding simple annotations to each function. Also the ubiquitous 't' type parameter has been removed.
128