root
root
API
org.encalmo.utils
AnnotationUtils
AnnotationInfo
CaseClassUtils
DebugUtils
EnumUtils
JavaIterableUtils
JavaMapUtils
JavaRecordUtils
MethodUtils
OpaqueTypeUtils
QuotesUtils
SelectableUtils
StatementsCache
StringUtils
TupleUtils
TypeNameUtils
TypeUtils
UnionUtils
root
/
org.encalmo.utils
/
JavaIterableUtils
JavaIterableUtils
org.encalmo.utils.JavaIterableUtils
object
JavaIterableUtils
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
JavaIterableUtils
.
type
Members list
Clear all
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
]
In this article
Attributes
Members list
Value members
Concrete methods