24 lines
856 B
Haskell
24 lines
856 B
Haskell
{-# LANGUAGE TemplateHaskell #-}
|
|
{-# LANGUAGE TypeApplications #-}
|
|
module Test.Data.Map.Implicit (prop_readShowIdentityRoundtrip, prop_readShowMaybeRoundtrip, runTests) where
|
|
import Test.QuickCheck.Roundtrip (roundtrips)
|
|
import Text.Show (show)
|
|
import Text.Read (read)
|
|
import Data.Map.Implicit (ImplicitMap)
|
|
import Data.Bool (Bool)
|
|
import Language.Scalie.Ast.Definition (Definition)
|
|
import Data.Functor.Identity (Identity)
|
|
import Test.QuickCheck.All (quickCheckAll)
|
|
import System.IO (IO)
|
|
import Control.Applicative (pure)
|
|
import Data.Maybe (Maybe)
|
|
|
|
prop_readShowIdentityRoundtrip :: ImplicitMap (Definition Identity) -> Bool
|
|
prop_readShowIdentityRoundtrip = roundtrips read show
|
|
|
|
prop_readShowMaybeRoundtrip :: ImplicitMap (Definition Maybe) -> Bool
|
|
prop_readShowMaybeRoundtrip = roundtrips read show
|
|
|
|
pure []
|
|
runTests :: IO Bool
|
|
runTests = $quickCheckAll
|