Export a type alias for the core set of Pux effects

src/Pux.purs

@@ -2,6 +2,7 @@ module Pux
   ( App
   , Update
   , EffModel
+  , CoreEffects
   , noEffects
   , fromSimple
   , start
@@ -36,7 +37,7 @@ import Signal.Channel (CHANNEL, channel, subscribe, send)
 -- | ```
 start :: forall state action eff.
          Config state action eff ->
-         Eff (err :: EXCEPTION, channel :: CHANNEL | eff) (App state action)
+         Eff (CoreEffects eff) (App state action)
 start config = do
   actionChannel <- channel Nil
   let actionSignal = subscribe actionChannel
@@ -75,6 +76,18 @@ type Config state action eff =
   , inputs :: Array (Signal action)
   }
 
+-- | The set of effects every Pux app needs to allow through when using `start`.
+-- | Extend this type with your own app's effects, for example:
+-- |
+-- | ```purescript
+-- | type AppEffects eff = (console :: CONSOLE | eff)
+-- |
+-- | main :: State -> Eff (CoreEffects (AppEffects (dom :: DOM))) (App State Action)
+-- | main state = do
+-- |   -- ...
+-- | ```
+type CoreEffects eff = (channel :: CHANNEL, err :: EXCEPTION | eff)
+
 -- | An `App` consists of three signals:
 -- |
 -- | * `html` – A signal of `Html` representing the current view of your