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

ArrayUtils

org.encalmo.utils.ArrayUtils
object ArrayUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ArrayUtils.type

Members list

Type members

Classlikes

object TypeReprIsArray

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def buildArrayLoop(using cache: StatementsCache)(arrayNamePrefix: String, tpe: 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

Build an efficient loop over an array.

Build an efficient loop over an array.

Attributes

def createArrayViaList(using cache: StatementsCache)(tpe: cache.quotes.reflect.TypeRepr, terms: List[cache.quotes.reflect.Term]): cache.quotes.reflect.Term
Generated with