7c3253d · reflex · git.iko.soy

git.iko.soy/reflex

Use Data.Type.Equality.Refl

commit7c3253d501a4766e6e4eed675bba6b2fb76a3503 authorHamish Mackenzie <Hamish.K.Mackenzie@gmail.com> dateTue 31 Dec 2019, 18:52 (7 years ago) parent51b6399

4 files changed+6−2

compare with develop

unifiedsplit

src/Data/Functor/Misc.hs+1 src/Reflex/Class.hs+2−1 src/Reflex/Dynamic.hs+2−1 src/Reflex/Spider/Internal.hs+1

src/Data/Functor/Misc.hs+1

@@ -53,6 +53,7 @@ import Data.Map (Map)

5353import qualified Data.Map as Map

5454import Data.Some (Some(Some))

5555import Data.These

56+import Data.Type.Equality ((:~:)(Refl))

5657import Data.Typeable hiding (Refl)

5758

5859--------------------------------------------------------------------------------

src/Reflex/Class.hs+2−1

@@ -200,7 +200,7 @@ import Data.Dependent.Map (DMap, DSum (..))

200200import qualified Data.Dependent.Map as DMap

201201import Data.Functor.Compose

202202import Data.Functor.Product

203−import Data.GADT.Compare (GEq (..), GCompare (..), (:~:) (..))

203+import Data.GADT.Compare (GEq (..), GCompare (..))

204204import Data.FastMutableIntMap (PatchIntMap)

205205import Data.Foldable

206206import Data.Functor.Bind

@@ -215,6 +215,7 @@ import Data.Some (Some(Some))

215215import Data.String

216216import Data.These

217217import Data.Type.Coercion

218+import Data.Type.Equality ((:~:) (..))

218219import Data.Witherable (Filterable(..))

219220import qualified Data.Witherable as W

220221import Reflex.FunctorMaybe (FunctorMaybe)

src/Reflex/Dynamic.hs+2−1

@@ -87,11 +87,12 @@ import Data.Align

8787import Data.Dependent.Map (DMap)

8888import qualified Data.Dependent.Map as DMap

8989import Data.Dependent.Sum (DSum (..))

90−import Data.GADT.Compare ((:~:) (..), GCompare (..), GEq (..), GOrdering (..))

90+import Data.GADT.Compare (GCompare (..), GEq (..), GOrdering (..))

9191import Data.Map (Map)

9292import Data.Maybe

9393import Data.Monoid ((<>))

9494import Data.These

95+import Data.Type.Equality ((:~:) (..))

9596

9697import Debug.Trace

9798

src/Reflex/Spider/Internal.hs+1

@@ -65,6 +65,7 @@ import Data.Monoid ((<>))

6565import Data.Proxy

6666import Data.These

6767import Data.Traversable

68+import Data.Type.Equality ((:~:)(Refl))

6869import Data.Witherable (Filterable, mapMaybe)

6970import GHC.Exts

7071import GHC.IORef (IORef (..))