git.iko.soy/streamly
on master help sign in
Remove redundant constraints
793f2b8Harendra Kumar
test/Prop.hs+2−4
compare with master
unifiedsplit
@@ -157,8 +157,7 @@ wrapMaybe f =
157 else Just (f x)
157 else Just (f x)
158
158
159eliminationOps
159eliminationOps
160− :: IsStream t
161− => ([Int] -> t IO Int)
160+ :: ([Int] -> t IO Int)
162 -> String
161 -> String
163 -> (t IO Int -> SerialT IO Int)
162 -> (t IO Int -> SerialT IO Int)
164 -> Spec
163 -> Spec
@@ -193,8 +192,7 @@ serialEliminationOps constr desc t = do
193 prop (desc ++ " last") $ eliminateOp constr (wrapMaybe last) $ A.last . t
192 prop (desc ++ " last") $ eliminateOp constr (wrapMaybe last) $ A.last . t
194
193
195transformOpsWord8
194transformOpsWord8
196− :: IsStream t
197− => ([Word8] -> t IO Word8)
195+ :: ([Word8] -> t IO Word8)
198 -> String
196 -> String
199 -> (t IO Word8 -> SerialT IO Word8)
197 -> (t IO Word8 -> SerialT IO Word8)
200 -> Spec
198 -> Spec