Overview  Index  Help 
Standard ML Basis Library

Weak


structure Weak :> WEAK =
struct
  type 'a weak = 'a
  type weak' = Assembly.object
  val special_weak
  val weak : 'a -> 'a weak
  val strong : 'a weak -> 'a option
  val weak' : 'a -> weak'
  val strong' : weak' -> bool
end

 
Type detail

weak

type 'a weak = 'a


weak'

type weak' = Assembly.object

     
Value detail

special_weak

val special_weak

NOTE: this value must track the value given in the MachSpec.ObjDesc * structure. Eventually, we might make weak and strong into primops, * so that we don't need to keep things synchronized.


weak

val weak : 'a -> 'a weak


strong

val strong : 'a weak -> 'a option


weak'

val weak' : 'a -> weak'


strong'

val strong' : weak' -> bool

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).