non-empty-0.3.3: test/Test/Data/NonEmptyPrivate.hs

-- Do not edit! Automatically created with doctest-extract from src/Data/NonEmptyPrivate.hs
{-# LINE 38 "src/Data/NonEmptyPrivate.hs" #-}

module Test.Data.NonEmptyPrivate where

import qualified Test.DocTest.Driver as DocTest

{-# LINE 39 "src/Data/NonEmptyPrivate.hs" #-}
import     qualified Data.NonEmpty as NonEmpty
import     qualified Data.Either.HT as EitherHT
import     Data.Tuple.HT (swap)
import     Data.Maybe (mapMaybe)

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Data.NonEmptyPrivate:722: "
{-# LINE 722 "src/Data/NonEmptyPrivate.hs" #-}
 DocTest.property
{-# LINE 722 "src/Data/NonEmptyPrivate.hs" #-}
     (\xs -> mapMaybe EitherHT.maybeLeft (NonEmpty.flatten xs) == either NonEmpty.flatten fst (NonEmpty.partitionEithersLeft (xs::NonEmpty.T[](Either Char Int))))
 DocTest.printPrefix "Data.NonEmptyPrivate:723: "
{-# LINE 723 "src/Data/NonEmptyPrivate.hs" #-}
 DocTest.property
{-# LINE 723 "src/Data/NonEmptyPrivate.hs" #-}
     (\xs -> mapMaybe EitherHT.maybeRight (NonEmpty.flatten xs) == either (const []) (NonEmpty.flatten . snd) (NonEmpty.partitionEithersLeft (xs::NonEmpty.T[](Either Char Int))))
 DocTest.printPrefix "Data.NonEmptyPrivate:724: "
{-# LINE 724 "src/Data/NonEmptyPrivate.hs" #-}
 DocTest.property
{-# LINE 724 "src/Data/NonEmptyPrivate.hs" #-}
     (\xs -> NonEmpty.partitionEithersRight (fmap EitherHT.swap xs) == EitherHT.mapLeft swap (EitherHT.swap (NonEmpty.partitionEithersLeft (xs::NonEmpty.T[](Either Char Int)))))
 DocTest.printPrefix "Data.NonEmptyPrivate:734: "
{-# LINE 734 "src/Data/NonEmptyPrivate.hs" #-}
 DocTest.property
{-# LINE 734 "src/Data/NonEmptyPrivate.hs" #-}
     (\xs -> NonEmpty.partitionEithersLeft (fmap EitherHT.swap xs) == EitherHT.mapRight swap (EitherHT.swap (NonEmpty.partitionEithersRight (xs::NonEmpty.T[](Either Char Int)))))