git.iko.soy/jrec
on master help sign in
Record -> Rec
af4c3ffSridhar Ratnakumar
rec.cabal+3−3
compare with master
unifiedsplit
@@ -20,9 +20,9 @@ extra-source-files:
20library
20library
21 hs-source-dirs: src
21 hs-source-dirs: src
22 exposed-modules:
22 exposed-modules:
23− Record
23+ Rec
24− Record.Super
24+ Rec.Super
25− Record.Tuple
25+ Rec.Tuple
26
26
27 default-extensions:
27 default-extensions:
28 BlockArguments
28 BlockArguments
src/Record.hs → src/Rec.hsrenamed+6−6
@@ -2,7 +2,7 @@
2{-# LANGUAGE PatternSynonyms #-}
2{-# LANGUAGE PatternSynonyms #-}
3{-# LANGUAGE TypeApplications #-}
3{-# LANGUAGE TypeApplications #-}
4
4
5−module Record
5+module Rec
6 ( Record,
6 ( Record,
7 pattern Record,
7 pattern Record,
8 (:=:),
8 (:=:),
@@ -28,11 +28,11 @@ import GHC.Generics
28import GHC.OverloadedLabels
28import GHC.OverloadedLabels
29import GHC.TypeLits
29import GHC.TypeLits
30import Generic.Data
30import Generic.Data
31−import qualified Record.Super as R
31+import qualified Rec.Super as R
32import Control.Lens ((&), (^.))
32import Control.Lens ((&), (^.))
33−import Record.Super ((:=))
33+import Rec.Super ((:=))
34−import Record.Tuple
34+import Rec.Tuple
35−import Record.Field
35+import Rec.Field
36import Test.Tasty.HUnit
36import Test.Tasty.HUnit
37import Unsafe.Coerce
37import Unsafe.Coerce
38
38
@@ -96,7 +96,7 @@ type family Sels fields where
96
96
97type RecordRep fields =
97type RecordRep fields =
98 D1
98 D1
99− ('MetaData "Record" "Record" "" 'False)
99+ ('MetaData "Record" "Rec" "" 'False)
100 ( C1
100 ( C1
101 ('MetaCons "Record" 'PrefixI 'True)
101 ('MetaCons "Record" 'PrefixI 'True)
102 (Sels fields)
102 (Sels fields)
src/Record/Field.hs → src/Rec/Field.hsrenamed+1−1
@@ -1,4 +1,4 @@
1−module Record.Field where
1+module Rec.Field where
2
2
3import qualified Data.Generics.Labels as GL
3import qualified Data.Generics.Labels as GL
4import qualified Data.Generics.Product.Fields as GL
4import qualified Data.Generics.Product.Fields as GL
src/Record/Super.hs → src/Rec/Super.hsrenamed+1−1
@@ -23,7 +23,7 @@
23-- export a lot of good things, and it was easier to just copy the
23-- export a lot of good things, and it was easier to just copy the
24-- implementation since we don't need much out of it.
24-- implementation since we don't need much out of it.
25
25
26−module Record.Super where
26+module Rec.Super where
27
27
28import Control.DeepSeq
28import Control.DeepSeq
29import Control.Monad.Reader
29import Control.Monad.Reader
src/Record/Tuple.hs → src/Rec/Tuple.hsrenamed+4−3
@@ -1,7 +1,8 @@
1−-- Generated with cabal run -v0 bin/genrecord > src/Record/Tuple.hs
1+-- Generated with cabal run -v0 bin/genrecord > src/Rec/Tuple.hs
2+-- TODO: Import this script, and make it generate 'Rec' instead of 'Record'
2−module Record.Tuple where
3+module Rec.Tuple where
3import Prelude
4import Prelude
4−import qualified Record.Super as R
5+import qualified Rec.Super as R
5import Unsafe.Coerce
6import Unsafe.Coerce
6class RecTuple tuple fields | tuple -> fields, fields -> tuple where
7class RecTuple tuple fields | tuple -> fields, fields -> tuple where
7 fromTuple :: tuple -> R.Rec fields
8 fromTuple :: tuple -> R.Rec fields