1-- Do not edit! Automatically created with doctest-extract from src/Data/List/Reverse/Private.hs
2{-# LINE 9 "src/Data/List/Reverse/Private.hs" #-}
3
4module DocTest.Data.List.Reverse.Private where
5
6import Data.List.Reverse.Private
7import qualified Test.DocTest.Driver as DocTest
8
9{-# LINE 10 "src/Data/List/Reverse/Private.hs" #-}
10import     Test.Utility (forAllPredicates)
11import     qualified Data.List.Reverse.StrictElement as Rev
12import     Prelude hiding (dropWhile, takeWhile)
13
14test :: DocTest.T ()
15test = do
16 DocTest.printPrefix "Data.List.Reverse.Private:16: "
17{-# LINE 16 "src/Data/List/Reverse/Private.hs" #-}
18 DocTest.property
19{-# LINE 16 "src/Data/List/Reverse/Private.hs" #-}
20     (forAllPredicates $ \p xs -> dropWhile p xs == Rev.dropWhile p xs)
21 DocTest.printPrefix "Data.List.Reverse.Private:23: "
22{-# LINE 23 "src/Data/List/Reverse/Private.hs" #-}
23 DocTest.property
24{-# LINE 23 "src/Data/List/Reverse/Private.hs" #-}
25     (forAllPredicates $ \p xs -> takeWhile0 p xs == Rev.takeWhile p xs)
26 DocTest.printPrefix "Data.List.Reverse.Private:32: "
27{-# LINE 32 "src/Data/List/Reverse/Private.hs" #-}
28 DocTest.property
29{-# LINE 32 "src/Data/List/Reverse/Private.hs" #-}
30     (forAllPredicates $ \p xs -> takeWhile1 p xs == Rev.takeWhile p xs)
31 DocTest.printPrefix "Data.List.Reverse.Private:46: "
32{-# LINE 46 "src/Data/List/Reverse/Private.hs" #-}
33 DocTest.property
34{-# LINE 46 "src/Data/List/Reverse/Private.hs" #-}
35     (forAllPredicates $ \p xs -> takeWhile2 p xs == Rev.takeWhile p xs)
36