IterableUtils

org.encalmo.utils.IterableUtils
object IterableUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def buildIterableLoop(using cache: StatementsCache)(iteratorName: String, itemTpe: cache.quotes.reflect.TypeRepr, target: cache.quotes.reflect.Term, functionOnItem: (cache.quotes.reflect.TypeRepr, cache.quotes.reflect.Term, cache.quotes.reflect.Term) => cache.quotes.reflect.Term): cache.quotes.reflect.Term
def buildIterableLoop2(using cache: StatementsCache)(iteratorName: String, itemTpe: cache.quotes.reflect.TypeRepr, target: cache.quotes.reflect.Term, functionOnItem: (cache.quotes.reflect.TypeRepr, cache.quotes.reflect.Term) => cache.quotes.reflect.Term): cache.quotes.reflect.Term
def createStaticList(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, terms: List[cache.quotes.reflect.Term]): cache.quotes.reflect.Term

Create a static list from a list of terms.

Create a static list from a list of terms.

Attributes