More work on the demo

This time, we have a little signup form that mocks some async effectful
interaction to show what it would look like to make an AJAX request or
whatever. Still adding things to the "standard library" as I realise
they're invaluable, a long way off polished.

package.json

@@ -11,7 +11,7 @@
     "prepublish": "bower install",
     "pscid": "pscid",
     "tags": "purs docs --format ctags './**/*.purs' > tags",
-    "test": "pulp run -I test -m Test.Main"
+    "test": "pulp build -I test -m Test.Main --to test/dist.js"
   },
   "devDependencies": {
     "jsdom": "^11.11.0"

src/Panda.purs

@@ -3,14 +3,14 @@ module Panda
   , runApplicationInBody
   ) where
 
-import Data.Maybe             (Maybe(..), maybe)
-import Data.Traversable       (traverse)
+import Data.Maybe             (Maybe(..))
 import Effect                 (Effect)
 import FRP.Event              (Event) as FRP
 import Panda.Bootstrap        (bootstrap)
-import Panda.Internal.Types   (Component, Updater, ShouldUpdate(..)) as ExportedTypes
+import Panda.Internal.Types   (Component, Updater) as ExportedTypes
 import Web.DOM.Internal.Types (Node) as Web
 import Web.DOM.Node           (appendChild) as Web
+import Web.Event.Event        (Event, preventDefault) as ExportedTypes
 import Web.HTML               (window) as Web
 import Web.HTML.HTMLDocument  (body, toDocument) as Web
 import Web.HTML.HTMLElement   (toNode) as Web
@@ -19,7 +19,7 @@ import Web.HTML.Window        (document) as Web
 import Prelude
 
 -- | When a component has been rendered, the following controlls will be
--- | returned. 
+-- | returned.
 
 type Controller input output
   = { destroy ∷ Effect Unit

src/Panda/Bootstrap.purs

@@ -3,6 +3,7 @@ module Panda.Bootstrap
   ) where
 
 import Control.Alt            ((<|>))
+import Data.Maybe             (maybe)
 import Effect.Ref             as Ref
 import Web.DOM.Internal.Types (Node) as Web
 import Web.DOM.Document       (Document) as Web
@@ -35,7 +36,7 @@ bootstrap document { view, subscription, initial, update } = do
   stateRef ← Ref.new initial.state
   external ← FRP.create
 
-  let 
+  let
     events ∷ FRP.Event message
     events = subscription <|> system.events
 
@@ -48,10 +49,12 @@ bootstrap document { view, subscription, initial, update } = do
     -- with the state at that moment.
     { message, state } # update external.push \callback → do
       mostRecentState ← Ref.read stateRef
+
       let new@{ state } = callback mostRecentState
+      Ref.write new.state stateRef
 
-      Ref.write state stateRef
-      system.handleUpdate new
+      new.input # maybe (pure unit) \input →
+        system.handleUpdate { input, state }
 
   system.handleUpdate initial
 

src/Panda/Builders/Properties.purs

@@ -1,11 +1,12 @@
 module Panda.Builders.Properties
-  ( module Producers
-  , module Watchers
+  ( module Watchers
+  , module Producers
 
   , FormEncodingType (..)
   , Target           (..)
 
   , accept
+  , accesskey
   , action
   , align
   , alt
@@ -112,7 +113,8 @@ import Panda.Internal.Types              as Types
 import Panda.Builders.Property.Producers as Producers
 import Panda.Builders.Property.Watchers  as Watchers
 
-import Prelude ((<<<))
+import Data.String.CodeUnits (singleton)
+import Prelude               ((<<<))
 
 -- | A fully-polymorphic property.
 
@@ -132,6 +134,9 @@ make key setting
 accept ∷ String → StaticProperty
 accept = make "accept"
 
+accesskey ∷ Char → StaticProperty
+accesskey = make "accesskey" <<< singleton
+
 action ∷ String → StaticProperty
 action = make "action"
 
@@ -144,10 +149,8 @@ alt = make "alt"
 async ∷ String → StaticProperty
 async = make "async"
 
-autocomplete ∷ Boolean → StaticProperty
-autocomplete
-    = make "autocomplete"
-  <<< if _ then "on" else "off"
+autocomplete ∷ String → StaticProperty
+autocomplete = make "autocomplete"
 
 autofocus ∷ String → StaticProperty
 autofocus = make "autofocus"
@@ -224,8 +227,10 @@ defer = make "defer"
 dirname ∷ String → StaticProperty
 dirname = make "dirname"
 
-disabled ∷ String → StaticProperty
-disabled = make "disabled"
+disabled ∷ Boolean → StaticProperty
+disabled
+    = make "disabled"
+  <<< if _ then "disabled" else ""
 
 download ∷ String → StaticProperty
 download = make "download"
@@ -365,8 +370,10 @@ readonly = make "readonly"
 rel ∷ String → StaticProperty
 rel = make "rel"
 
-required ∷ String → StaticProperty
-required = make "required"
+required ∷ Boolean → StaticProperty
+required
+    = make "required"
+  <<< if _ then "required" else ""
 
 reversed ∷ String → StaticProperty
 reversed = make "reversed"

src/Panda/Builders/Property/Watchers.purs

@@ -30,3 +30,4 @@ when predicate build
       if predicate update
         then Types.SetTo (build update)
         else Types.Ignore
+

src/Panda/HTML.purs

@@ -1,6 +1,8 @@
 module Panda.HTML
   ( module Builders
   , module Exports
+
+  , delegate
   ) where
 
 import Data.Maybe           (Maybe)

src/Panda/Internal/Types.purs

@@ -4,10 +4,7 @@ import Control.Alternative      ((<|>))
 import Control.Plus             (empty)
 import Data.Algebra.Array       as Algebra.Array
 import Data.Foldable            (foldl)
-import Data.Generic.Rep         (class Generic)
-import Data.Generic.Rep.Show    (genericShow)
 import Data.Maybe               (Maybe)
-import Data.String              as String
 import Effect                   (Effect)
 import FRP.Event                (Event) as FRP
 import Web.Event.Internal.Types (Event) as DOM
@@ -20,9 +17,20 @@ import Prelude
 -- | you have input/output/message/state wrong or mixed up.
 
 type Updater input output message state
-  = (output → Effect Unit)
-  → ((state → { input ∷ input, state ∷ state }) → Effect Unit)
-  → { message ∷ message, state ∷ state }
+  = ( output → Effect Unit )
+
+  → ( ( state
+      → { input ∷ Maybe input
+        , state ∷ state
+        }
+      )
+    → Effect Unit
+    )
+
+  → { message ∷ message
+    , state   ∷ state
+    }
+
   → Effect Unit
 
 -- | A component in Panda is a unit capable of running as an independent
@@ -187,6 +195,7 @@ derive instance eqProducer  ∷ Eq Producer
 
 -- | Convert a Producer to its html attribute name.
 
+producerToAttribute ∷ Producer → String
 producerToAttribute = case _ of
   OnBlur        → "blur"
   OnChange      → "change"

src/Panda/Property.purs

@@ -8,4 +8,4 @@ module Panda.Property
 -- | by proxy.
 
 import Panda.Builders.Properties as Builders
-import Panda.Internal.Types      (Producer(..), Property(..)) as ExportedTypes
+import Panda.Internal.Types      ( Producer(..), Property(..), ShouldUpdate(..)) as ExportedTypes

src/Panda/Render/Property.purs

@@ -3,7 +3,6 @@ module Panda.Render.Property where
 import Control.Plus              (empty)
 import Data.Foldable             (traverse_)
 import Data.Maybe                (Maybe(..))
-import Data.String               (drop, toLower)
 import Effect                    (Effect)
 import Effect.Ref                as Ref
 import FRP.Event                 (create, subscribe) as FRP