text-show-instances-1: tests/Spec/Language/Haskell/THSpec.hs
{-# LANGUAGE CPP #-}
{-|
Module: Spec.Language.Haskell.THSpec
Copyright: (C) 2014-2015 Ryan Scott
License: BSD-style (see the file LICENSE)
Maintainer: Ryan Scott
Stability: Provisional
Portability: GHC
@QuickCheck@ properties for data types in the @template-haskell@ library.
-}
module Spec.Language.Haskell.THSpec (main, spec) where
import Instances.Language.Haskell.TH ()
import Language.Haskell.TH.Instances ()
import Language.Haskell.TH.PprLib
import Language.Haskell.TH.Syntax
import Spec.Utils (prop_matchesShow, prop_genericShow)
import Test.Hspec (Spec, describe, hspec, parallel)
import Test.Hspec.QuickCheck (prop)
import Text.Show.Text (fromString)
import Text.Show.Text.Language.Haskell.TH (showbName')
main :: IO ()
main = hspec spec
spec :: Spec
spec = parallel $ do
#if MIN_VERSION_template_haskell(2,9,0)
describe "AnnLookup" $ do
prop "Show instance" (prop_matchesShow :: Int -> AnnLookup -> Bool)
prop "generic Show" (prop_genericShow :: Int -> AnnLookup -> Bool)
describe "AnnTarget" $ do
prop "Show instance" (prop_matchesShow :: Int -> AnnTarget -> Bool)
prop "generic Show" (prop_genericShow :: Int -> AnnTarget -> Bool)
#endif
describe "Body" $ do
prop "Show instance" (prop_matchesShow :: Int -> Body -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Body -> Bool)
describe "Callconv" $ do
prop "Show instance" (prop_matchesShow :: Int -> Callconv -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Callconv -> Bool)
#if MIN_VERSION_template_haskell(2,5,0) && !(MIN_VERSION_template_haskell(2,7,0))
describe "ClassInstance" $ do
prop "Show instance" (prop_matchesShow :: Int -> ClassInstance -> Bool)
prop "generic Show" (prop_genericShow :: Int -> ClassInstance -> Bool)
#endif
describe "Clause" $ do
prop "Show instance" (prop_matchesShow :: Int -> Clause -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Clause -> Bool)
describe "Con" $ do
prop "Show instance" (prop_matchesShow :: Int -> Con -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Con -> Bool)
describe "Dec" $ do
prop "Dec instance" (prop_matchesShow :: Int -> Dec -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Dec -> Bool)
describe "Doc" $
prop "Show instance" (prop_matchesShow :: Int -> Doc -> Bool)
describe "Exp" $ do
prop "Exp instance" (prop_matchesShow :: Int -> Exp -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Exp -> Bool)
describe "FamFlavour" $ do
prop "Show instance" (prop_matchesShow :: Int -> FamFlavour -> Bool)
prop "generic Show" (prop_genericShow :: Int -> FamFlavour -> Bool)
describe "Fixity" $ do
prop "Show instance" (prop_matchesShow :: Int -> Fixity -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Fixity -> Bool)
describe "FixityDirection" $ do
prop "Show instance" (prop_matchesShow :: Int -> FixityDirection -> Bool)
prop "generic Show" (prop_genericShow :: Int -> FixityDirection -> Bool)
describe "Foreign" $ do
prop "Show instance" (prop_matchesShow :: Int -> Foreign -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Foreign -> Bool)
describe "FunDep" $ do
prop "Show instance" (prop_matchesShow :: Int -> FunDep -> Bool)
prop "generic Show" (prop_genericShow :: Int -> FunDep -> Bool)
describe "Guard" $ do
prop "Show instance" (prop_matchesShow :: Int -> Guard -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Guard -> Bool)
describe "Info" $ do
prop "Show instance" (prop_matchesShow :: Int -> Info -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Info -> Bool)
#if MIN_VERSION_template_haskell(2,8,0)
describe "Inline" $ do
prop "Show instance" (prop_matchesShow :: Int -> Inline -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Inline -> Bool)
#else
describe "InlineSpec" $ do
prop "Show instance" (prop_matchesShow :: Int -> InlineSpec -> Bool)
prop "generic Show" (prop_genericShow :: Int -> InlineSpec -> Bool)
#endif
describe "Kind" $ do
prop "Show instance" (prop_matchesShow :: Int -> Kind -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Kind -> Bool)
describe "Lit" $ do
prop "Show instance" (prop_matchesShow :: Int -> Lit -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Lit -> Bool)
describe "Loc" $ do
prop "Show instance" (prop_matchesShow :: Int -> Loc -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Loc -> Bool)
describe "Match" $ do
prop "Show instance" (prop_matchesShow :: Int -> Match -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Match -> Bool)
describe "ModName" $ do
prop "Show instance" (prop_matchesShow :: Int -> ModName -> Bool)
prop "generic Show" (prop_genericShow :: Int -> ModName -> Bool)
#if MIN_VERSION_template_haskell(2,9,0)
describe "Module" $ do
prop "Show instance" (prop_matchesShow :: Int -> Module -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Module -> Bool)
describe "ModuleInfo" $ do
prop "Show instance" (prop_matchesShow :: Int -> ModuleInfo -> Bool)
prop "generic Show" (prop_genericShow :: Int -> ModuleInfo -> Bool)
#endif
describe "Name" $
prop "Show instance" (prop_matchesShow :: Int -> Name -> Bool)
describe "showbName'" $ do
prop "has the same output as showName" prop_showName'
describe "OccName" $ do
prop "Show instance" (prop_matchesShow :: Int -> OccName -> Bool)
prop "generic Show" (prop_genericShow :: Int -> OccName -> Bool)
describe "Pat" $ do
prop "Show instance" (prop_matchesShow :: Int -> Pat -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Pat -> Bool)
#if MIN_VERSION_template_haskell(2,8,0)
describe "Phases" $ do
prop "Show instance" (prop_matchesShow :: Int -> Phases -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Phases -> Bool)
#endif
describe "PkgName" $ do
prop "Show instance" (prop_matchesShow :: Int -> PkgName -> Bool)
prop "generic Show" (prop_genericShow :: Int -> PkgName -> Bool)
describe "Pred" $ do
prop "Show instance" (prop_matchesShow :: Int -> Pred -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Pred -> Bool)
describe "Pragma" $ do
prop "Show instance" (prop_matchesShow :: Int -> Pragma -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Pragma -> Bool)
describe "Range" $ do
prop "Show instance" (prop_matchesShow :: Int -> Range -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Range -> Bool)
#if MIN_VERSION_template_haskell(2,9,0)
describe "Role" $ do
prop "Show instance" (prop_matchesShow :: Int -> Role -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Role -> Bool)
#endif
#if MIN_VERSION_template_haskell(2,8,0)
describe "RuleBndr" $ do
prop "Show instance" (prop_matchesShow :: Int -> RuleBndr -> Bool)
prop "generic Show" (prop_genericShow :: Int -> RuleBndr -> Bool)
describe "RuleMatch" $ do
prop "Show instance" (prop_matchesShow :: Int -> RuleMatch -> Bool)
prop "generic Show" (prop_genericShow :: Int -> RuleMatch -> Bool)
#endif
describe "Safety" $ do
prop "Show instance" (prop_matchesShow :: Int -> Safety -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Safety -> Bool)
describe "Stmt" $ do
prop "Show instance" (prop_matchesShow :: Int -> Stmt -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Stmt -> Bool)
describe "Strict" $ do
prop "Show instance" (prop_matchesShow :: Int -> Strict -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Strict -> Bool)
#if MIN_VERSION_template_haskell(2,8,0)
describe "TyLit" $ do
prop "Show instance" (prop_matchesShow :: Int -> TyLit -> Bool)
prop "generic Show" (prop_genericShow :: Int -> TyLit -> Bool)
#endif
describe "Type" $ do
prop "Show instance" (prop_matchesShow :: Int -> Type -> Bool)
prop "generic Show" (prop_genericShow :: Int -> Type -> Bool)
#if MIN_VERSION_template_haskell(2,9,0)
describe "TySynEqn" $ do
prop "Show instance" (prop_matchesShow :: Int -> TySynEqn -> Bool)
prop "generic Show" (prop_genericShow :: Int -> TySynEqn -> Bool)
#endif
describe "TyVarBndr" $ do
prop "Show instance" (prop_matchesShow :: Int -> TyVarBndr -> Bool)
prop "generic Show" (prop_genericShow :: Int -> TyVarBndr -> Bool)
-- | Verifies that `showName'` and `showbName'` have the same output.
prop_showName' :: NameIs -> Name -> Bool
prop_showName' nameIs name = fromString (showName' nameIs name) == showbName' nameIs name