records 0.0.0.0 → 0.0.0.1
raw patch · 1 files changed
+2/−1 lines, 1 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Record: instance ((remain :& (name ::: sort)) ~ extRemain, Separation rec remain sepName sepSort) => Separation (rec :& (name ::: sort)) extRemain sepName sepSort
- Data.Record: instance (Kind kind) => Record kind X
- Data.Record: instance (Record kind rec, Name name, Inhabitant kind sort) => Record kind (rec :& (name ::: sort))
- Data.Record: instance (Separation rec remain name' sort', Convertible remain rec') => Convertible rec (rec' :& (name' ::: sort'))
- Data.Record: instance (Show (rec style), Show name, Show (App style sort)) => Show ((:&) rec (name ::: sort) style)
- Data.Record: instance (Show name, Show (App style sort)) => Show ((:::) name sort style)
- Data.Record: instance (sort ~ sepSort, Name name) => Separation (rec :& (name ::: sort)) rec name sepSort
- Data.Record: instance Convertible rec X
- Data.Record: instance Show (X style)
+ Data.Record: instance [overlap ok] ((remain :& (name ::: sort)) ~ extRemain, Separation rec remain sepName sepSort) => Separation (rec :& (name ::: sort)) extRemain sepName sepSort
+ Data.Record: instance [overlap ok] (Kind kind) => Record kind X
+ Data.Record: instance [overlap ok] (Record kind rec, Name name, Inhabitant kind sort) => Record kind (rec :& (name ::: sort))
+ Data.Record: instance [overlap ok] (Separation rec remain name' sort', Convertible remain rec') => Convertible rec (rec' :& (name' ::: sort'))
+ Data.Record: instance [overlap ok] (Show (rec style), Show name, Show (App style sort)) => Show ((:&) rec (name ::: sort) style)
+ Data.Record: instance [overlap ok] (Show name, Show (App style sort)) => Show ((:::) name sort style)
+ Data.Record: instance [overlap ok] (sort ~ sepSort, Name name) => Separation (rec :& (name ::: sort)) rec name sepSort
+ Data.Record: instance [overlap ok] Convertible rec X
+ Data.Record: instance [overlap ok] Show (X style)
Files
- records.cabal +2/−1
records.cabal view
@@ -1,5 +1,5 @@ Name: records-Version: 0.0.0.0+Version: 0.0.0.1 Cabal-Version: >= 1.2.3 Build-Type: Simple License: BSD3@@ -34,6 +34,7 @@ FlexibleInstances FunctionalDependencies MultiParamTypeClasses+ OverlappingInstances RankNTypes ScopedTypeVariables TypeFamilies