hydra-kernel package
API
Generated with
hydra-kernel/hydra/hydra.dsl/hydra.dsl.names

hydra.dsl.names

package hydra.dsl.names

Members list

Value members

Concrete methods

def chooseUniqueLabel(arg0: TypedTerm[Set[String]])(arg1: TypedTerm[String]): TypedTerm[String]
def compactName(arg0: TypedTerm[Map[ModuleName, String]])(arg1: TypedTerm[Name]): TypedTerm[String]
def derivedBindingName(arg0: TypedTerm[Seq[String]])(arg1: TypedTerm[Boolean])(arg2: TypedTerm[Name]): TypedTerm[Name]
def derivedDefinitionName(arg0: TypedTerm[Seq[String]])(arg1: TypedTerm[Boolean])(arg2: TypedTerm[Boolean])(arg3: TypedTerm[Name])(arg4: TypedTerm[String]): TypedTerm[Name]
def derivedModuleName(arg0: TypedTerm[Seq[String]])(arg1: TypedTerm[Boolean])(arg2: TypedTerm[ModuleName]): TypedTerm[ModuleName]
def localNameOf(arg0: TypedTerm[Name]): TypedTerm[String]
def qname(arg0: TypedTerm[ModuleName])(arg1: TypedTerm[String]): TypedTerm[Name]
Generated with