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