;; -*-theme-*-

;; Copyright (C) 2015  Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.

(define-interface (examples hash-table)


  (import (standard-library core)
	  (standard-library singleton))

  (define-param-class :hash-table (%key %value) <object> #t #f #f module ()
    ((v-l-contents (:mutable-vector
		    (:uniform-list (:pair %key (:singleton %value))))
		   module module)
     (i-size <integer> module module)
     (hash (:procedure (%key <integer>) <integer> pure) module module)
     (eq-pred? (:procedure (%key %key) <boolean> pure) module module)))

  (declare make-hash-table
	   (:param-proc (%key %value)
			((:procedure (%key <integer>) <integer> pure)
			 (:procedure (%key %key) <boolean> pure)
			 <integer>)
			(:hash-table %key %value) pure))

  (declare-static-method gen-assoc
			 (:param-proc (%key %value)
				      ((:hash-table %key %value) %key)
				      (:maybe %value)
				      pure))
  
  (declare-static-method gen-assoc-set!
			 (:param-proc (%key %value)
				      ((:hash-table %key %value) %key %value)
				      <none>
				      nonpure)))
