Add array-empty?

Closes #969.
This commit is contained in:
Alex Shinn 2024-05-27 09:27:42 +09:00
parent 2f32ec6ba1
commit 7923b1c46d
3 changed files with 5 additions and 1 deletions

View file

@ -37,6 +37,7 @@
storage-class-data? storage-class-data->body
;; Arrays
make-array array? array-domain array-getter array-dimension
array-empty?
mutable-array? array-setter specialized-array-default-safe?
specialized-array-default-mutable? make-specialized-array
make-specialized-array-from-data

View file

@ -311,6 +311,9 @@
(define (array-dimension a)
(interval-dimension (array-domain a)))
(define (array-empty? a)
(interval-empty? (array-domain a)))
(define (mutable-array? x)
(and (array? x) (array-setter x) #t))

View file

@ -37,7 +37,7 @@
;; Arrays
make-array array? array-domain array-getter array-dimension
mutable-array? array-setter specialized-array-default-safe?
specialized-array-default-mutable?
specialized-array-default-mutable? array-empty?
make-specialized-array make-specialized-array-from-data
specialized-array? array-storage-class array-indexer array-body
array-safe? array-coeffs array-adjacent? array-packed?