Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/library/cache.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/library/cache.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 775 - (download) (annotate)
Fri Jan 12 01:17:51 2001 UTC (18 years, 8 months ago) by leunga
File size: 577 byte(s)

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree
(*
 * This is a simple cache datatype.
 *
 * -- Allen
 *) 

signature CACHE_REF =
sig

   type 'a cache 

   val cache : ('a -> 'b) -> 'a -> 'b cache
   val flush : 'a cache -> unit
   val !     : 'a cache -> 'a
   val :=    : 'a cache * 'a -> unit

end

structure CacheRef :> CACHE_REF =
struct

   type 'a cache = 'a option ref * (unit -> 'a)

   fun cache f x = (ref NONE, fn _ => f x)

   fun flush (x,_) = x := NONE

   fun ! (r as ref NONE,f)    = let val x = f() in r := SOME x; x end
     | ! (r as ref(SOME x),f) = x

   val op := = fn((r, _),x) => r := SOME x

end 


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0