fa216dd · jrec · git.iko.soy

rec.cabal+10

compare with master

unifiedsplit

@@ -25,22 +25,32 @@ library

25 Record.Tuple

26

27 default-extensions:

28+ BlockArguments

28 DataKinds

29 DataKinds

30+ DeriveGeneric

31+ DerivingStrategies

32+ DuplicateRecordFields

29 FlexibleContexts

33 FlexibleContexts

30 FlexibleInstances

34 FlexibleInstances

31 FunctionalDependencies

35 FunctionalDependencies

32 GADTs

36 GADTs

37+ InstanceSigs

33 KindSignatures

38 KindSignatures

39+ LambdaCase

34 MultiParamTypeClasses

40 MultiParamTypeClasses

35 OverloadedLabels

41 OverloadedLabels

36 OverloadedStrings

42 OverloadedStrings

43+ PatternSynonyms

37 RankNTypes

44 RankNTypes

38 ScopedTypeVariables

45 ScopedTypeVariables

39 StandaloneDeriving

46 StandaloneDeriving

47+ TupleSections

40 TypeFamilies

48 TypeFamilies

41 TypeOperators

49 TypeOperators

42 UndecidableInstances

50 UndecidableInstances

51+ UnicodeSyntax

43 ViewPatterns

52 ViewPatterns

53+ ConstraintKinds

44

54

45 build-depends:

55 build-depends:

46 aeson

56 aeson

src/Record.hs+1

@@ -32,6 +32,7 @@ import qualified Record.Super as R

32import Control.Lens ((&), (^.))

33import Record.Super ((:=))

34import Record.Tuple

35+import Record.Field

35import Test.Tasty.HUnit

36import Test.Tasty.HUnit

36import Unsafe.Coerce

37import Unsafe.Coerce

37

38

src/Record/Field.hsnew file+7

@@ -0,0 +1,7 @@

1+module Record.Field where

2+

3+import qualified Data.Generics.Labels as GL

4+import qualified Data.Generics.Product.Fields as GL

5+import GHC.TypeLits

6+

7+type Field' (s :: Symbol) a b = (GL.HasField' s a b, GL.Field' s a b)