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

module Test.Data.NonEmpty.Map where

import qualified Test.DocTest.Driver as DocTest

{-# LINE 54 "src/Data/NonEmpty/Map.hs" #-}
import     qualified Data.NonEmpty.Map as NonEmptyMap
import     qualified Data.NonEmpty as NonEmpty
import     qualified Data.Map as Map
import     qualified Test.QuickCheck as QC

forAllMap     :: (QC.Testable test) => (Map.Map Int String -> test) -> QC.Property
forAllMap     = QC.forAll (fmap Map.fromList QC.arbitrary)

forAllNonEmptyMap     :: (QC.Testable test) => (NonEmptyMap.T Int String -> test) -> QC.Property
forAllNonEmptyMap     = QC.forAll (fmap NonEmptyMap.fromList QC.arbitrary)

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Data.NonEmpty.Map:106: "
{-# LINE 106 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 106 "src/Data/NonEmpty/Map.hs" #-}
          (\k a -> forAllMap $ \m -> Map.insert k a m == NonEmptyMap.flatten (NonEmptyMap.insert k a m))
 DocTest.printPrefix "Data.NonEmpty.Map:110: "
{-# LINE 110 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 110 "src/Data/NonEmpty/Map.hs" #-}
          (\k a -> forAllMap $ \m -> Map.insertWith (++) k a m == NonEmptyMap.flatten (NonEmptyMap.insertWith (++) k a m))
 DocTest.printPrefix "Data.NonEmpty.Map:164: "
{-# LINE 164 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 164 "src/Data/NonEmpty/Map.hs" #-}
          (\k -> forAllNonEmptyMap $ \m -> Map.delete k (NonEmptyMap.flatten m) == NonEmptyMap.delete k m)
 DocTest.printPrefix "Data.NonEmpty.Map:179: "
{-# LINE 179 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 179 "src/Data/NonEmpty/Map.hs" #-}
          (\xs -> Map.fromList (NonEmpty.flatten xs) == NonEmptyMap.flatten (NonEmptyMap.fromList (xs::NonEmpty.T [] (Int,Char))))
 DocTest.printPrefix "Data.NonEmpty.Map:183: "
{-# LINE 183 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 183 "src/Data/NonEmpty/Map.hs" #-}
          (\xs -> Map.fromListWith (++) (NonEmpty.flatten xs) == NonEmptyMap.flatten (NonEmptyMap.fromListWith (++) (xs::NonEmpty.T [] (Int,String))))
 DocTest.printPrefix "Data.NonEmpty.Map:188: "
{-# LINE 188 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 188 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \m -> NonEmptyMap.fromAscList (NonEmptyMap.toAscList m) == m)
 DocTest.printPrefix "Data.NonEmpty.Map:192: "
{-# LINE 192 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 192 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \m -> NonEmpty.flatten (NonEmptyMap.toAscList m) == Map.toAscList (NonEmptyMap.flatten m))
 DocTest.printPrefix "Data.NonEmpty.Map:207: "
{-# LINE 207 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 207 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \xs -> forAllNonEmptyMap $ \ys -> Map.union (NonEmptyMap.flatten xs) (NonEmptyMap.flatten ys) == NonEmptyMap.flatten (NonEmptyMap.union xs ys))
 DocTest.printPrefix "Data.NonEmpty.Map:218: "
{-# LINE 218 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 218 "src/Data/NonEmpty/Map.hs" #-}
          (forAllMap $ \xm -> forAllNonEmptyMap $ \ym -> Map.union xm (NonEmptyMap.flatten ym) == NonEmptyMap.flatten (NonEmptyMap.unionLeft xm ym))
 DocTest.printPrefix "Data.NonEmpty.Map:222: "
{-# LINE 222 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 222 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \xm -> forAllMap $ \ym -> Map.union (NonEmptyMap.flatten xm) ym == NonEmptyMap.flatten (NonEmptyMap.unionRight xm ym))
 DocTest.printPrefix "Data.NonEmpty.Map:227: "
{-# LINE 227 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 227 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \xs -> forAllNonEmptyMap $ \ys -> Map.unionWith (++) (NonEmptyMap.flatten xs) (NonEmptyMap.flatten ys) == NonEmptyMap.flatten (NonEmptyMap.unionWith (++) xs ys))
 DocTest.printPrefix "Data.NonEmpty.Map:238: "
{-# LINE 238 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 238 "src/Data/NonEmpty/Map.hs" #-}
          (forAllMap $ \xm -> forAllNonEmptyMap $ \ym -> Map.unionWith (++) xm (NonEmptyMap.flatten ym) == NonEmptyMap.flatten (NonEmptyMap.unionLeftWith (++) xm ym))
 DocTest.printPrefix "Data.NonEmpty.Map:243: "
{-# LINE 243 "src/Data/NonEmpty/Map.hs" #-}
 DocTest.property
{-# LINE 243 "src/Data/NonEmpty/Map.hs" #-}
          (forAllNonEmptyMap $ \xm -> forAllMap $ \ym -> Map.unionWith (++) (NonEmptyMap.flatten xm) ym == NonEmptyMap.flatten (NonEmptyMap.unionRightWith (++) xm ym))