@@ -94,26 +94,32 @@ instance Issuable 'TypedSchemaLevel where
94 describeIssue Backward (NoMatchingEnum v) = para "The following enum value has been removed:" <> showJSONValue v
94 describeIssue Backward (NoMatchingEnum v) = para "The following enum value has been removed:" <> showJSONValue v
95 describeIssue Forward (NoMatchingMaximum b) = para $ "Upper bound has been added:" <> showBound b <> "."
95 describeIssue Forward (NoMatchingMaximum b) = para $ "Upper bound has been added:" <> showBound b <> "."
96 describeIssue Backward (NoMatchingMaximum b) = para $ "Upper bound has been removed:" <> showBound b <> "."
96 describeIssue Backward (NoMatchingMaximum b) = para $ "Upper bound has been removed:" <> showBound b <> "."
97+ describeIssue ori (MatchingMaximumWeak (orientProdCons ori -> ProdCons p c)) =
97− describeIssue _ (MatchingMaximumWeak (ProdCons p c)) = para $ "Upper bound changed from " <> showBound p <> " to " <> showBound c <> "."
98+ para $ "Upper bound changed from " <> showBound p <> " to " <> showBound c <> "."
98 describeIssue Forward (NoMatchingMinimum b) = para $ "Lower bound has been added: " <> showBound b <> "."
99 describeIssue Forward (NoMatchingMinimum b) = para $ "Lower bound has been added: " <> showBound b <> "."
99 describeIssue Backward (NoMatchingMinimum b) = para $ "Lower bound has been removed: " <> showBound b <> "."
100 describeIssue Backward (NoMatchingMinimum b) = para $ "Lower bound has been removed: " <> showBound b <> "."
101+ describeIssue ori (MatchingMinimumWeak (orientProdCons ori -> ProdCons p c)) =
100− describeIssue _ (MatchingMinimumWeak (ProdCons p c)) = para $ "Lower bound changed from " <> showBound p <> " to " <> showBound c <> "."
102+ para $ "Lower bound changed from " <> showBound p <> " to " <> showBound c <> "."
101 describeIssue Forward (NoMatchingMultipleOf n) = para $ "Value is now a multiple of " <> show' n <> "."
103 describeIssue Forward (NoMatchingMultipleOf n) = para $ "Value is now a multiple of " <> show' n <> "."
102 describeIssue Backward (NoMatchingMultipleOf n) = para $ "Value is no longer a multiple of " <> show' n <> "."
104 describeIssue Backward (NoMatchingMultipleOf n) = para $ "Value is no longer a multiple of " <> show' n <> "."
105+ describeIssue ori (MatchingMultipleOfWeak (orientProdCons ori -> ProdCons p c)) =
103− describeIssue _ (MatchingMultipleOfWeak (ProdCons p c)) = para $ "Value changed from being a multiple of " <> show' p <> " to being a multiple of " <> show' c <> "."
106+ para $ "Value changed from being a multiple of " <> show' p <> " to being a multiple of " <> show' c <> "."
104 describeIssue Forward (NoMatchingFormat f) = para $ "Format added: " <> code f <> "."
107 describeIssue Forward (NoMatchingFormat f) = para $ "Format added: " <> code f <> "."
105 describeIssue Backward (NoMatchingFormat f) = para $ "Format removed: " <> code f <> "."
108 describeIssue Backward (NoMatchingFormat f) = para $ "Format removed: " <> code f <> "."
106 describeIssue Forward (NoMatchingMaxLength n) = para $ "Maximum length added: " <> show' n <> "."
109 describeIssue Forward (NoMatchingMaxLength n) = para $ "Maximum length added: " <> show' n <> "."
107 describeIssue Backward (NoMatchingMaxLength n) = para $ "Maximum length removed: " <> show' n <> "."
110 describeIssue Backward (NoMatchingMaxLength n) = para $ "Maximum length removed: " <> show' n <> "."
111+ describeIssue ori (MatchingMaxLengthWeak (orientProdCons ori -> ProdCons p c)) =
108− describeIssue _ (MatchingMaxLengthWeak (ProdCons p c)) = para $ "Maximum length of the string changed from " <> show' p <> " to " <> show' c <> "."
112+ para $ "Maximum length of the string changed from " <> show' p <> " to " <> show' c <> "."
109 describeIssue Forward (NoMatchingMinLength n) = para $ "Minimum length of the string added: " <> show' n <> "."
113 describeIssue Forward (NoMatchingMinLength n) = para $ "Minimum length of the string added: " <> show' n <> "."
110 describeIssue Backward (NoMatchingMinLength n) = para $ "Minimum length of the string removed: " <> show' n <> "."
114 describeIssue Backward (NoMatchingMinLength n) = para $ "Minimum length of the string removed: " <> show' n <> "."
115+ describeIssue ori (MatchingMinLengthWeak (orientProdCons ori -> ProdCons p c)) =
111− describeIssue _ (MatchingMinLengthWeak (ProdCons p c)) = para $ "Minimum length of the string changed from " <> show' p <> " to " <> show' c <> "."
116+ para $ "Minimum length of the string changed from " <> show' p <> " to " <> show' c <> "."
112 describeIssue Forward (NoMatchingPattern p) = para "Pattern (regular expression) added: " <> codeBlock p
117 describeIssue Forward (NoMatchingPattern p) = para "Pattern (regular expression) added: " <> codeBlock p
113 describeIssue Backward (NoMatchingPattern p) = para "Pattern (regular expression) removed: " <> codeBlock p
118 describeIssue Backward (NoMatchingPattern p) = para "Pattern (regular expression) removed: " <> codeBlock p
114 describeIssue Forward NoMatchingItems = para "Array item schema has been added."
119 describeIssue Forward NoMatchingItems = para "Array item schema has been added."
115 describeIssue Backward NoMatchingItems = para "Array item schema has been removed."
120 describeIssue Backward NoMatchingItems = para "Array item schema has been removed."
121+ describeIssue ori (TupleItemsLengthChanged (orientProdCons ori -> ProdCons p c)) =
116− describeIssue _ (TupleItemsLengthChanged (ProdCons p c)) = para $ "Tuple length changed from " <> show' p <> " to " <> show' c <> "."
122+ para $ "Tuple length changed from " <> show' p <> " to " <> show' c <> "."
117 describeIssue Forward ArrayToTuple = para "The array is now explicitly defined as a tuple."
123 describeIssue Forward ArrayToTuple = para "The array is now explicitly defined as a tuple."
118 describeIssue Backward ArrayToTuple = para "The array is no longer explicitly defined as a tuple."
124 describeIssue Backward ArrayToTuple = para "The array is no longer explicitly defined as a tuple."
119 describeIssue Forward TupleToArray = para "The array is no longer explicitly defined as a tuple."
125 describeIssue Forward TupleToArray = para "The array is no longer explicitly defined as a tuple."
@@ -122,10 +128,12 @@ instance Issuable 'TypedSchemaLevel where
122 describeIssue Backward NoMatchingTupleItems = para "The array is no longer explicitly defined as a tuple."
128 describeIssue Backward NoMatchingTupleItems = para "The array is no longer explicitly defined as a tuple."
123 describeIssue Forward (NoMatchingMaxItems n) = para $ "Maximum length of the array has been added " <> show' n <> "."
129 describeIssue Forward (NoMatchingMaxItems n) = para $ "Maximum length of the array has been added " <> show' n <> "."
124 describeIssue Backward (NoMatchingMaxItems n) = para $ "Maximum length of the array has been removed " <> show' n <> "."
130 describeIssue Backward (NoMatchingMaxItems n) = para $ "Maximum length of the array has been removed " <> show' n <> "."
131+ describeIssue ori (MatchingMaxItemsWeak (orientProdCons ori -> ProdCons p c)) =
125− describeIssue _ (MatchingMaxItemsWeak (ProdCons p c)) = para $ "Maximum length of the array changed from " <> show' p <> " to " <> show' c <> "."
132+ para $ "Maximum length of the array changed from " <> show' p <> " to " <> show' c <> "."
126 describeIssue Forward (NoMatchingMinItems n) = para $ "Minimum length of the array added: " <> show' n <> "."
133 describeIssue Forward (NoMatchingMinItems n) = para $ "Minimum length of the array added: " <> show' n <> "."
127 describeIssue Backward (NoMatchingMinItems n) = para $ "Minimum length of the array removed: " <> show' n <> "."
134 describeIssue Backward (NoMatchingMinItems n) = para $ "Minimum length of the array removed: " <> show' n <> "."
135+ describeIssue ori (MatchingMinItemsWeak (orientProdCons ori -> ProdCons p c)) =
128− describeIssue _ (MatchingMinItemsWeak (ProdCons p c)) = para $ "Minimum length of the array changed from " <> show' p <> " to " <> show' c <> "."
136+ para $ "Minimum length of the array changed from " <> show' p <> " to " <> show' c <> "."
129 describeIssue Forward NoMatchingUniqueItems = para "Items are now required to be unique."
137 describeIssue Forward NoMatchingUniqueItems = para "Items are now required to be unique."
130 describeIssue Backward NoMatchingUniqueItems = para "Items are no longer required to be unique."
138 describeIssue Backward NoMatchingUniqueItems = para "Items are no longer required to be unique."
131 describeIssue Forward NoMatchingProperties = para "Property added."
139 describeIssue Forward NoMatchingProperties = para "Property added."
@@ -134,17 +142,20 @@ instance Issuable 'TypedSchemaLevel where
134 describeIssue Backward NoAdditionalProperties = para "Additional properties have been added."
142 describeIssue Backward NoAdditionalProperties = para "Additional properties have been added."
135 describeIssue Forward (NoMatchingMaxProperties n) = para $ "Maximum number of properties has been added: " <> show' n <> "."
143 describeIssue Forward (NoMatchingMaxProperties n) = para $ "Maximum number of properties has been added: " <> show' n <> "."
136 describeIssue Backward (NoMatchingMaxProperties n) = para $ "Maximum number of properties has been removed: " <> show' n <> "."
144 describeIssue Backward (NoMatchingMaxProperties n) = para $ "Maximum number of properties has been removed: " <> show' n <> "."
145+ describeIssue ori (MatchingMaxPropertiesWeak (orientProdCons ori -> ProdCons p c)) =
137− describeIssue _ (MatchingMaxPropertiesWeak (ProdCons p c)) = para $ "Maximum number of properties has changed from " <> show' p <> " to " <> show' c <> "."
146+ para $ "Maximum number of properties has changed from " <> show' p <> " to " <> show' c <> "."
138 describeIssue Forward (NoMatchingMinProperties n) = para $ "Minimum number of properties added: " <> show' n <> "."
147 describeIssue Forward (NoMatchingMinProperties n) = para $ "Minimum number of properties added: " <> show' n <> "."
139 describeIssue Backward (NoMatchingMinProperties n) = para $ "Minimum number of properties removed: " <> show' n <> "."
148 describeIssue Backward (NoMatchingMinProperties n) = para $ "Minimum number of properties removed: " <> show' n <> "."
149+ describeIssue ori (MatchingMinPropertiesWeak (orientProdCons ori -> ProdCons p c)) =
140− describeIssue _ (MatchingMinPropertiesWeak (ProdCons p c)) = para $ "Minimum number of properties has changed from " <> show' p <> " to " <> show' c <> "."
150+ para $ "Minimum number of properties has changed from " <> show' p <> " to " <> show' c <> "."
141 describeIssue _ (NoMatchingCondition mPart conds) =
151 describeIssue _ (NoMatchingCondition mPart conds) =
143− (case mPart of
153+ ( case mPart of
144− Nothing -> "Could not verify that the following conditions hold (please file a bug if you see this):"
154+ Nothing -> "Could not verify that the following conditions hold (please file a bug if you see this):"
145− Just locPart ->
155+ Just locPart ->
146− "In cases where " <> showPartition locPart
156+ "In cases where " <> showPartition locPart
147− <> " – could not verify that the following conditions hold (please file a bug if you see this):")
157+ <> " – could not verify that the following conditions hold (please file a bug if you see this):"
148 <> bulletList ((\(SomeCondition c) -> showCondition c) <$> conds)
159 <> bulletList ((\(SomeCondition c) -> showCondition c) <$> conds)
149 describeIssue Forward TypeBecomesEmpty = para "The type has been removed."
160 describeIssue Forward TypeBecomesEmpty = para "The type has been removed."
150 describeIssue Backward TypeBecomesEmpty = para "The type has been added."
161 describeIssue Backward TypeBecomesEmpty = para "The type has been added."