on develop help sign in
Add forRequesterData
commit2a98c1f9d9e016392912db5de1bce115c41113cd authorAli Abrar <aliabrar@gmail.com> dateTue 22 Jan 2019, 14:01 (8 years ago) parent29ed3c1
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