4638a6f · patch · git.iko.soy

ChangeLog.md+9−2

compare with develop

unifiedsplit

@@ -9,14 +9,21 @@

9## 0.6.2.1

10

11* 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

13

19

14* Generalize merging functions:

20* Generalize merging functions:

15 `merge` to `mergeG`,

21 `merge` to `mergeG`,

16 `mergeIncremental` to `mergeIncrementalG`,

22 `mergeIncremental` to `mergeIncrementalG`,

17− `distributeDMapOverDynPure` to `distributeDMapOverDynPureG`,

18 `mergeIncrementalWithMove` to `mergeIncrementalWithMoveG`.

23 `mergeIncrementalWithMove` to `mergeIncrementalWithMoveG`.

19

24

25+* Generalize distribute function:

26+ `distributeDMapOverDynPure` to `distributeDMapOverDynPureG`,

20

27

21## 0.6.2.0

28## 0.6.2.0

22

29

default.nix+1

@@ -23,6 +23,7 @@ mkDerivation {

23 base bifunctors containers deepseq dependent-map dependent-sum

24 mtl ref-tf split transformers data-default

25 random time unbounded-delays monoidal-containers witherable

26+ profunctors

26 ] ++ (if ghc.isGhcjs or false then [

27 ] ++ (if ghc.isGhcjs or false then [

27 ghcjs-base

28 ghcjs-base

28 ] else []) ++ (if !useTemplateHaskell then [] else [

29 ] 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

88 then Nothing

89 else Just currentOccurrences

90

91+-- The instance signature doeesn't compile, leave commented for documentation

91− -- fanG :: GCompare k => Event (Pure t) (DMap k v) -> EventSelectorG (Pure t) k v

92+-- fanG :: GCompare k => Event (Pure t) (DMap k v) -> EventSelectorG (Pure t) k v

92 fanG e = EventSelectorG $ \k -> Event $ \t -> unEvent e t >>= DMap.lookup k

93 fanG e = EventSelectorG $ \k -> Event $ \t -> unEvent e t >>= DMap.lookup k

93

94

94 switch :: Behavior (Pure t) (Event (Pure t) a) -> Event (Pure t) a

95 switch :: Behavior (Pure t) (Event (Pure t) a) -> Event (Pure t) a