{-# LANGUAGE TemplateHaskell, TypeApplications, DeriveAnyClass, StandaloneDeriving, CPP, FlexibleInstances, MonoLocalBinds, MultiParamTypeClasses #-}
module TestUtils where

import Parsley.Internal (parse, Parser, Code)
import Parsley.Internal.Trace (Trace(..))
import Language.Haskell.TH.Syntax
#if MIN_VERSION_template_haskell(2,17,0)
  hiding (Code)
#endif
import Language.Haskell.TH.TestUtils
import Language.Haskell.TH.TestUtils.QMode
import Control.DeepSeq

#if MIN_VERSION_template_haskell(2,16,0)
import GHC.ForeignPtr
#endif

#if MIN_VERSION_template_haskell(2,17,0)
#else
unTypeCode = unTypeQ
#endif

instance {-# INCOHERENT #-} Trace where
  trace = flip const

-- TODO Use WQ: requires lift plugin to not require any Lift instance for variables (if missing)
parseMocked :: Trace => Parser a -> Code (Parser a) -> Code (String -> Maybe a)
parseMocked p qp = [|| \s ->
    parseMocked' $$qp `deepseq` $$(parse p) s
  ||]

parseMocked' :: Parser a -> Exp
parseMocked' = runTestQ (QState MockQ [] []) . unTypeCode . parse @String

deriving instance NFData Exp
deriving instance NFData Name
deriving instance NFData OccName
deriving instance NFData NameFlavour
deriving instance NFData ModName
deriving instance NFData NameSpace
deriving instance NFData PkgName
deriving instance NFData Lit
#if MIN_VERSION_template_haskell(2,16,0)
deriving instance NFData Bytes
instance NFData (ForeignPtr a) where rnf = rwhnf
#endif
deriving instance NFData Type
#if MIN_VERSION_template_haskell(2,17,0)
deriving instance NFData a => NFData (TyVarBndr a)
deriving instance NFData Specificity
#else
deriving instance NFData TyVarBndr
#endif
deriving instance NFData Pat
deriving instance NFData TyLit
deriving instance NFData Match
deriving instance NFData Body
deriving instance NFData Guard
deriving instance NFData Stmt
deriving instance NFData Dec
deriving instance NFData Clause
deriving instance NFData Con
deriving instance NFData Bang
deriving instance NFData SourceUnpackedness
deriving instance NFData SourceStrictness
deriving instance NFData DerivClause
deriving instance NFData Range
deriving instance NFData DerivStrategy
deriving instance NFData FunDep
deriving instance NFData Overlap
deriving instance NFData Foreign
deriving instance NFData Callconv
deriving instance NFData Fixity
deriving instance NFData FixityDirection
deriving instance NFData Safety
deriving instance NFData Pragma
deriving instance NFData Inline
deriving instance NFData TySynEqn
deriving instance NFData RuleMatch
deriving instance NFData TypeFamilyHead
deriving instance NFData FamilyResultSig
deriving instance NFData Phases
deriving instance NFData Role
deriving instance NFData InjectivityAnn
deriving instance NFData RuleBndr
deriving instance NFData PatSynArgs
deriving instance NFData AnnTarget
deriving instance NFData PatSynDir