utility-ht-0.0.16: src/DocTest/Data/List/Match/Private.hs
-- Do not edit! Automatically created with doctest-extract from src/Data/List/Match/Private.hs
{-# LINE 15 "src/Data/List/Match/Private.hs" #-}
module DocTest.Data.List.Match.Private where
import Data.List.Match.Private
import Test.DocTest.Base
import qualified Test.DocTest.Driver as DocTest
{-# LINE 16 "src/Data/List/Match/Private.hs" #-}
import qualified Data.List.Match.Private as Match
import qualified Data.List as List
import qualified Test.QuickCheck as QC
newtype List = List [Integer] deriving (Show)
instance QC.Arbitrary List where
arbitrary = fmap List QC.arbitrary
shrink (List xs) = map List $ QC.shrink xs
newtype Shape = Shape [Ordering] deriving (Show)
instance QC.Arbitrary Shape where
arbitrary = fmap Shape QC.arbitrary
shrink (Shape xs) = map Shape $ QC.shrink xs
test :: DocTest.T ()
test = do
DocTest.printPrefix "Data.List.Match.Private:34: "
{-# LINE 34 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 34 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.take xs ys == List.take (length xs) ys)
DocTest.printPrefix "Data.List.Match.Private:46: "
{-# LINE 46 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 46 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.drop xs ys == List.drop (length xs) ys)
DocTest.printPrefix "Data.List.Match.Private:47: "
{-# LINE 47 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 47 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.take xs ys ++ Match.drop xs ys == ys)
DocTest.printPrefix "Data.List.Match.Private:54: "
{-# LINE 54 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 54 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.drop xs ys == dropRec xs ys)
DocTest.printPrefix "Data.List.Match.Private:63: "
{-# LINE 63 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 63 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.drop xs ys == drop0 xs ys)
DocTest.printPrefix "Data.List.Match.Private:70: "
{-# LINE 70 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 70 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.drop xs ys == drop1 xs ys)
DocTest.printPrefix "Data.List.Match.Private:75: "
{-# LINE 75 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 75 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.drop xs ys == drop2 xs ys)
DocTest.printPrefix "Data.List.Match.Private:84: "
{-# LINE 84 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 84 "src/Data/List/Match/Private.hs" #-}
(laxTail "")
[ExpectedLine [LineChunk "\"\""]]
DocTest.printPrefix "Data.List.Match.Private:86: "
{-# LINE 86 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 86 "src/Data/List/Match/Private.hs" #-}
(laxTail "a")
[ExpectedLine [LineChunk "\"\""]]
DocTest.printPrefix "Data.List.Match.Private:88: "
{-# LINE 88 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 88 "src/Data/List/Match/Private.hs" #-}
(laxTail "ab")
[ExpectedLine [LineChunk "\"b\""]]
DocTest.printPrefix "Data.List.Match.Private:94: "
{-# LINE 94 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 94 "src/Data/List/Match/Private.hs" #-}
(\(List xs) -> Match.laxTail xs == Match.laxTail0 xs)
DocTest.printPrefix "Data.List.Match.Private:99: "
{-# LINE 99 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 99 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.splitAt xs ys == (Match.take xs ys, Match.drop xs ys))
DocTest.printPrefix "Data.List.Match.Private:100: "
{-# LINE 100 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 100 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.splitAt xs ys == List.splitAt (length xs) ys)
DocTest.printPrefix "Data.List.Match.Private:110: "
{-# LINE 110 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 110 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.takeRev xs ys == reverse (Match.take xs (reverse ys)))
DocTest.printPrefix "Data.List.Match.Private:114: "
{-# LINE 114 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 114 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.dropRev xs ys == reverse (Match.drop xs (reverse ys)))
DocTest.printPrefix "Data.List.Match.Private:122: "
{-# LINE 122 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 122 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> equalLength xs ys == (length xs == length ys))
DocTest.printPrefix "Data.List.Match.Private:134: "
{-# LINE 134 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 134 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> compareLength xs ys == compare (length xs) (length ys))
DocTest.printPrefix "Data.List.Match.Private:144: "
{-# LINE 144 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 144 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.compareLength xs ys == Match.compareLength0 xs ys)
DocTest.printPrefix "Data.List.Match.Private:156: "
{-# LINE 156 "src/Data/List/Match/Private.hs" #-}
DocTest.property
{-# LINE 156 "src/Data/List/Match/Private.hs" #-}
(\(Shape xs) (List ys) -> Match.compareLength xs ys == Match.compareLength1 xs ys)
DocTest.printPrefix "Data.List.Match.Private:166: "
{-# LINE 166 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 166 "src/Data/List/Match/Private.hs" #-}
(lessOrEqualLength "" undefined)
[ExpectedLine [LineChunk "True"]]
DocTest.printPrefix "Data.List.Match.Private:181: "
{-# LINE 181 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 181 "src/Data/List/Match/Private.hs" #-}
(shorterList (shorterList (repeat 'a') (repeat 'b')) "abc")
[ExpectedLine [LineChunk "\"abc\""]]
DocTest.printPrefix "Data.List.Match.Private:200: "
{-# LINE 200 "src/Data/List/Match/Private.hs" #-}
DocTest.example
{-# LINE 200 "src/Data/List/Match/Private.hs" #-}
(List.take 3 $ shorterListEq ("abc" ++ repeat 'a') ("abcdef" ++ repeat 'b'))
[ExpectedLine [LineChunk "\"abc\""]]