git.iko.soy/patch
on develop help sign in
Merge branch 'develop' into phadej-haskell-ci
commit4638a6f27ffb2c72020cd686813326a3f4d0555a authorOliver Batchelor <saulzar@gmail.com> dateThu 8 Aug 2019, 10:11 (7 years ago) parent88d12d9eeeae5f
3 files changed+12−3
compare with develop
unifiedsplit
ChangeLog.md+9−2 default.nix+1 src/Reflex/Pure.hs+2−1
ChangeLog.md+9−2
@@ -9,14 +9,21 @@
99## 0.6.2.1
1010
1111* Generalize `fan` to `fanG` to take a `DMap` with non-`Identity`
12− values.
12+ functor:
13+ * `fan` to `fanG`
14+ * `EventSelectorG` for `fanG` result selector.
15+
16+* Reduce the amount of unsafeCoerce in coercing newtypes under Event/Dynamic/Behavior.
17+ * Add fused ReaderIO for the purpose of coercion (ReaderT's third argument has nominal role preventing automated coerce)
18+ * Add incrementalCoercion/coerceIncremental to go with dynamicCoercion/coerceDynamic
1319
1420* Generalize merging functions:
1521 `merge` to `mergeG`,
1622 `mergeIncremental` to `mergeIncrementalG`,
17− `distributeDMapOverDynPure` to `distributeDMapOverDynPureG`,
1823 `mergeIncrementalWithMove` to `mergeIncrementalWithMoveG`.
1924
25+* Generalize distribute function:
26+ `distributeDMapOverDynPure` to `distributeDMapOverDynPureG`,
2027
2128## 0.6.2.0
2229
default.nix+1
@@ -23,6 +23,7 @@ mkDerivation {
2323 base bifunctors containers deepseq dependent-map dependent-sum
2424 mtl ref-tf split transformers data-default
2525 random time unbounded-delays monoidal-containers witherable
26+ profunctors
2627 ] ++ (if ghc.isGhcjs or false then [
2728 ghcjs-base
2829 ] else []) ++ (if !useTemplateHaskell then [] else [
src/Reflex/Pure.hs+2−1
@@ -88,7 +88,8 @@ instance (Enum t, HasTrie t, Ord t) => Reflex (Pure t) where
8888 then Nothing
8989 else Just currentOccurrences
9090
91− -- fanG :: GCompare k => Event (Pure t) (DMap k v) -> EventSelectorG (Pure t) k v
91+-- The instance signature doeesn't compile, leave commented for documentation
92+-- fanG :: GCompare k => Event (Pure t) (DMap k v) -> EventSelectorG (Pure t) k v
9293 fanG e = EventSelectorG $ \k -> Event $ \t -> unEvent e t >>= DMap.lookup k
9394
9495 switch :: Behavior (Pure t) (Event (Pure t) a) -> Event (Pure t) a