Overview  Index  Help 
Standard ML Basis Library

Cont


structure Cont : CONT =
struct
  type 'a cont = 'a PrimTypes.cont
  type 'a control_cont = 'a InlineT.control_cont
  val callcc : ('a cont -> 'a) -> 'a
  val throw : 'a cont -> 'a -> 'b
  val isolate : ('a -> unit) -> 'a cont
  val capture : ('a control_cont -> 'a) -> 'a
  val escape : 'a control_cont -> 'a -> 'b
end

 
Type detail

cont

type 'a cont = 'a PrimTypes.cont


control_cont

type 'a control_cont = 'a InlineT.control_cont

     
Value detail

callcc

val callcc : ('a cont -> 'a) -> 'a


throw

val throw : 'a cont -> 'a -> 'b


isolate

val isolate : ('a -> unit) -> 'a cont


capture

val capture : ('a control_cont -> 'a) -> 'a


escape

val escape : 'a control_cont -> 'a -> 'b

 


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).