From 9306ebd6d0d7f1e2f416eaacba915f2f54c8e8f5 Mon Sep 17 00:00:00 2001 From: Mark Eibes Date: Wed, 20 Apr 2022 11:33:33 +0200 Subject: [PATCH 1/2] Drop deprecated use of `RLProxy` --- src/React/Basic/Events.purs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/React/Basic/Events.purs b/src/React/Basic/Events.purs index 565e14c..40c5fea 100644 --- a/src/React/Basic/Events.purs +++ b/src/React/Basic/Events.purs @@ -18,7 +18,7 @@ import Effect.Uncurried (EffectFn1, mkEffectFn1) import Prim.Row as Row import Prim.RowList (class RowToList, RowList, Cons, Nil) import Record (delete, get, insert) -import Type.Data.RowList (RLProxy(..)) +import Type.Proxy (Proxy(..)) -- | An event handler, which receives a `SyntheticEvent` and performs some -- | effects in return. @@ -80,7 +80,7 @@ syntheticEvent :: EventFn SyntheticEvent SyntheticEvent syntheticEvent = identity class Merge (rl :: RowList Type) fns a r | rl -> fns, rl a -> r where - mergeImpl :: RLProxy rl -> Record fns -> EventFn a (Record r) + mergeImpl :: Proxy rl -> Record fns -> EventFn a (Record r) instance mergeNil :: Merge Nil () a () where mergeImpl _ _ = EventFn \_ -> {} @@ -97,7 +97,7 @@ instance mergeCons :: mergeImpl _ fns = EventFn \a -> let - EventFn inner = mergeImpl (RLProxy :: RLProxy rest) (delete l fns) + EventFn inner = mergeImpl (Proxy :: Proxy rest) (delete l fns) EventFn f = get l fns in @@ -120,4 +120,4 @@ merge :: Merge fns_list fns a r => Record fns -> EventFn a (Record r) -merge = mergeImpl (RLProxy :: RLProxy fns_list) +merge = mergeImpl (Proxy :: Proxy fns_list) From d532bc6bddd3f13f540c7af86fd09c2bd58130ba Mon Sep 17 00:00:00 2001 From: Mark Eibes Date: Wed, 20 Apr 2022 11:35:16 +0200 Subject: [PATCH 2/2] Also drop `SProxy` --- src/React/Basic/Events.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/React/Basic/Events.purs b/src/React/Basic/Events.purs index 40c5fea..115c134 100644 --- a/src/React/Basic/Events.purs +++ b/src/React/Basic/Events.purs @@ -12,7 +12,7 @@ module React.Basic.Events ) where import Prelude -import Data.Symbol (class IsSymbol, SProxy(SProxy)) +import Data.Symbol (class IsSymbol) import Effect (Effect) import Effect.Uncurried (EffectFn1, mkEffectFn1) import Prim.Row as Row @@ -103,7 +103,7 @@ instance mergeCons :: in insert l (f a) (inner a) where - l = SProxy :: SProxy l + l = Proxy :: Proxy l -- | Merge multiple `EventFn` operations and collect their results. -- |