feat: props -> move checkers to separate module

Author: srghma

src/Halogen/VDom/DOM/Prop/Checkers.purs

@@ -0,0 +1,34 @@
+module Halogen.VDom.DOM.Prop.Checkers where
+
+import Halogen.VDom.DOM.Prop.Types (PropValue)
+import Halogen.VDom.DOM.Prop.Utils (unsafeGetProperty)
+import Prelude (Unit, bind, pure, unit, ($), (<#>), (<>), (==))
+
+import Data.Function.Uncurried as Fn
+import Data.Maybe (Maybe(..))
+import Data.Nullable (toMaybe, toNullable)
+import Effect (Effect)
+import Effect.Uncurried as EFn
+import Halogen.VDom.Types (ElemName(..), Namespace)
+import Halogen.VDom.Util (anyToString, fullAttributeName, quote)
+import Halogen.VDom.Util as Util
+import Web.DOM.Element (Element) as DOM
+import Effect.Exception (error, throwException)
+
+checkAttributeExistsAndIsEqual ∷ Maybe Namespace → String → String → DOM.Element → Effect Unit
+checkAttributeExistsAndIsEqual maybeNamespace attributeName expectedElementValue element = do
+  elementValue ← (EFn.runEffectFn3 Util.getAttribute (toNullable maybeNamespace) attributeName element) <#> toMaybe
+  case elementValue of
+    Nothing → throwException $ error $ "Expected element to have an attribute " <> quote (fullAttributeName maybeNamespace (ElemName attributeName)) <> " eq to " <> quote expectedElementValue <> ", but it is missing"
+    Just elementValue' →
+      if elementValue' == expectedElementValue
+        then pure unit
+        else throwException $ error $ "Expected element to have an attribute " <> quote (fullAttributeName maybeNamespace (ElemName attributeName)) <> " eq to " <> quote expectedElementValue <> ", but it was equal to " <> quote elementValue'
+
+checkPropExistsAndIsEqual ∷ String → PropValue → DOM.Element → Effect Unit
+checkPropExistsAndIsEqual propName expectedPropValue el = do
+  let propValue = Fn.runFn2 unsafeGetProperty propName el
+  if Fn.runFn2 Util.refEq propValue expectedPropValue
+    then pure unit
+    else do
+      throwException $ error $ "Expected element to have a prop " <> quote propName <> " eq to " <> quote (anyToString expectedPropValue) <> ", but it was equal to " <> quote (anyToString propValue)

src/Halogen/VDom/DOM/Prop/Implementation.purs

@@ -1,45 +1,27 @@
 module Halogen.VDom.DOM.Prop.Implementation where
 
-import Halogen.VDom.DOM.Prop.Types (ElemRef(..), EmitterInputBuilder, EventListenerAndCurrentEmitterInputBuilder, Prop(..), PropValue)
+import Halogen.VDom.DOM.Prop.Types (ElemRef(..), EmitterInputBuilder, EventListenerAndCurrentEmitterInputBuilder, Prop(..))
+import Halogen.VDom.DOM.Prop.Checkers (checkAttributeExistsAndIsEqual, checkPropExistsAndIsEqual)
 import Halogen.VDom.DOM.Prop.Utils (removeProperty, setProperty, unsafeGetProperty)
-import Prelude (Unit, bind, discard, pure, unit, ($), (<#>), (<>), (==))
+import Prelude (Unit, bind, discard, pure, unit, (==))
 
 import Data.Function.Uncurried as Fn
 import Data.Maybe (Maybe(..))
-import Data.Nullable (toMaybe, toNullable)
+import Data.Nullable (toNullable)
 import Data.Tuple (Tuple(..), fst, snd)
 import Effect (Effect)
 import Effect.Ref as Ref
 import Effect.Uncurried as EFn
 import Foreign.Object as Object
-import Halogen.VDom.Types (ElemName(..), Namespace)
-import Halogen.VDom.Util (STObject', anyToString, fullAttributeName, quote)
+import Halogen.VDom.Types (ElemName(..))
+import Halogen.VDom.Util (STObject', fullAttributeName)
 import Halogen.VDom.Util as Util
 import Web.DOM.Element (Element) as DOM
 import Web.Event.Event (EventType(..), Event) as DOM
 import Web.Event.EventTarget (eventListener, EventListener) as DOM
 import Data.String.Common (toLower)
-import Effect.Exception (error, throwException)
 import Halogen.VDom.Set as Set
 
-checkAttributeExistsAndIsEqual ∷ Maybe Namespace → String → String → DOM.Element → Effect Unit
-checkAttributeExistsAndIsEqual maybeNamespace attributeName expectedElementValue element = do
-  elementValue ← (EFn.runEffectFn3 Util.getAttribute (toNullable maybeNamespace) attributeName element) <#> toMaybe
-  case elementValue of
-    Nothing → throwException $ error $ "Expected element to have an attribute " <> quote (fullAttributeName maybeNamespace (ElemName attributeName)) <> " eq to " <> quote expectedElementValue <> ", but it is missing"
-    Just elementValue' →
-      if elementValue' == expectedElementValue
-        then pure unit
-        else throwException $ error $ "Expected element to have an attribute " <> quote (fullAttributeName maybeNamespace (ElemName attributeName)) <> " eq to " <> quote expectedElementValue <> ", but it was equal to " <> quote elementValue'
-
-checkPropExistsAndIsEqual ∷ String → PropValue → DOM.Element → Effect Unit
-checkPropExistsAndIsEqual propName expectedPropValue el = do
-  let propValue = Fn.runFn2 unsafeGetProperty propName el
-  if Fn.runFn2 Util.refEq propValue expectedPropValue
-    then pure unit
-    else do
-      throwException $ error $ "Expected element to have a prop " <> quote propName <> " eq to " <> quote (anyToString expectedPropValue) <> ", but it was equal to " <> quote (anyToString propValue)
-
 hydrateApplyProp
   ∷ ∀ a
   . Fn.Fn4