MLton 20070826 Stabilizers
Home  Index  

Installation

License

Instructions

Bug reports / Suggestions

Note

Documentation

signature STABLE =
  sig
     type checkpoint

     val stable: ('a -> 'b) -> ('a -> 'b)
     val stabilize: unit -> 'a

     val stableCP: (('a -> 'b) * (unit -> unit)) -> 
                    (('a -> 'b) *  checkpoint)
     val stabilizeCP: checkpoint -> unit

     val unmonitoredAssign: ('a ref * 'a) -> unit
     val monitoredAssign: ('a ref * 'a) -> unit
  end

Stable provides functions to manage stable sections.

Download

Also see


Last edited on 2007-08-23 04:40:21 by MatthewFluet.