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

SCM Repository

[smlnj] Annotation of /smlnj-lib/trunk/Util/fifo-sig.sml
ViewVC logotype

Annotation of /smlnj-lib/trunk/Util/fifo-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)
Original Path: sml/trunk/src/smlnj-lib/Util/fifo-sig.sml

1 : monnier 2 (* fifo-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1993 by AT&T Bell Laboratories. See COPYRIGHT file for details.
4 :     *
5 :     * Applicative fifos
6 :     *
7 :     *)
8 :    
9 :     signature FIFO =
10 :     sig
11 :     type 'a fifo
12 :    
13 :     exception Dequeue
14 :    
15 :     val empty : 'a fifo
16 :     val isEmpty : 'a fifo -> bool
17 :     val enqueue : 'a fifo * 'a -> 'a fifo
18 :     val dequeue : 'a fifo -> 'a fifo * 'a
19 :     val delete : ('a fifo * ('a -> bool)) -> 'a fifo
20 :     val head : 'a fifo -> 'a
21 :     val peek : 'a fifo -> 'a option
22 :     val length : 'a fifo -> int
23 :     val contents : 'a fifo -> 'a list
24 :     val app : ('a -> unit) -> 'a fifo -> unit
25 :     val map : ('a -> 'b) -> 'a fifo -> 'b fifo
26 :     val foldl : ('a * 'b -> 'b) -> 'b -> 'a fifo -> 'b
27 :     val foldr : ('a * 'b -> 'b) -> 'b -> 'a fifo -> 'b
28 :    
29 :     end (* FIFO *)

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