JavaIterableUtils

org.encalmo.utils.JavaIterableUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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