JavaMapUtils

org.encalmo.utils.JavaMapUtils
object JavaMapUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def maybeVisitJavaMap[T : Type](using Quotes)(functionExpr: [K, V] => (evidence$1: Type[K], evidence$2: Type[V], x$1: Quotes) ?=> Expr[Unit]): Option[Expr[Unit]]
def maybeVisitJavaMap[T : Type](using cache: StatementsCache)(functionExpr: [K, V] => (evidence$1: Type[K], evidence$2: Type[V], x$1: StatementsCache) ?=> Unit): Option[Unit]