quick-process-0.0.1: test/System/Process/Quick/Test/CallSpec.hs

{-# LANGUAGE TemplateHaskell #-}
-- {-# OPTIONS_GHC -ddump-splices -ddump-to-file -dth-dec-file #-}
-- {-# OPTIONS_GHC -ddump-splices #-}
module System.Process.Quick.Test.CallSpec where

import Data.HList as HL
import Refined
import System.Process.Quick.Test.Prelude
import System.Process.Quick.CallArgument
import TH.Utilities qualified as TU
import Language.Haskell.TH
type VarStrArg = VarArg String


x :: String
x = $(stringE . show =<< TU.typeRepToType (typeRep (Proxy @(Refined (SizeEqualTo 2) String))))