MapUtils

org.encalmo.utils.MapUtils
object MapUtils

Attributes

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

Members list

Type members

Classlikes

object TypeReprIsMap

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def buildMapLoop(using cache: StatementsCache)(iteratorName: String, keyTpe: cache.quotes.reflect.TypeRepr, valueTpe: cache.quotes.reflect.TypeRepr, target: cache.quotes.reflect.Term, functionOnEntry: (cache.quotes.reflect.Term, cache.quotes.reflect.Term) => cache.quotes.reflect.Term): cache.quotes.reflect.Term