Driver is a function

Author: zudov

src/Cycle.purs

@@ -4,5 +4,5 @@ import Prelude (Unit())
 
 import Control.Monad.Eff (Eff())
 
-foreign import run :: forall inputs outputs eff.
-                      ({ | inputs } -> { | outputs }) -> { | inputs } -> Eff eff Unit
+foreign import run :: forall inputs outputs drivers eff.
+                      ({ | inputs } -> { | outputs }) -> { | drivers } -> Eff eff Unit

src/Cycle/Dom.purs

@@ -17,11 +17,12 @@ type CycleHTML = HTML Void (Identity Unit)
 renderHTML :: CycleHTML -> VTree
 renderHTML = Renderer.renderHTML (pure <<< runIdentity)
 
-foreign import data DomDriver :: *
+type DomDriver = VTree -> DomInput
 
 foreign import makeDomDriver :: String -> DomDriver
 
-foreign import data Selection :: *
+foreign import data DomInput     :: *
+foreign import data DomSelection :: *
 
-foreign import select :: String -> DomDriver -> Selection
-foreign import events :: String -> Selection -> Observable Event
+foreign import select :: String -> DomInput -> DomSelection
+foreign import events :: String -> DomSelection -> Observable Event

src/Main.purs

@@ -13,7 +13,7 @@ import Halogen.Internal.VirtualDOM (VTree())
 
 main = run app drivers
 
-app :: { dom :: DomDriver } -> { dom :: Observable VTree }
+app :: { dom :: DomInput } -> { dom :: Observable VTree }
 app requests = { dom: map (renderHTML <<< render) count }
   where
     clicks = requests.dom # select "#count" # events "click"