[hcoop/debian/mlton.git] / lib / mlton / env / poly-cache.sig

(* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature POLY_CACHE =
   sig
      include FINITE_FUNCTION

      val addNew: ('a, 'b) t * 'a * 'b -> unit
      val eq: ('a, 'b) t * ('a, 'b) t -> bool
      val fromList: {equal: 'a * 'a -> bool, elements: ('a * 'b) list} -> ('a, 'b) t
      val getOrAdd: ('a, 'b) t * 'a * (unit -> 'b) -> 'b
      val new: {equal: 'a * 'a -> bool} -> ('a, 'b) t
      val peek: ('a, 'b) t * 'a -> 'b option
      val toList: ('a, 'b) t -> ('a * 'b) list
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	*
	4	* MLton is released under a BSD-style license.
	5	* See the file MLton-LICENSE for details.
	6	*)
	7
	8	signature POLY_CACHE =
	9	sig
	10	include FINITE_FUNCTION
	11
	12	val addNew: ('a, 'b) t * 'a * 'b -> unit
	13	val eq: ('a, 'b) t * ('a, 'b) t -> bool
	14	val fromList: {equal: 'a * 'a -> bool, elements: ('a * 'b) list} -> ('a, 'b) t
	15	val getOrAdd: ('a, 'b) t * 'a * (unit -> 'b) -> 'b
	16	val new: {equal: 'a * 'a -> bool} -> ('a, 'b) t
	17	val peek: ('a, 'b) t * 'a -> 'b option
	18	val toList: ('a, 'b) t -> ('a * 'b) list
	19	end