MultiArrayOf

object MultiArrayOf

An extractor for multi-dimensional arrays. Note that this will also extract the high bound if an element type is a wildcard upper-bounded by an array. E.g.

Array[? <: Array[? <: Number]]

would match

MultiArrayOf(<? <: Number>, 2)

class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(elem: Type, ndims: Int)(using Context): Type
def unapply(tp: Type)(using Context): Option[(Type, Int)]