git.iko.soy/reflex
on develop help sign in
Merge pull request #259 from reflex-frp/aa-forRequesterData
54dc2daLuigy Leon
src/Reflex/Requester/Base.hs+5
compare with develop
unifiedsplit
@@ -27,6 +27,7 @@ module Reflex.Requester.Base
27 , RequesterData
27 , RequesterData
28 , RequesterDataKey
28 , RequesterDataKey
29 , traverseRequesterData
29 , traverseRequesterData
30+ , forRequesterData
30 , requesterDataToList
31 , requesterDataToList
31 , singletonRequesterData
32 , singletonRequesterData
32 ) where
33 ) where
@@ -130,6 +131,10 @@ traverseRequesterData f (RequesterData m) = RequesterData <$> traverseTagMapWith
130 MyTagType_Multi2 -> traverse (traverse (traverseRequesterData f)) request
131 MyTagType_Multi2 -> traverse (traverse (traverseRequesterData f)) request
131 MyTagType_Multi3 -> traverse (traverse (traverseRequesterData f)) request
132 MyTagType_Multi3 -> traverse (traverse (traverseRequesterData f)) request
132
133
134+-- | 'traverseRequesterData' with its arguments flipped
135+forRequesterData :: forall request response m. Applicative m => RequesterData request -> (forall a. request a -> m (response a)) -> m (RequesterData response)
136+forRequesterData r f = traverseRequesterData f r
137+
133data MyTagType :: * -> * where
138data MyTagType :: * -> * where
134 MyTagType_Single :: MyTagType (Single a)
139 MyTagType_Single :: MyTagType (Single a)
135 MyTagType_Multi :: MyTagType Multi
140 MyTagType_Multi :: MyTagType Multi