validateAtom | ProjectM36.AtomType |
validateAtomType | ProjectM36.AtomType |
validateAttributes | ProjectM36.Tupleable |
validateDatabaseContextExprInSchema | ProjectM36.IsomorphicSchema |
validateDataConstructorDef | ProjectM36.AtomType |
validateDataConstructorDefArg | ProjectM36.AtomType |
validateGraph | ProjectM36.TransactionGraph |
validateHeadName | ProjectM36.TransactionGraph |
validateRelationalExprInSchema | ProjectM36.IsomorphicSchema |
validateSchema | ProjectM36.IsomorphicSchema |
validateTuple | ProjectM36.AtomType |
validateTypeConstructorDef | ProjectM36.AtomType |
validateTypeVarMap | ProjectM36.AtomType |
vectorIndicesForAttributeNames | ProjectM36.Tuple |
vectorUnion | ProjectM36.Tuple |
vectorUniqueify | ProjectM36.Attribute |
verifyAtomExprTypes | ProjectM36.RelationalExpression |
verifyAttributes | ProjectM36.Attribute |
verifyTuple | ProjectM36.Tuple |
verifyTupleSet | ProjectM36.TupleSet |