Merge remote-tracking branch 'origin/master' into michael/event-utilities

Author: Michael Trotter

examples/component/src/Container.purs

@@ -1,12 +1,10 @@
 module Container where
 
-import Prelude
-
 import React.Basic (ReactComponent, createElement, stateless)
 import React.Basic.DOM as R
 import ToggleButton as ToggleButton
 
-component :: ReactComponent Unit
+component :: ReactComponent {}
 component = stateless
   { displayName: "Container"
   , render: \_ ->

generated-docs/React/Basic.md

@@ -3,7 +3,7 @@
 #### `react`
 
 ``` purescript
-react :: forall props state fx. { displayName :: String, initialState :: {  | state }, receiveProps :: props -> {  | state } -> (SetState state fx) -> Eff (react :: ReactFX | fx) Unit, render :: props -> {  | state } -> (SetState state fx) -> JSX } -> ReactComponent props
+react :: forall props state fx. { displayName :: String, initialState :: {  | state }, receiveProps :: {  | props } -> {  | state } -> (SetState state fx) -> Eff (react :: ReactFX | fx) Unit, render :: {  | props } -> {  | state } -> (SetState state fx) -> JSX } -> ReactComponent {  | props }
 ```
 
 Create a React component from a _specification_ of that component.
@@ -19,7 +19,7 @@ module (and re-exported here).
 #### `stateless`
 
 ``` purescript
-stateless :: forall props. { displayName :: String, render :: props -> JSX } -> ReactComponent props
+stateless :: forall props. { displayName :: String, render :: {  | props } -> JSX } -> ReactComponent {  | props }
 ```
 
 Create a stateless React component.
@@ -30,7 +30,7 @@ components which don't use state.
 #### `createElement`
 
 ``` purescript
-createElement :: forall props. ReactComponent props -> props -> JSX
+createElement :: forall props. ReactComponent {  | props } -> {  | props } -> JSX
 ```
 
 Create a `JSX` node from a React component, by providing the props.

src/React/Basic.purs

@@ -38,10 +38,10 @@ react
   :: forall props state fx
    . { displayName :: String
      , initialState :: { | state }
-     , receiveProps :: props -> { | state } -> (SetState state fx) -> Eff (react :: ReactFX | fx) Unit
-     , render :: props -> { | state } -> (SetState state fx) -> JSX
+     , receiveProps :: { | props } -> { | state } -> (SetState state fx) -> Eff (react :: ReactFX | fx) Unit
+     , render :: { | props } -> { | state } -> (SetState state fx) -> JSX
      }
-  -> ReactComponent props
+  -> ReactComponent { | props }
 react { displayName, initialState, receiveProps, render } =
   component_
     { displayName
@@ -57,9 +57,9 @@ react { displayName, initialState, receiveProps, render } =
 stateless
   :: forall props
    . { displayName :: String
-     , render :: props -> JSX
+     , render :: { | props } -> JSX
      }
-  -> ReactComponent props
+  -> ReactComponent { | props }
 stateless { displayName, render } =
   react
     { displayName
@@ -74,8 +74,8 @@ type SetState state fx = ({ | state } -> { | state }) -> Eff (react :: ReactFX |
 -- | Create a `JSX` node from a React component, by providing the props.
 createElement
   :: forall props
-   . ReactComponent props
-  -> props
+   . ReactComponent { | props }
+  -> { | props }
   -> JSX
 createElement = runFn2 createElement_
 
@@ -104,12 +104,12 @@ foreign import component_
   :: forall props state fx
    . { displayName :: String
      , initialState :: { | state }
-     , receiveProps :: EffFn3 (react :: ReactFX | fx) props { | state } (SetState state fx) Unit
-     , render :: Fn3 props { | state } (SetState state fx) JSX
+     , receiveProps :: EffFn3 (react :: ReactFX | fx) { | props } { | state } (SetState state fx) Unit
+     , render :: Fn3 { | props } { | state } (SetState state fx) JSX
      }
-  -> ReactComponent props
+  -> ReactComponent { | props }
 
-foreign import createElement_ :: forall props. Fn2 (ReactComponent props) props JSX
+foreign import createElement_ :: forall props. Fn2 (ReactComponent { | props }) { | props } JSX
 
 foreign import createElementKeyed_ :: forall props. Fn2 (ReactComponent { | props }) { key :: String | props } JSX