final
object
MultiArrayOf
An extractor for multi-dimensional arrays. Note that this will also extract the high bound if an element type is a wildcard. E.g.
Array[_ <: Array[_ <: Number]]
would match
MultiArrayOf(
Constructors
Members
def
apply
(
elem:
Type
,
ndims:
Int
)
(
implicit
ctx:
Context
)
: Type
def
unapply
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Option
[
(
Type, Int
)
]