basis-library/mlton/cont.sig

   1 (* Copyright (C) 1999-2005, 2008 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature MLTON_CONT =
  10    sig
  11       type 'a t
  12
  13       val callcc: ('a t -> 'a) -> 'a
  14       val isolate: ('a -> unit) -> 'a t
  15       val prepend: 'a t * ('b -> 'a) -> 'b t
  16       val throw: 'a t * 'a -> 'b
  17       val throw': 'a t * (unit -> 'a) -> 'b
  18    end