| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
System.Process.Quick.CallSpec
Synopsis
- type FoldrConstr (l :: [Type]) a = HFoldr (Mapcar (Fun CallArgumentGen (QR a))) [QR a] l [QR a]
- genCallSpec :: forall (l :: [Type]). (FoldrConstr l (Maybe VarBangType), FoldrConstr l Exp, Show (HList l)) => [VerificationMethod] -> String -> HList l -> Q [Dec]
- genArbitraryInstance :: Name -> QR Dec
- dataD' :: Quote m => Name -> [m Con] -> [m DerivClause] -> m Dec
- seqA :: Monad m => m [a] -> m [m a]
- programNameToHsIdentifier :: String -> Maybe (NonEmpty Char)
- module System.Process.Quick.CallSpec.Type
Documentation
type FoldrConstr (l :: [Type]) a = HFoldr (Mapcar (Fun CallArgumentGen (QR a))) [QR a] l [QR a] Source #
genCallSpec :: forall (l :: [Type]). (FoldrConstr l (Maybe VarBangType), FoldrConstr l Exp, Show (HList l)) => [VerificationMethod] -> String -> HList l -> Q [Dec] Source #
gen declaration of CallSpec record with CallSpec instance