Update for Halogen 6

bower.json

@@ -1,9 +1,7 @@
 {
   "name": "purescript-halogen-select",
   "homepage": "https://github.com/citizennet/purescript-halogen-select",
-  "authors": [
-    "Thomas Honeyman <hello@thomashoneyman.com>"
-  ],
+  "authors": ["Thomas Honeyman <hello@thomashoneyman.com>"],
   "description": "Building blocks for common selection user interfaces in PureScript & Halogen",
   "keywords": [
     "purescript",
@@ -17,7 +15,7 @@
   ],
   "repository": {
     "type": "git",
-    "url": "git://github.com/citizennet/purescript-halogen-select.git"
+    "url": "https://github.com/citizennet/purescript-halogen-select.git"
   },
   "license": "Apache-2.0",
   "ignore": [
@@ -31,12 +29,12 @@
     "generated-docs"
   ],
   "dependencies": {
-    "purescript-halogen": "^5.0.0-rc.4",
-    "purescript-record": "^2.0.0"
+    "purescript-halogen": "^6.0.0",
+    "purescript-record": "^3.0.0"
   },
   "devDependencies": {
-    "purescript-debug": "^4.0.0",
-    "purescript-affjax": "^9.0.0",
-    "purescript-argonaut": "^6.0.0"
+    "purescript-debug": "^5.0.0",
+    "purescript-affjax": "^12.0.0",
+    "purescript-argonaut": "^8.0.0"
   }
 }

examples/Components/Dropdown.purs

@@ -31,7 +31,7 @@ type Input =
   , buttonLabel :: String
   }
 
-component :: H.Component HH.HTML S.Query' Input Message Aff
+component :: H.Component S.Query' Input Message Aff
 component = S.component input $ S.defaultSpec
   { render = render
   , handleEvent = handleEvent

examples/Components/Typeahead.purs

@@ -2,16 +2,16 @@ module Components.Typeahead where
 
 import Prelude
 
+import Affjax (printError)
 import Affjax as AX
 import Affjax.ResponseFormat as AR
 import Components.Dropdown as D
-import Data.Argonaut.Decode ((.:), decodeJson)
+import Data.Argonaut.Decode (decodeJson, printJsonDecodeError, (.:))
 import Data.Array (mapWithIndex, filter, (:), (!!), length, null, difference)
-import Data.Foldable (for_)
 import Data.Bifunctor (lmap)
+import Data.Foldable (for_)
 import Data.Maybe (Maybe(..), maybe)
 import Data.Monoid (guard)
-import Data.Symbol (SProxy(..))
 import Data.Time.Duration (Milliseconds(..))
 import Data.Traversable (traverse)
 import Effect.Aff (Aff)
@@ -23,6 +23,7 @@ import Internal.CSS (class_, classes_, whenElem)
 import Internal.RemoteData as RD
 import Select as S
 import Select.Setters as SS
+import Type.Proxy (Proxy(..))
 
 type Slot =
   S.Slot Query ChildSlots Message
@@ -46,7 +47,7 @@ data Message
 type ChildSlots =
   ( dropdown :: D.Slot Unit )
 
-component :: H.Component HH.HTML (S.Query Query ChildSlots) Unit Message Aff
+component :: H.Component (S.Query Query ChildSlots) Unit Message Aff
 component = S.component (const input) $ S.defaultSpec
   { render = render
   , handleAction = handleAction
@@ -148,7 +149,7 @@ component = S.component (const input) $ S.defaultSpec
       closeButton item =
         HH.span
           [ class_ "Location__closeButton"
-          , HE.onClick \_ -> Just $ S.Action $ Remove item
+          , HE.onClick \_ -> S.Action $ Remove item
           ]
           [ HH.text "×" ]
 
@@ -164,8 +165,8 @@ component = S.component (const input) $ S.defaultSpec
     renderDropdown = whenElem (st.visibility == S.On) \_ ->
       HH.slot _dropdown unit D.component dropdownInput handler
       where
-      _dropdown = SProxy :: SProxy "dropdown"
-      handler msg = Just $ S.Action $ HandleDropdown msg
+      _dropdown = Proxy :: Proxy "dropdown"
+      handler msg = S.Action $ HandleDropdown msg
       dropdownInput = { items: [ "Earth", "Mars" ], buttonLabel: "Human Planets" }
 
     renderContainer = whenElem (st.visibility == S.On) \_ ->
@@ -215,5 +216,8 @@ type Location =
 searchLocations :: String -> Aff (RD.RemoteData String (Array Location))
 searchLocations search = do
   res <- AX.get AR.json ("https://swapi.co/api/planets/?search=" <> search)
-  let body = lmap AR.printResponseFormatError res.body
-  pure $ RD.fromEither $ traverse decodeJson =<< (_ .: "results") =<< decodeJson =<< body
+  pure $ RD.fromEither $ traverse (lmap printJsonDecodeError <<< decodeJson)
+    =<< (lmap printJsonDecodeError <<< (_ .: "results"))
+    =<< (lmap printJsonDecodeError <<< decodeJson)
+    <<< _.body
+    =<< (lmap printError res)

examples/Internal/Proxy.purs

@@ -12,25 +12,26 @@ import Data.Const (Const(..))
 import Data.Coyoneda (Coyoneda, unCoyoneda)
 import Data.Maybe (Maybe(..))
 import Data.Newtype (un)
-import Data.Symbol (SProxy(..))
 import Halogen as H
 import Halogen.HTML as HH
+import Type.Proxy (Proxy(..))
 
+data ProxyS :: (Type -> Type) -> Type -> Type -> Type
 data ProxyS f i a
   = Query (Coyoneda f a)
 
 -- | A proxy that hides both the Query and Message of wrapped component.
 proxy
   :: forall f i o m
-   . H.Component HH.HTML f i o m
-  -> H.Component HH.HTML (ProxyS (Const Void) i) i Void m
+   . H.Component f i o m
+  -> H.Component (ProxyS (Const Void) i) i Void m
 proxy = proxyEval (const (absurd <<< un Const))
 
 proxyEval
   :: forall f g i o m
    . (forall a b. (b -> a) -> g b -> H.HalogenM i Void (child :: H.Slot f o Unit) Void m a)
-  -> H.Component HH.HTML f i o m
-  -> H.Component HH.HTML (ProxyS g i) i Void m
+  -> H.Component f i o m
+  -> H.Component (ProxyS g i) i Void m
 proxyEval evalQuery component = H.mkComponent
   { initialState: identity
   , render
@@ -38,7 +39,7 @@ proxyEval evalQuery component = H.mkComponent
   }
   where
   render :: i -> H.ComponentHTML Void (child :: H.Slot f o Unit) m
-  render i = HH.slot (SProxy :: SProxy "child") unit component i (const Nothing)
+  render i = HH.slot_ (Proxy :: Proxy "child") unit component i
 
   handleQuery :: forall a. ProxyS g i a -> H.HalogenM i Void (child :: H.Slot f o Unit) Void m (Maybe a)
   handleQuery (Query iq) = Just <$> unCoyoneda evalQuery iq

examples/Main.purs

@@ -2,15 +2,14 @@ module Main where
 
 import Prelude
 
+import Components.Dropdown as Dropdown
+import Components.Typeahead as Typeahead
 import Data.Array (zipWith)
 import Data.Const (Const)
 import Data.Map as M
 import Data.Maybe (Maybe(..), fromMaybe)
-import Data.Symbol (SProxy(..))
 import Data.Traversable (for_, sequence, traverse)
 import Data.Tuple (Tuple(..))
-import Components.Typeahead as Typeahead
-import Components.Dropdown as Dropdown
 import Effect (Effect)
 import Effect.Aff (Aff)
 import Effect.Class (liftEffect)
@@ -19,6 +18,7 @@ import Halogen.Aff as HA
 import Halogen.HTML as HH
 import Halogen.VDom.Driver (runUI)
 import Internal.Proxy (ProxyS, proxy)
+import Type.Proxy (Proxy(..))
 import Web.DOM.Element (getAttribute)
 import Web.DOM.NodeList (toArray)
 import Web.DOM.ParentNode (QuerySelector(..), querySelectorAll)
@@ -42,7 +42,7 @@ main = HA.runHalogenAff do
 -- Routes
 
 type Components
-  = M.Map String (H.Component HH.HTML (ProxyS (Const Void) Unit) Unit Void Aff)
+  = M.Map String (H.Component (ProxyS (Const Void) Unit) Unit Void Aff)
 
 routes :: Components
 routes = M.fromFoldable
@@ -50,7 +50,7 @@ routes = M.fromFoldable
   , Tuple "dropdown" $ proxy dropdown
   ]
 
-app :: H.Component HH.HTML (Const Void) String Void Aff
+app :: H.Component (Const Void) String Void Aff
 app = H.mkComponent
   { initialState: identity
   , render
@@ -59,7 +59,7 @@ app = H.mkComponent
   where
   render st = M.lookup st routes # case _ of
     Nothing -> HH.div_ []
-    Just component -> HH.slot (SProxy :: SProxy "child") unit component unit absurd
+    Just component -> HH.slot (Proxy :: Proxy "child") unit component unit absurd
 
 ----------
 -- Selection Helpers
@@ -83,7 +83,7 @@ selectElements { query, attr } = do
 ----------
 -- Components
 
-dropdown :: forall t0 t1 t2. H.Component HH.HTML t0 t1 t2 Aff
+dropdown :: forall t0 t1 t2. H.Component t0 t1 t2 Aff
 dropdown = H.mkComponent
   { initialState: const unit
   , render: \_ ->
@@ -91,10 +91,10 @@ dropdown = H.mkComponent
   , eval: H.mkEval H.defaultEval
   }
   where
-  label = SProxy :: SProxy "dropdown"
+  label = Proxy :: Proxy "dropdown"
   input = { items: [ "Chris", "Forest", "Dave" ], buttonLabel: "Choose a character" }
 
-typeahead :: forall t0 t1 t2. H.Component HH.HTML t0 t1 t2 Aff
+typeahead :: forall t0 t1 t2. H.Component t0 t1 t2 Aff
 typeahead = H.mkComponent
   { initialState: const unit
   , render: \_ ->
@@ -102,4 +102,4 @@ typeahead = H.mkComponent
   , eval: H.mkEval H.defaultEval
   }
   where
-  label = SProxy :: SProxy "typeahead"
+  label = Proxy :: Proxy "typeahead"

package.json

@@ -9,9 +9,8 @@
     "postinstall": "bower i --silent"
   },
   "devDependencies": {
-    "bower": "^1.8.8",
-    "npm-check-updates": "^3.1.0",
-    "pulp": "12.3.1",
-    "purescript": "0.12.3"
+    "bower": "^1.8.12",
+    "pulp": "15.0.0",
+    "purescript": "0.14.0"
   }
 }

src/Select.purs

@@ -116,7 +116,7 @@ type Input st =
   }
 
 type Component query slots input msg m =
-  H.Component HH.HTML (Query query slots) input msg m
+  H.Component (Query query slots) input msg m
 
 type ComponentHTML action slots m =
   H.ComponentHTML (Action action) slots m
@@ -184,7 +184,7 @@ component
   => Row.Lacks "highlightedIndex" st
   => (input -> Input st)
   -> Spec st query action slots input msg m
-  -> H.Component HH.HTML (Query query slots) input msg m
+  -> H.Component (Query query slots) input msg m
 component mkInput spec = H.mkComponent
   { initialState: initialState <<< mkInput
   , render: spec.render

src/Select/Setters.purs

@@ -4,7 +4,7 @@
 -- | below.
 module Select.Setters where
 
-import Prelude (append, ($), (<<<))
+import Prelude (append)
 
 import Data.Maybe (Maybe(..))
 import Halogen as H
@@ -41,10 +41,10 @@ setToggleProps
    . Array (HP.IProp (ToggleProps props) (Action act))
   -> Array (HP.IProp (ToggleProps props) (Action act))
 setToggleProps = append
-  [ HE.onFocus \_ -> Just $ SetVisibility On
-  , HE.onMouseDown $ Just <<< ToggleClick
-  , HE.onKeyDown $ Just <<< Key
-  , HE.onBlur \_ -> Just $ SetVisibility Off
+  [ HE.onFocus \_ -> SetVisibility On
+  , HE.onMouseDown ToggleClick
+  , HE.onKeyDown Key
+  , HE.onBlur \_ -> SetVisibility Off
   , HP.tabIndex 0
   , HP.ref (H.RefLabel "select-input")
   ]
@@ -75,11 +75,11 @@ setInputProps
    . Array (HP.IProp (InputProps props) (Action act))
   -> Array (HP.IProp (InputProps props) (Action act))
 setInputProps = append
-  [ HE.onFocus \_ -> Just $ SetVisibility On
-  , HE.onKeyDown $ Just <<< Key
-  , HE.onValueInput $ Just <<< Search
-  , HE.onMouseDown \_ -> Just $ SetVisibility On
-  , HE.onBlur \_ -> Just $ SetVisibility Off
+  [ HE.onFocus \_ -> SetVisibility On
+  , HE.onKeyDown Key
+  , HE.onValueInput Search
+  , HE.onMouseDown \_ -> SetVisibility On
+  , HE.onBlur \_ -> SetVisibility Off
   , HP.tabIndex 0
   , HP.ref (H.RefLabel "select-input")
   ]
@@ -111,8 +111,8 @@ setItemProps
   -> Array (HP.IProp (ItemProps props) (Action act))
   -> Array (HP.IProp (ItemProps props) (Action act))
 setItemProps index = append
-  [ HE.onMouseDown \ev -> Just (Select (Index index) (Just ev))
-  , HE.onMouseOver \_ -> Just $ Highlight (Index index)
+  [ HE.onMouseDown \ev -> Select (Index index) (Just ev)
+  , HE.onMouseOver \_ -> Highlight (Index index)
   ]
 
 -- | A helper function that augments an array of `IProps` with a `MouseDown`
@@ -124,4 +124,4 @@ setContainerProps
    . Array (HP.IProp (onMouseDown :: ME.MouseEvent | props) (Action act))
   -> Array (HP.IProp (onMouseDown :: ME.MouseEvent | props) (Action act))
 setContainerProps = append
-  [ HE.onMouseDown $ Just <<< PreventClick ]
+  [ HE.onMouseDown PreventClick ]

template/ComponentTemplateCommented.purs

@@ -1,122 +0,0 @@
-module Template.Select.Commented where
-
-import Prelude
-
-import Data.Array (index, length, mapWithIndex)
-import Data.Maybe (Maybe(..), fromMaybe)
-import Effect.Aff (Aff)
-import Halogen (ClassName(..))
-import Halogen as H
-import Halogen.HTML as HH
-import Halogen.HTML.Properties as HP
-import Select as S
-import Select.Setters as SS
-
-type Input = Unit
-
-type AddedState =
-  ( buttonLabel :: String
-  , selection :: Maybe String
-  , items :: Array String
-  )
-
-data Action
-  = DoStuff
-  | Initialize
-  | Finalize
-  | Receive Input
-
-data Query a
-  = Reply (Unit -> a)
-  | Command a
-
-type Message = Void
-type ChildSlots = ()
-type Monad = Aff
-type SelfSlot index = S.Slot Query ChildSlots Message index
-
-component :: S.Component Query ChildSlots Input Message Monad
-component = S.component mkInput $ S.defaultSpec
-  { render = render
-  , handleAction = handleAction
-  , handleQuery = handleQuery
-  , handleEvent = handleEvent
-  , receive = Just <<< Receive
-  , initialize = Just Initialize
-  , finalize = Just Finalize
-  }
-  where
-    mkInput :: Input -> S.Input AddedState
-    mkInput _ =
-      { inputType: S.Toggle
-      , search: Nothing
-      , debounceTime: Nothing
-      , getItemCount: \state -> length state.items
-
-      -- labels from AddedState
-      , buttonLabel: "-- Select --"
-      , selection: Nothing
-      , items: [ "1", "2", "3" ]
-      }
-
-    render :: S.State AddedState -> S.ComponentHTML Action ChildSlots Monad
-    render state =
-      HH.div
-        [ HP.class_ $ ClassName "Dropdown" ]
-        [ renderToggle, renderContainer ]
-      where
-      renderToggle =
-        HH.button
-          ( SS.setToggleProps [ HP.class_ $ ClassName "Dropdown__toggle" ] )
-          [ HH.text (fromMaybe state.buttonLabel state.selection) ]
-
-      renderContainer =
-        if (state.visibility == S.Off)
-          then
-            HH.text ""
-          else
-            HH.div
-              ( SS.setContainerProps [ HP.class_ $ ClassName "Dropdown__container" ] )
-              ( mapWithIndex renderItem state.items )
-
-      renderItem index item =
-        HH.div
-          ( SS.setItemProps index
-              [ HP.classes $ ClassName <$>
-                  [ "Dropdown__item"
-                  , if (state.highlightedIndex /= Just index)
-                      then ""
-                      else "Dropdown__item--highlighted"
-                  ]
-              ]
-          )
-          [ HH.text item ]
-
-    handleAction :: Action -> S.HalogenM AddedState Action ChildSlots Message Monad Unit
-    handleAction = case _ of
-      DoStuff -> do
-        pure unit
-      Initialize -> do
-        pure unit
-      Finalize -> do
-        pure unit
-      Receive input -> do
-        pure unit
-
-    handleQuery :: forall a. Query a -> S.HalogenM AddedState Action ChildSlots Message Monad (Maybe a)
-    handleQuery = case _ of
-      Reply reply -> do
-        pure $ Just $ reply unit
-      Command next -> do
-        pure $ Just next
-
-    handleEvent :: S.Event -> S.HalogenM AddedState Action ChildSlots Message Monad Unit
-    handleEvent = case _ of
-      S.Searched str -> do
-        pure unit
-      S.Selected idx -> do
-        H.modify_ \s -> s { selection = index s.items idx }
-      S.VisibilityChanged S.Off -> do
-        pure unit
-      S.VisibilityChanged S.On -> do
-        pure unit