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 2449 - (view) (download)

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 : jhr 2449 val next : 'a fifo -> ('a * 'a fifo) option
20 : monnier 2 val delete : ('a fifo * ('a -> bool)) -> 'a fifo
21 :     val head : 'a fifo -> 'a
22 :     val peek : 'a fifo -> 'a option
23 :     val length : 'a fifo -> int
24 :     val contents : 'a fifo -> 'a list
25 :     val app : ('a -> unit) -> 'a fifo -> unit
26 :     val map : ('a -> 'b) -> 'a fifo -> 'b fifo
27 :     val foldl : ('a * 'b -> 'b) -> 'b -> 'a fifo -> 'b
28 :     val foldr : ('a * 'b -> 'b) -> 'b -> 'a fifo -> 'b
29 :    
30 :     end (* FIFO *)

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