on master help sign in
Write a Target instance for String
ddbaab6Bryan O'Sullivan
tests/Properties.hs+6−1
@@ -1,4 +1,4 @@
1−{-# LANGUAGE FlexibleInstances #-}
1+{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
2{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
2{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
3
3
4import Test.QuickCheck
4import Test.QuickCheck
@@ -61,6 +61,11 @@ class Target t where
61 packTChunkSize :: Int -> String -> t
61 packTChunkSize :: Int -> String -> t
62 packTChunkSize _ = packT
62 packTChunkSize _ = packT
63
63
64+instance Target String where
65+ packT = id
66+ unpackT = id
67+ splitAtT = splitAt
68+
64instance Target (S.Stream Char) where
69instance Target (S.Stream Char) where
65 packT = S.streamList
70 packT = S.streamList
66 unpackT = S.unstreamList
71 unpackT = S.unstreamList