Documentation

createMockBuilderVerifyParams :: Type -> Type Source #

createMockBuilderFnType :: Name -> Type -> Type Source #

data MockFnContext Source #

data MockFnBuilder Source #

buildMockFnContext :: MockType -> Name -> [VarAppliedType] -> MockOptions -> Name -> Type -> MockFnContext Source #

buildMockFnDeclarations :: MockFnContext -> Q [Dec] Source #

determineMockFnBuilder :: MockFnContext -> MockFnBuilder Source #

createNoInlinePragma :: Name -> Q Dec Source #

doCreateMockFnDecs :: Quote m => MockType -> String -> Name -> Name -> Type -> Name -> Type -> m [Dec] Source #

doCreateConstantMockFnDecs :: Quote m => MockType -> String -> Name -> Type -> Name -> m [Dec] Source #

doCreateEmptyVerifyParamMockFnDecs :: Quote m => String -> Name -> Name -> Type -> Name -> Type -> m [Dec] Source #

createMockBody :: Quote m => String -> m Exp -> Type -> m Exp Source #

createTypeablePreds :: [Type] -> [Pred] Source #

partialAdditionalPredicates :: Type -> Type -> [Pred] Source #

createFnName :: Name -> MockOptions -> String Source #

findParam :: forall (sym :: Symbol). KnownSymbol sym => Proxy sym -> [Definition] -> Maybe Dynamic Source #

typeToNames :: Type -> [Q Name] Source #

safeIndex :: [a] -> Int -> Maybe a Source #

generateInstanceMockFnBody :: String -> [Q Exp] -> Name -> MockOptions -> Q Exp Source #

generateInstanceRealFnBody :: Name -> String -> [Q Exp] -> Name -> MockOptions -> Q Exp Source #

generateStubFn :: [Q Exp] -> Q Exp -> Q Exp Source #