on master help sign in
Remove redundant constraints
commit793f2b87498a0ee2aadc105b3322febb2419846b authorHarendra Kumar <harendra.kumar@gmail.com> dateWed 18 Apr 2018, 11:36 (9 years ago) parentc463d16
1 file changed+2−4
test/Prop.hs+2−4
test/Prop.hs+2−4
@@ -157,8 +157,7 @@ wrapMaybe f =
157157 else Just (f x)
158158
159159eliminationOps
160− :: IsStream t
161− => ([Int] -> t IO Int)
160+ :: ([Int] -> t IO Int)
162161 -> String
163162 -> (t IO Int -> SerialT IO Int)
164163 -> Spec
@@ -193,8 +192,7 @@ serialEliminationOps constr desc t = do
193192 prop (desc ++ " last") $ eliminateOp constr (wrapMaybe last) $ A.last . t
194193
195194transformOpsWord8
196− :: IsStream t
197− => ([Word8] -> t IO Word8)
195+ :: ([Word8] -> t IO Word8)
198196 -> String
199197 -> (t IO Word8 -> SerialT IO Word8)
200198 -> Spec