Updates based on feedback from @natefaubion

Author: ethul

src/React.js

@@ -169,9 +169,3 @@ function createContext(defaultValue) {
   };
 }
 exports.createContext = createContext;
-
-exports.createElementHook = function createElementHook(fn) {
-  return function(props) {
-    return React.createElement(fn, props);
-  };
-};

src/React.purs

@@ -63,7 +63,12 @@ module React
   , ContextProvider
   , ContextConsumer
   , createContext
-  , createElementHook
+  , createHookElement
+  , unsafeCreateHookElement
+  , createHookElementDynamic
+  , unsafeCreateHookElementDynamic
+  , createHookLeafElement
+  , unsafeCreateHookLeafElement
   ) where
 
 import Prelude
@@ -467,9 +472,58 @@ type ContextConsumer a = ReactClass { children :: a -> ReactElement }
 -- | Create a new context provider/consumer pair given a default value.
 foreign import createContext :: forall a. a -> Context a
 
--- | Create an element from a function using Hook.
-foreign import createElementHook
+-- | Create an element from a function using Hooks spreading the children array. Used when the children are known up front.
+createHookElement
+  :: forall required given
+   .  ReactPropFields required given
+  => ({ children :: Children | required } -> Hook ReactElement)
+  -> { | given }
+  -> Array ReactElement
+  -> ReactElement
+createHookElement k = createElementImpl (unsafeCoerce k)
+
+-- | An unsafe version of `createHookElement` which does not enforce the reserved properties "key" and "ref".
+unsafeCreateHookElement
+  :: forall props
+   . ({ children :: Children | props } -> Hook ReactElement)
+  -> { | props }
+  -> Array ReactElement
+  -> ReactElement
+unsafeCreateHookElement k = createElementImpl (unsafeCoerce k)
+
+-- | Create an element from a function using Hooks passing the children array. Used for a dynamic array of children.
+createHookElementDynamic
+  :: forall required given
+   .  ReactPropFields required given
+  => ({ children :: Children | required } -> Hook ReactElement)
+  -> { | given }
+  -> Array ReactElement
+  -> ReactElement
+createHookElementDynamic k = createElementDynamicImpl (unsafeCoerce k)
+
+-- | An unsafe version of `createHookElementDynamic` which does not enforce the reserved properties "key" and "ref".
+unsafeCreateHookElementDynamic
   :: forall props
-   . ({ | props } -> Hook ReactElement)
+   . ({ children :: Children | props } -> Hook ReactElement)
   -> { | props }
+  -> Array ReactElement
+  -> ReactElement
+unsafeCreateHookElementDynamic k = createElementDynamicImpl (unsafeCoerce k)
+
+-- | Create an element from a function using Hooks that does not require children.
+createHookLeafElement
+  :: forall required given
+   .  ReactPropFields required given
+  => ({ | given } -> Hook ReactElement)
+  -> { | given }
+  -> ReactElement
+createHookLeafElement k = createLeafElementImpl (unsafeCoerce k)
+
+-- | An unsafe version of `createHookLeafElement` which does not enforce the reserved
+-- | properties "key" and "ref".
+unsafeCreateHookLeafElement
+  :: forall props
+   . (props -> Hook ReactElement)
+  -> props
   -> ReactElement
+unsafeCreateHookLeafElement k = createLeafElementImpl (unsafeCoerce k)

src/React/Hook.purs

@@ -1,5 +1,7 @@
 module React.Hook
   ( Hook
+  , HookInput
+  , hookInput
 
   , useState
   , useStateLazy
@@ -8,8 +10,6 @@ module React.Hook
   , SetState
 
   , useEffect
-  , effectInput
-  , EffectInput
 
   , useContext
   , Context
@@ -20,12 +20,8 @@ module React.Hook
   , Dispatch
 
   , useCallback
-  , callbackInput
-  , CallbackInput
 
   , useMemo
-  , memoInput
-  , MemoInput
 
   , useRef
   , getRef
@@ -101,19 +97,14 @@ foreign import useState_
 useEffect
   :: forall a
    . Effect (Effect a)
-  -> Maybe (Array EffectInput)
+  -> Maybe (Array HookInput)
   -> Hook Unit
 useEffect k = runFn2 useEffect_ k <<< Nullable.toNullable
 
-effectInput :: forall a. a -> EffectInput
-effectInput = unsafeCoerce
-
-foreign import data EffectInput :: Type
-
 foreign import useEffect_
   :: forall a
    . Fn2 (Effect (Effect a))
-         (Nullable (Array EffectInput))
+         (Nullable (Array HookInput))
          (Hook Unit)
 
 useContext :: forall a. Context a -> Hook a
@@ -171,37 +162,27 @@ foreign import useReducerLazy_
 useCallback
   :: forall a b
    . (a -> b)
-  -> Maybe (Array CallbackInput)
+  -> Maybe (Array HookInput)
   -> Hook (a -> b)
 useCallback k = runFn2 useCallback_ k <<< Nullable.toNullable
 
-callbackInput :: forall a. a -> CallbackInput
-callbackInput = unsafeCoerce
-
-foreign import data CallbackInput :: Type
-
 foreign import useCallback_
   :: forall a b
    . Fn2 (a -> b)
-         (Nullable (Array CallbackInput))
+         (Nullable (Array HookInput))
          (Hook (a -> b))
 
 useMemo
   :: forall a b
    . (Unit -> a -> b)
-  -> Maybe (Array MemoInput)
+  -> Maybe (Array HookInput)
   -> Hook (a -> b)
 useMemo k = runFn2 useMemo_ k <<< Nullable.toNullable
 
-memoInput :: forall a. a -> MemoInput
-memoInput = unsafeCoerce
-
-foreign import data MemoInput :: Type
-
 foreign import useMemo_
   :: forall a b
    . Fn2 (Unit -> a -> b)
-         (Nullable (Array MemoInput))
+         (Nullable (Array HookInput))
          (Hook (a -> b))
 
 useRef :: forall a. Maybe a -> Hook (Ref a)
@@ -289,12 +270,6 @@ foreign import useLayoutEffect_
 
 foreign import data Hook :: Type -> Type
 
-unHook :: forall a. Hook a -> a
-unHook = unsafeCoerce
-
-hook :: forall a. a -> Hook a
-hook = unsafeCoerce
-
 instance functorHook :: Functor Hook where
   map k = hook <<< k <<< unHook
 
@@ -308,3 +283,14 @@ instance bindHook :: Bind Hook where
   bind fa k = k (unHook fa)
 
 instance monadHook :: Monad Hook
+
+unHook :: forall a. Hook a -> a
+unHook = unsafeCoerce
+
+hook :: forall a. a -> Hook a
+hook = unsafeCoerce
+
+foreign import data HookInput :: Type
+
+hookInput :: forall a. a -> HookInput
+hookInput = unsafeCoerce