git.iko.soy/generic-lens
on master help sign in
Records.Generic -> Data.Generic.Record
7d1e08fCsongor Kiss
examples/StarWars.hs+1−1
compare with master
unifiedsplit
@@ -10,7 +10,7 @@
10module StarWars where
10module StarWars where
11
11
12import GHC.Generics
12import GHC.Generics
13−import Records.Generic
13+import Data.Generic.Record
14
14
15data Episode = NEWHOPE | EMPIRE | JEDI
15data Episode = NEWHOPE | EMPIRE | JEDI
16 deriving (Generic, Show, Eq)
16 deriving (Generic, Show, Eq)
generic-records.cabal+4−4
@@ -29,11 +29,11 @@ cabal-version: >= 1.10
29
29
30
30
31library
31library
32− exposed-modules: Records.Generic
32+ exposed-modules: Data.Generic.Record
33− , Records.Generic.Subtype
33+ , Data.Generic.Record.Subtype
34− , Records.Generic.HasField
34+ , Data.Generic.Record.HasField
35
35
36− other-modules: Records.Generic.Lens
36+ other-modules: Data.Generic.Record.Lens
37
37
38 other-extensions: AllowAmbiguousTypes
38 other-extensions: AllowAmbiguousTypes
39 , DataKinds
39 , DataKinds
src/Records/Generic.hs → src/Data/Generic/Record.hsrenamed+4−4
@@ -1,6 +1,6 @@
1-----------------------------------------------------------------------------
1-----------------------------------------------------------------------------
2-- |
2-- |
3−-- Module : Records.Generic
3+-- Module : Data.Generic.Record
4-- Copyright : (C) 2017 Csongor Kiss
4-- Copyright : (C) 2017 Csongor Kiss
5-- License : BSD3
5-- License : BSD3
6-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
6-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
@@ -14,7 +14,7 @@
14-- be derived (see examples).
14-- be derived (see examples).
15--
15--
16-----------------------------------------------------------------------------
16-----------------------------------------------------------------------------
17−module Records.Generic
17+module Data.Generic.Record
18 (
18 (
19 -- * Subtype relationship
19 -- * Subtype relationship
20 Subtype (..)
20 Subtype (..)
@@ -28,5 +28,5 @@ module Records.Generic
28
28
29 ) where
29 ) where
30
30
31−import Records.Generic.HasField
31+import Data.Generic.Record.HasField
32−import Records.Generic.Subtype
32+import Data.Generic.Record.Subtype
src/Records/Generic/HasField.hs → src/Data/Generic/Record/HasField.hsrenamed+4−4
@@ -12,7 +12,7 @@
12
12
13-----------------------------------------------------------------------------
13-----------------------------------------------------------------------------
14-- |
14-- |
15−-- Module : Records.Generic.HasField
15+-- Module : Data.Generic.Record.HasField
16-- Copyright : (C) 2017 Csongor Kiss
16-- Copyright : (C) 2017 Csongor Kiss
17-- License : BSD3
17-- License : BSD3
18-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
18-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
@@ -23,7 +23,7 @@
23--
23--
24-----------------------------------------------------------------------------
24-----------------------------------------------------------------------------
25
25
26−module Records.Generic.HasField
26+module Data.Generic.Record.HasField
27 ( -- * Lens
27 ( -- * Lens
28 -- $example
28 -- $example
29 HasField (..)
29 HasField (..)
@@ -34,7 +34,7 @@ module Records.Generic.HasField
34 , GHasField (..)
34 , GHasField (..)
35 ) where
35 ) where
36
36
37−import Records.Generic.Lens
37+import Data.Generic.Record.Lens
38
38
39import GHC.TypeLits (Symbol, TypeError, ErrorMessage(..))
39import GHC.TypeLits (Symbol, TypeError, ErrorMessage(..))
40import Data.Kind (Type)
40import Data.Kind (Type)
@@ -47,7 +47,7 @@ import GHC.Generics
47-- module Example where
47-- module Example where
48--
48--
49-- import GHC.Generics
49-- import GHC.Generics
50−-- import Record.Generic
50+-- import Data.Generic.Record
51--
51--
52-- data Human = Human
52-- data Human = Human
53-- { name :: String
53-- { name :: String
src/Records/Generic/Lens.hs → src/Data/Generic/Record/Lens.hsrenamed+2−2
@@ -3,7 +3,7 @@
3
3
4-----------------------------------------------------------------------------
4-----------------------------------------------------------------------------
5-- |
5-- |
6−-- Module : Records.Generic.Lens
6+-- Module : Data.Generic.Record.Lens
7-- Copyright : (C) 2017 Csongor Kiss
7-- Copyright : (C) 2017 Csongor Kiss
8-- License : BSD3
8-- License : BSD3
9-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
9-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
@@ -13,7 +13,7 @@
13-- Unexported lens helpers
13-- Unexported lens helpers
14--
14--
15-----------------------------------------------------------------------------
15-----------------------------------------------------------------------------
16−module Records.Generic.Lens where
16+module Data.Generic.Record.Lens where
17
17
18import Control.Applicative ( Const (..) )
18import Control.Applicative ( Const (..) )
19import GHC.Generics ( (:*:) (..), Generic (..), M1 (..), Rep )
19import GHC.Generics ( (:*:) (..), Generic (..), M1 (..), Rep )
src/Records/Generic/Subtype.hs → src/Data/Generic/Record/Subtype.hsrenamed+5−5
@@ -12,7 +12,7 @@
12
12
13-----------------------------------------------------------------------------
13-----------------------------------------------------------------------------
14-- |
14-- |
15−-- Module : Records.Generic.Subtype
15+-- Module : Data.Generic.Record.Subtype
16-- Copyright : (C) 2017 Csongor Kiss
16-- Copyright : (C) 2017 Csongor Kiss
17-- License : BSD3
17-- License : BSD3
18-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
18-- Maintainer : Csongor Kiss <kiss.csongor.kiss@gmail.com>
@@ -22,12 +22,12 @@
22-- Structural subtyping
22-- Structural subtyping
23--
23--
24-----------------------------------------------------------------------------
24-----------------------------------------------------------------------------
25−module Records.Generic.Subtype
25+module Data.Generic.Record.Subtype
26 ( Subtype (..)
26 ( Subtype (..)
27 ) where
27 ) where
28
28
29−import Records.Generic.HasField
29+import Data.Generic.Record.HasField
30−import Records.Generic.Lens
30+import Data.Generic.Record.Lens
31
31
32import Data.Kind (Type)
32import Data.Kind (Type)
33import GHC.Generics
33import GHC.Generics
@@ -39,7 +39,7 @@ import GHC.Generics
39-- module Test where
39-- module Test where
40--
40--
41-- import GHC.Generics
41-- import GHC.Generics
42−-- import Record.Generic
42+-- import Data.Generic.Record
43--
43--
44-- data Human = Human
44-- data Human = Human
45-- { name :: String
45-- { name :: String