on main help sign in
[#4] Move CMap and Vector to the internal library (#10)
165949fVeronika Romashkina
Setup.hsdeleted−3
@@ -1,3 +0,0 @@
1−import Distribution.Simple
2−
3−main = defaultMain
benchmark/Map.hs−2
@@ -1,9 +1,7 @@
1{-# LANGUAGE DataKinds #-}
1{-# LANGUAGE DataKinds #-}
2−{-# LANGUAGE ExplicitForAll #-}
3{-# LANGUAGE ExplicitNamespaces #-}
2{-# LANGUAGE ExplicitNamespaces #-}
4{-# LANGUAGE KindSignatures #-}
3{-# LANGUAGE KindSignatures #-}
5{-# LANGUAGE PolyKinds #-}
4{-# LANGUAGE PolyKinds #-}
6−{-# LANGUAGE ScopedTypeVariables #-}
7{-# LANGUAGE TypeFamilies #-}
5{-# LANGUAGE TypeFamilies #-}
8{-# LANGUAGE TypeOperators #-}
6{-# LANGUAGE TypeOperators #-}
9{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE UndecidableInstances #-}
src/Data/TypeRep/CMap.hs+2−4
@@ -1,7 +1,5 @@
1−{-# LANGUAGE ExplicitForAll #-}
2−{-# LANGUAGE KindSignatures #-}
1+{-# LANGUAGE KindSignatures #-}
3−{-# LANGUAGE PolyKinds #-}
2+{-# LANGUAGE PolyKinds #-}
4−{-# LANGUAGE ScopedTypeVariables #-}
5
3
6module Data.TypeRep.CMap
4module Data.TypeRep.CMap
7 ( TypeRepMap (..)
5 ( TypeRepMap (..)
src/Data/TypeRep/Map.hs+6−8
@@ -1,11 +1,9 @@
1−{-# LANGUAGE BangPatterns #-}
1+{-# LANGUAGE BangPatterns #-}
2−{-# LANGUAGE GADTs #-}
2+{-# LANGUAGE GADTs #-}
3−{-# LANGUAGE KindSignatures #-}
3+{-# LANGUAGE KindSignatures #-}
4−{-# LANGUAGE MagicHash #-}
4+{-# LANGUAGE MagicHash #-}
5−{-# LANGUAGE PolyKinds #-}
5+{-# LANGUAGE PolyKinds #-}
6−{-# LANGUAGE ScopedTypeVariables #-}
7−{-# LANGUAGE TypeApplications #-}
8−{-# LANGUAGE TypeFamilies #-}
6+{-# LANGUAGE TypeFamilies #-}
9
7
10module Data.TypeRep.Map
8module Data.TypeRep.Map
11 ( -- * Map type
9 ( -- * Map type
src/Data/TypeRep/Vector.hs+2−8
@@ -1,16 +1,12 @@
1{-# OPTIONS_GHC -fno-warn-orphans #-}
1{-# OPTIONS_GHC -fno-warn-orphans #-}
2
2
3−{-# LANGUAGE ExplicitForAll #-}
3+{-# LANGUAGE BangPatterns #-}
4{-# LANGUAGE GADTs #-}
4{-# LANGUAGE GADTs #-}
5{-# LANGUAGE KindSignatures #-}
5{-# LANGUAGE KindSignatures #-}
6+{-# LANGUAGE MagicHash #-}
6{-# LANGUAGE MultiParamTypeClasses #-}
7{-# LANGUAGE MultiParamTypeClasses #-}
7{-# LANGUAGE PolyKinds #-}
8{-# LANGUAGE PolyKinds #-}
8−{-# LANGUAGE RankNTypes #-}
9−{-# LANGUAGE ScopedTypeVariables #-}
10{-# LANGUAGE TypeFamilies #-}
9{-# LANGUAGE TypeFamilies #-}
11−{-# LANGUAGE TypeApplications #-}
12−{-# LANGUAGE MagicHash, BangPatterns #-}
13−
14
10
15module Data.TypeRep.Vector
11module Data.TypeRep.Vector
16 ( TypeRepVector (..)
12 ( TypeRepVector (..)
@@ -32,8 +28,6 @@ import GHC.Base hiding (empty)
32import GHC.Exts (sortWith)
28import GHC.Exts (sortWith)
33import GHC.Fingerprint (Fingerprint (..))
29import GHC.Fingerprint (Fingerprint (..))
34import Unsafe.Coerce (unsafeCoerce)
30import Unsafe.Coerce (unsafeCoerce)
35−import Control.Monad.ST
36−import GHC.Prim
37
31
38import qualified Data.Vector as V
32import qualified Data.Vector as V
39import qualified Data.Vector.Generic as G
33import qualified Data.Vector.Generic as G
typerep-map.cabal+24−3
@@ -17,16 +17,30 @@ tested-with: GHC == 8.0.2
17 , GHC == 8.4.3
17 , GHC == 8.4.3
18
18
19library
19library
20+ hs-source-dirs: src
21+ exposed-modules: Data.TypeRep.Map
22+ ghc-options: -Wall
23+ build-depends: base
24+ , vector
25+ default-extensions: OverloadedStrings
26+ RecordWildCards
27+ ScopedTypeVariables
28+ TypeApplications
29+ default-language: Haskell2010
30+
31+library typerep-map-internal
20 hs-source-dirs: src
32 hs-source-dirs: src
21 exposed-modules: Data.TypeRep.CMap
33 exposed-modules: Data.TypeRep.CMap
22− Data.TypeRep.Map
23 Data.TypeRep.Vector
34 Data.TypeRep.Vector
24−
25 ghc-options: -Wall
35 ghc-options: -Wall
26 build-depends: base
36 build-depends: base
27 , containers
37 , containers
28 , vector
38 , vector
29− , ghc-prim
39+ default-extensions: OverloadedStrings
40+ RecordWildCards
41+ ScopedTypeVariables
42+ TypeApplications
43+
30 default-language: Haskell2010
44 default-language: Haskell2010
31
45
32test-suite typerep-map-test
46test-suite typerep-map-test
@@ -38,6 +52,7 @@ test-suite typerep-map-test
38 , Test.TypeRep.VectorOpt
52 , Test.TypeRep.VectorOpt
39 build-depends: base
53 build-depends: base
40 , typerep-map
54 , typerep-map
55+ , typerep-map-internal
41 , tasty
56 , tasty
42 , tasty-discover >= 4.1.1
57 , tasty-discover >= 4.1.1
43 , tasty-hspec
58 , tasty-hspec
@@ -57,8 +72,14 @@ benchmark typerep-map-benchmark
57 build-depends: base
72 build-depends: base
58 , criterion
73 , criterion
59 , typerep-map
74 , typerep-map
75+ , typerep-map-internal
60 , deepseq
76 , deepseq
61 , ghc-typelits-knownnat
77 , ghc-typelits-knownnat
78+ default-extensions: OverloadedStrings
79+ RecordWildCards
80+ ScopedTypeVariables
81+ TypeApplications
82+
62
83
63source-repository head
84source-repository head
64 type: git
85 type: git