master...6140db0 · schematic

schematic.cabal+3−3

since splitsnapshots

unifiedsplit

@@ -65,7 +65,7 @@ library

65 , TypeOperators

66 , TypeSynonymInstances

67 , UndecidableInstances

68− build-depends: base >=4.11 && <4.13

68+ build-depends: base >=4.10 && <4.13

69 , bytestring

70 , aeson >= 1

71 , containers

@@ -75,14 +75,14 @@ library

75 , regex-tdfa

76 , regex-tdfa-text

77 , scientific

78− , singletons >= 2.4

78+ , singletons >= 2.3

79 , smallcheck

80 , tagged

81 , template-haskell

82 , text

83 , union

84 , unordered-containers

85− , validationt >= 0.2.1.0

85+ , validationt >= 0.2.0.0

86 , vector

87 , vinyl

88 hs-source-dirs: src

src/Data/Schematic/Migration.hs+2−2

@@ -43,8 +43,8 @@ type family SchemaByKey (fs :: [(Symbol, Schema)]) (s :: Symbol) :: Schema where

43 SchemaByKey ( '(a, s) ': tl) fn = SchemaByKey tl fn

44

45type family DeleteKey (acc :: [(Symbol, Schema)]) (fn :: Symbol) (fs :: [(Symbol, Schema)]) :: [(Symbol, Schema)] where

46− DeleteKey acc fn ('(fn, a) ': tl) = acc ++ tl

46+ DeleteKey acc fn ('(fn, a) ': tl) = acc :++ tl

47− DeleteKey acc fn (fna ': tl) = acc ++ (fna ': tl)

47+ DeleteKey acc fn (fna ': tl) = acc :++ (fna ': tl)

48

49type family UpdateKey

50 (fn :: Symbol)

src/Data/Schematic/Path.hs+1

@@ -1,6 +1,7 @@

1module Data.Schematic.Path where

2

3import Data.Foldable as F

4+import Data.Monoid

4import Data.Singletons.Prelude

5import Data.Singletons.Prelude

5import Data.Singletons.TypeLits

6import Data.Singletons.TypeLits

6import Data.Text as T

7import Data.Text as T