Type

type-t

Description

Box type constructor. Internally represented as (array-t E).

Definition

(define-opaque-type (box-t E) (array-t E)
  (make-box (-> (box-t E)))
  (box-is-empty (-> (box-t E) bool-t))
  (box-put (-> (box-t E) E void-t))
  (box-get-maybe (-> (box-t E) (maybe-t E))))

Generated

(claim make-box (all (E) (-> (box-t E))))
(claim box-is-empty (all (E) (-> (box-t E) bool-t)))
(claim box-put (all (E) (-> (box-t E) E void-t)))
(claim box-get-maybe (all (E) (-> (box-t E) (maybe-t E))))
(claim box-get (all (E) (-> (box-t E) E)))

Examples

(define box (make-box))
(box-is-empty box)    ;; => true
(box-put box 42)
(box-is-empty box)    ;; => false
(box-get-maybe box) ;; => (just 42)
(box-get box)       ;; => 42