From 2894aa21bee1391601036cc84be67f07549fb8ec Mon Sep 17 00:00:00 2001 From: "Daniel P. Brice" Date: Mon, 26 Oct 2020 21:59:55 -0700 Subject: [PATCH] Update DOM.purs Reword docs for clarity. --- src/React/Basic/DOM.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/React/Basic/DOM.purs b/src/React/Basic/DOM.purs index 3088afb..a5209cc 100644 --- a/src/React/Basic/DOM.purs +++ b/src/React/Basic/DOM.purs @@ -2,8 +2,8 @@ -- | safely. -- | -- | __*Note:* DOM element props are provided as records, and checked using `Union` --- | constraints. This means that we don't need to provide all props, but any we --- | do provide must have the correct types.__ +-- | constraints. This allows callers to supply only a subset of the props, and the +-- | compiler will ensure that the provided props exist and have the correct types.__ module React.Basic.DOM ( module Internal , render