From 412ffa9b663b12a709cd16acc5972eec5531d074 Mon Sep 17 00:00:00 2001 From: Thomas Honeyman Date: Sat, 10 Oct 2026 15:48:17 +0000 Subject: [PATCH] Return Int for scrollWidth and scrollHeight --- CHANGELOG.md | 1 + src/Web/DOM/Element.purs | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5f635e5..885be61 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,7 @@ Notable changes to this project are documented in this file. The format is based ## [Unreleased] Breaking changes: +- The `scrollWidth` and `scrollHeight` functions return `Int` instead of `Number`. (#55) - The `id` function returns an `ElementId` instead of a `String`. (#58 by @nsaunders) - The `setId` function is parameterized by `ElementId` instead of `String`. (#58 by @nsaunders) - The `getElementById` function is parameterized by `ElementId` instead of `String`. (#58 by @nsaunders) diff --git a/src/Web/DOM/Element.purs b/src/Web/DOM/Element.purs index f8ee67c..2f33ecc 100644 --- a/src/Web/DOM/Element.purs +++ b/src/Web/DOM/Element.purs @@ -153,8 +153,8 @@ foreign import setScrollTop :: Number -> Element -> Effect Unit foreign import scrollLeft :: Element -> Effect Number foreign import setScrollLeft :: Number -> Element -> Effect Unit -foreign import scrollWidth :: Element -> Effect Number -foreign import scrollHeight :: Element -> Effect Number +foreign import scrollWidth :: Element -> Effect Int +foreign import scrollHeight :: Element -> Effect Int foreign import clientTop :: Element -> Effect Number foreign import clientLeft :: Element -> Effect Number foreign import clientWidth :: Element -> Effect Number