Update for 0.12

Author: MonoidMusician

bower.json

@@ -11,15 +11,14 @@
   ],
   "license": "MIT",
   "dependencies": {
-    "purescript-prelude": "^3.0.0",
-    "purescript-newtype": "^2.0.0",
-    "purescript-profunctor-lenses": "^3.2.0",
-    "purescript-dom": "^4.3.1",
-    "purescript-symbols": "^3.0.0"
+    "purescript-prelude": "^4.0.0",
+    "purescript-newtype": "^3.0.0",
+    "purescript-profunctor-lenses": "^4.0.0",
+    "purescript-web-uievents": "^1.0.0"
   },
   "devDependencies": {
-    "purescript-psci-support": "^3.0.0",
-    "purescript-quickcheck": "^4.4.0"
+    "purescript-psci-support": "^4.0.0",
+    "purescript-quickcheck": "^5.0.0"
   },
   "ignore": [
     "**/.*",

src/DOM/Util/TextCursor/Element/Type.purs

@@ -1,4 +1,4 @@
-module DOM.Util.TextCursor
+module Web.Util.TextCursor
   ( TextCursor(..), Direction(..)
   , mkTextCursor, genTextCursor
   , content, length, null, empty, single
@@ -19,7 +19,6 @@ import Data.Lens (Lens', Traversal', over, wander, (.~), (^.))
 import Data.Lens.Iso.Newtype (_Newtype)
 import Data.Lens.Record (prop)
 import Data.Lens.Types (Setter')
-import Data.Monoid (class Monoid)
 import Data.Newtype (class Newtype)
 import Data.String (length, null) as S
 import Data.String.Gen (genUnicodeString)
@@ -32,7 +31,7 @@ derive instance eqDirection :: Eq Direction
 derive instance ordDirection :: Ord Direction
 
 instance semigroupDirection :: Semigroup Direction where
-  append None = id
+  append None = identity
   append c = const c
 instance monoidDirection :: Monoid Direction where
   mempty = None

src/DOM/Util/TextCursor.purs renamed to src/Web/Util/TextCursor.purs

@@ -1,54 +1,43 @@
-module DOM.Util.TextCursor.Element
-  ( module DOM.Util.TextCursor.Element.Type
-  , module DOM.Util.TextCursor.Element.HTML
+module Web.Util.TextCursor.Element
+  ( module Web.Util.TextCursor.Element.Type
+  , module Web.Util.TextCursor.Element.HTML
   , textCursor, setTextCursor
   , modifyTextCursor, modifyTextCursorST
   , focusTextCursor, focusTextCursorById
   ) where
 
 import Prelude
-import Data.Maybe (Maybe(Just))
 import Data.String (length, splitAt)
 import Data.Lens (Lens', (.~))
-import Control.Monad.Eff (Eff)
-import Control.Monad.Eff.Class (class MonadEff, liftEff)
+import Effect (Effect)
+import Effect.Class (class MonadEffect, liftEffect)
 import Control.Monad.State.Class (class MonadState, modify)
-import DOM (DOM)
-import DOM.Node.Types (ElementId)
-import DOM.HTML.HTMLElement (focus)
-import DOM.Util.TextCursor (TextCursor(..), content)
-import DOM.Util.TextCursor.Element.Type
+import Web.HTML.HTMLElement (focus)
+import Web.Util.TextCursor (TextCursor(..), content)
+import Web.Util.TextCursor.Element.Type
   ( TextCursorElement(..)
-  , htmlTextCursorElementToHTMLElement
+  , toHTMLElement
   , read, readEventTarget
   , validate, validate'
   , lookupAndValidate
   , lookupValidateAndDo
   )
-import DOM.Util.TextCursor.Element.HTML
+import Web.Util.TextCursor.Element.HTML
   ( value, setValue
   , selectionStart, setSelectionStart
   , selectionEnd, setSelectionEnd
   , selectionDirection, setSelectionDirection
   )
 
--- | Helper to split a `String` at a specific position without worrying about
--- | `Nothing`.
-splitAtRec :: Int -> String -> { before :: String, after :: String }
-splitAtRec i s = case splitAt i s of
-  Just split  -> split
-  _ | i > 0   -> { before: s, after: "" }
-    | otherwise -> { before: "", after: s }
-
 -- | Get the `TextCursor` from a `TextCursorElement`.
-textCursor :: forall eff. TextCursorElement -> Eff ( dom :: DOM | eff ) TextCursor
+textCursor :: TextCursorElement -> Effect TextCursor
 textCursor element = do
   val <- value element
   start <- selectionStart element
   end <- selectionEnd element
   direction <- selectionDirection element
-  let { before: prior, after } = splitAtRec end val
-  let { before, after: selected } = splitAtRec start prior
+  let { before: prior, after } = splitAt end val
+  let { before, after: selected } = splitAt start prior
   pure $ TextCursor
     { before
     , selected
@@ -59,7 +48,7 @@ textCursor element = do
 -- | Set the `TextCursor` on a `TextCursorElement`. Calls `setValue`,
 -- | `setSelectionStart`, `setSelectionEnd`, and `setSelectionDirection` to
 -- | ensure a consistent state for the field.
-setTextCursor :: forall eff. TextCursor -> TextCursorElement -> Eff ( dom :: DOM | eff ) Unit
+setTextCursor :: TextCursor -> TextCursorElement -> Effect Unit
 setTextCursor (tc@TextCursor { before, selected, after, direction }) element = do
   setValue (content tc) element
   let start = length before
@@ -69,31 +58,39 @@ setTextCursor (tc@TextCursor { before, selected, after, direction }) element = d
   setSelectionDirection direction element
 
 -- | Modifies the `TextCursor` on an element through the given endomorphism.
-modifyTextCursor :: forall eff. (TextCursor -> TextCursor) -> TextCursorElement -> Eff ( dom :: DOM | eff ) Unit
+modifyTextCursor :: (TextCursor -> TextCursor) -> TextCursorElement -> Effect Unit
 modifyTextCursor f element = do
   tc <- f <$> textCursor element
   setTextCursor tc element
 
 -- | Modifies the `TextCursor` on an element as well as setting the result in a
 -- | State+Eff monad via a lens. Useful for components processing input events!
-modifyTextCursorST :: forall eff m s.
+modifyTextCursorST :: forall m s.
   MonadState s m =>
-  MonadEff ( dom :: DOM | eff ) m =>
+  MonadEffect m =>
   Lens' s TextCursor ->
   (TextCursor -> TextCursor) ->
-  TextCursorElement -> m Unit
+  TextCursorElement -> m s
 modifyTextCursorST l f element = do
-  tc <- liftEff $ f <$> textCursor element
-  liftEff $ setTextCursor tc element
+  tc <- liftEffect $ f <$> textCursor element
+  liftEffect $ setTextCursor tc element
   modify $ l .~ tc
 
+modifyTextCursorST_ :: forall m s.
+  MonadState s m =>
+  MonadEffect m =>
+  Lens' s TextCursor ->
+  (TextCursor -> TextCursor) ->
+  TextCursorElement -> m Unit
+modifyTextCursorST_ l f element = void $ modifyTextCursorST l f element
+
 -- | Focuses an element after setting the `TextCursor`.
-focusTextCursor :: forall eff. TextCursor -> TextCursorElement -> Eff ( dom :: DOM | eff ) Unit
+focusTextCursor :: TextCursor -> TextCursorElement -> Effect Unit
 focusTextCursor tc element = do
   setTextCursor tc element
-  focus (htmlTextCursorElementToHTMLElement element)
+  focus (toHTMLElement element)
 
 -- | Looks up an element by id to focus with a `TextCursor`.
-focusTextCursorById :: forall eff. ElementId -> TextCursor -> Eff ( dom :: DOM | eff ) Unit
+focusTextCursorById :: String -> TextCursor -> Effect Unit
 focusTextCursorById name tc = do
   lookupValidateAndDo name (focusTextCursor tc)

src/DOM/Util/TextCursor/Element.purs renamed to src/Web/Util/TextCursor/Element.purs

@@ -1,4 +1,4 @@
-module DOM.Util.TextCursor.Element.HTML
+module Web.Util.TextCursor.Element.HTML
   ( value, setValue
   , selectionStart, setSelectionStart
   , selectionEnd, setSelectionEnd
@@ -7,18 +7,15 @@ module DOM.Util.TextCursor.Element.HTML
 
 import Prelude
 
-import Control.Monad.Eff (Eff)
-import DOM (DOM)
-import DOM.HTML.HTMLInputElement as HInput
-import DOM.HTML.HTMLTextAreaElement as HTextArea
-import DOM.HTML.Types (HTMLInputElement, HTMLTextAreaElement)
-import DOM.Util.TextCursor (Direction(..))
-import DOM.Util.TextCursor.Element.Type (TextCursorElement(TextArea, Input))
+import Effect (Effect)
+import Web.HTML.HTMLInputElement as HInput
+import Web.HTML.HTMLTextAreaElement as HTextArea
+import Web.HTML (HTMLInputElement, HTMLTextAreaElement)
+import Web.Util.TextCursor (Direction(..))
+import Web.Util.TextCursor.Element.Type (TextCursorElement(TextArea, Input))
 
-type Getter a =
-  forall eff. TextCursorElement -> Eff ( dom :: DOM | eff ) a
-type Setter a =
-  forall eff. a -> TextCursorElement -> Eff ( dom :: DOM | eff ) Unit
+type Getter a = TextCursorElement -> Effect a
+type Setter a = a -> TextCursorElement -> Effect Unit
 
 -- | Lift a pair of getters (Input/TextArea).
 getter ::