hydra.haskell.testing

Members list

Value members

Concrete methods

def buildNamespacesForTestGroup(mod: Module)(tgroup: TestGroup)(graph_: Graph): Either[String, ModuleNames[ModuleName]]
def buildTestModule(testModule: Module)(testGroup: TestGroup)(testBody: String)(namespaces: ModuleNames[ModuleName]): String
def collectNames(graf: Graph)(names: Set[Name])(t: Term): Set[Name]
def extractEncodedTermVariableNames(graf: Graph)(term: Term): Set[Name]
def extractTestTerms[T0, T1](tcm: T0): Seq[T1]
def findHaskellImports[T0](namespaces: ModuleNames[ModuleName])(names_: T0): Seq[String]
def generateHaskellTestFile(testModule: Module)(testGroup: TestGroup)(g: Graph): Either[String, (String, String)]
def generateTestCase[T0, T1](depth: T0)(tcm: TestCaseWithMetadata): Either[T1, Seq[String]]
def generateTestFile[T0](testModule: Module)(testGroup: TestGroup)(namespaces: ModuleNames[ModuleName]): Either[T0, (String, String)]
def generateTestGroupHierarchy[T0](depth: Int)(testGroup: TestGroup): Either[T0, String]
def namespaceToModuleName(ns_: ModuleName): String