on develop help sign in
Merge pull request #259 from reflex-frp/aa-forRequesterData

Add forRequesterData

commit54dc2da01450fa376fbc8a6e48be6fe67dac9834 authorLuigy Leon <luichi.19@gmail.com> dateTue 22 Jan 2019, 15:21 (8 years ago) parent29ed3c12a98c1f
1 file changed+5
src/Reflex/Requester/Base.hs+5
src/Reflex/Requester/Base.hs+5
@@ -27,6 +27,7 @@ module Reflex.Requester.Base
2727 , RequesterData
2828 , RequesterDataKey
2929 , traverseRequesterData
30+ , forRequesterData
3031 , requesterDataToList
3132 , singletonRequesterData
3233 ) where
@@ -130,6 +131,10 @@ traverseRequesterData f (RequesterData m) = RequesterData <$> traverseTagMapWith
130131 MyTagType_Multi2 -> traverse (traverse (traverseRequesterData f)) request
131132 MyTagType_Multi3 -> traverse (traverse (traverseRequesterData f)) request
132133
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+
133138data MyTagType :: * -> * where
134139 MyTagType_Single :: MyTagType (Single a)
135140 MyTagType_Multi :: MyTagType Multi