on main help sign in
[#4] Move CMap and Vector to the internal library (#10)
commit165949fbc66017cb81226afcbf3113c82d18be5a authorVeronika Romashkina <vrom911@gmail.com> dateSun 1 Jul 2018, 21:17 (8 years ago) parent5ad2178
6 files changed+34−28
Setup.hs−3 benchmark/Map.hs−2 src/Data/TypeRep/CMap.hs+2−4 src/Data/TypeRep/Map.hs+6−8 src/Data/TypeRep/Vector.hs+2−8 typerep-map.cabal+24−3
Setup.hsdeleted−3
@@ -1,3 +0,0 @@
1−import Distribution.Simple
2−
3−main = defaultMain
benchmark/Map.hs−2
@@ -1,9 +1,7 @@
11{-# LANGUAGE DataKinds #-}
2−{-# LANGUAGE ExplicitForAll #-}
32{-# LANGUAGE ExplicitNamespaces #-}
43{-# LANGUAGE KindSignatures #-}
54{-# LANGUAGE PolyKinds #-}
6−{-# LANGUAGE ScopedTypeVariables #-}
75{-# LANGUAGE TypeFamilies #-}
86{-# LANGUAGE TypeOperators #-}
97{-# LANGUAGE UndecidableInstances #-}
src/Data/TypeRep/CMap.hs+2−4
@@ -1,7 +1,5 @@
1−{-# LANGUAGE ExplicitForAll #-}
2−{-# LANGUAGE KindSignatures #-}
3−{-# LANGUAGE PolyKinds #-}
4−{-# LANGUAGE ScopedTypeVariables #-}
1+{-# LANGUAGE KindSignatures #-}
2+{-# LANGUAGE PolyKinds #-}
53
64module Data.TypeRep.CMap
75 ( TypeRepMap (..)
src/Data/TypeRep/Map.hs+6−8
@@ -1,11 +1,9 @@
1−{-# LANGUAGE BangPatterns #-}
2−{-# LANGUAGE GADTs #-}
3−{-# LANGUAGE KindSignatures #-}
4−{-# LANGUAGE MagicHash #-}
5−{-# LANGUAGE PolyKinds #-}
6−{-# LANGUAGE ScopedTypeVariables #-}
7−{-# LANGUAGE TypeApplications #-}
8−{-# LANGUAGE TypeFamilies #-}
1+{-# LANGUAGE BangPatterns #-}
2+{-# LANGUAGE GADTs #-}
3+{-# LANGUAGE KindSignatures #-}
4+{-# LANGUAGE MagicHash #-}
5+{-# LANGUAGE PolyKinds #-}
6+{-# LANGUAGE TypeFamilies #-}
97
108module Data.TypeRep.Map
119 ( -- * Map type
src/Data/TypeRep/Vector.hs+2−8
@@ -1,16 +1,12 @@
11{-# OPTIONS_GHC -fno-warn-orphans #-}
22
3−{-# LANGUAGE ExplicitForAll #-}
3+{-# LANGUAGE BangPatterns #-}
44{-# LANGUAGE GADTs #-}
55{-# LANGUAGE KindSignatures #-}
6+{-# LANGUAGE MagicHash #-}
67{-# LANGUAGE MultiParamTypeClasses #-}
78{-# LANGUAGE PolyKinds #-}
8−{-# LANGUAGE RankNTypes #-}
9−{-# LANGUAGE ScopedTypeVariables #-}
109{-# LANGUAGE TypeFamilies #-}
11−{-# LANGUAGE TypeApplications #-}
12−{-# LANGUAGE MagicHash, BangPatterns #-}
13−
1410
1511module Data.TypeRep.Vector
1612 ( TypeRepVector (..)
@@ -32,8 +28,6 @@ import GHC.Base hiding (empty)
3228import GHC.Exts (sortWith)
3329import GHC.Fingerprint (Fingerprint (..))
3430import Unsafe.Coerce (unsafeCoerce)
35−import Control.Monad.ST
36−import GHC.Prim
3731
3832import qualified Data.Vector as V
3933import qualified Data.Vector.Generic as G
typerep-map.cabal+24−3
@@ -17,16 +17,30 @@ tested-with: GHC == 8.0.2
1717 , GHC == 8.4.3
1818
1919library
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
2032 hs-source-dirs: src
2133 exposed-modules: Data.TypeRep.CMap
22− Data.TypeRep.Map
2334 Data.TypeRep.Vector
24−
2535 ghc-options: -Wall
2636 build-depends: base
2737 , containers
2838 , vector
29− , ghc-prim
39+ default-extensions: OverloadedStrings
40+ RecordWildCards
41+ ScopedTypeVariables
42+ TypeApplications
43+
3044 default-language: Haskell2010
3145
3246test-suite typerep-map-test
@@ -38,6 +52,7 @@ test-suite typerep-map-test
3852 , Test.TypeRep.VectorOpt
3953 build-depends: base
4054 , typerep-map
55+ , typerep-map-internal
4156 , tasty
4257 , tasty-discover >= 4.1.1
4358 , tasty-hspec
@@ -57,8 +72,14 @@ benchmark typerep-map-benchmark
5772 build-depends: base
5873 , criterion
5974 , typerep-map
75+ , typerep-map-internal
6076 , deepseq
6177 , ghc-typelits-knownnat
78+ default-extensions: OverloadedStrings
79+ RecordWildCards
80+ ScopedTypeVariables
81+ TypeApplications
82+
6283
6384source-repository head
6485 type: git