returns a function that, for a given (row: Int), produces a Boolean
value is true if the given row subsumes the provided jtpe
Tests whether the supplied JType includes the supplied CPath and CType.
Tests whether the supplied JType includes the supplied CPath and CType.
This is strict, so a JArrayFixedT(_) cannot include a CPathArray/CArrayType(_).
Constructs a JType corresponding to the supplied sequence of ColumnRefs.
Constructs a JType corresponding to the supplied sequence of ColumnRefs. Returns None if the supplied sequence is empty.
replaces all leaves in jtype
with leaf
This is a less-strict version of includes
.
This is a less-strict version of includes
. Instead of returning true iff
the (CPath, CType)
is included in the JType
, it returns true
if the
(CPath, CType)
pair may be required to satisify some requirement of the
JType
, even if the (CPath, CType)
may contain more than necessary (eg.
in the case of homogeneous arrays when only need a few elements).
Tests whether the supplied sequence contains all the (CPath, CType) pairs that are included by the supplied JType.