root
API
Generated with
root/org.encalmo.utils/StringUtils

StringUtils

org.encalmo.utils.StringUtils
object StringUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def applyToString(using cache: StatementsCache)(term: cache.quotes.reflect.Term): cache.quotes.reflect.Term

Best effort to convert a term to a string.

Best effort to convert a term to a string.

Attributes

def concat(using cache: StatementsCache)(term: cache.quotes.reflect.Term, terms: cache.quotes.reflect.Term*): cache.quotes.reflect.Term

Concatenate a list of terms to a string.

Concatenate a list of terms to a string.

Attributes

Generated with