Skip to content

Instantly share code, notes, and snippets.

@Woody88

Woody88/DynamicWriterExamples.hs

Created March 26, 2018 14:45
Show Gist options
  • Save Woody88/0322f035c821d77a621ae581d16b3b36 to your computer and use it in GitHub Desktop.
Save Woody88/0322f035c821d77a621ae581d16b3b36 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
DynamicWriterExamples.hs
traverseIntMapWithKeyWithAdjustImpl :: forall t w v' p p' v m. (PatchTarget (p' (Dynamic t w)) ~ IntMap (Dynamic t w), PatchTarget (p' w) ~ IntMap w, Patch (p' w), Patch (p' (Dynamic t w)), MonadFix m, Monoid w, Reflex t, MonadHold t m, Functor p, p ~ p')
=> ( (IntMap.Key -> v -> m ((v', Dynamic t w)))
-> IntMap v
-> Event t (p v)
-> m (IntMap (v', Dynamic t w), Event t (p (v', Dynamic t w)))
)
-> (Incremental t (p' (Dynamic t w)) -> Incremental t (p' w))
-> (IntMap.Key -> v -> DynamicWriterT t w m v')
-> IntMap v
-> Event t (p v)
-> DynamicWriterT t w m (IntMap v', Event t (p v')) --- This where the function type signature end!!!
traverseIntMapWithKeyWithAdjustImpl base mergeMyDynIncremental f (dm0 :: IntMap v) dm' = ....
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment