Return to stampset.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / basics

Annotation of researchv10no/cmd/sml/src/basics/stampset.sig, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* stampset.sig *)
        !             3: 
        !             4: (* two abstract types: stampset, realization
        !             5: 
        !             6:   stampset -- represents a set of stamps
        !             7:   'a realization -- represents a (finite) mapping of elements of a stampset to 'a
        !             8: 
        !             9:   stampsets and stampmaps are objects, in that they have state.  The only
        !            10:   changes to their states will be to add stamps or mappings, respectively.
        !            11: 
        !            12:   Each signature will contain a pair of stampsets: a type stampset and a
        !            13:   structure stampset.  These represent the bound stamps in the signature.
        !            14: 
        !            15:   Functors will also contain a pair of stampsets specifying the generatively bound
        !            16:   stamps in their body structure.
        !            17: 
        !            18:   A global pair of stampsets will contain the "fixed" or "free" stamps.
        !            19: 
        !            20:   All type (resp. structure) stampsets will be disjoint.
        !            21: 
        !            22: *)
        !            23: 
        !            24: signature STAMPSET =
        !            25: sig
        !            26: 
        !            27:   type stamp
        !            28:   type stampset      (* represents a set of stamps *)
        !            29:   type stampsets     (* a record containing two stampsets for structures
        !            30:                        and type constructors *)
        !            31:   type 'a stampmap   (* represents a finite mapping over a stampset to type 'a *)
        !            32: 
        !            33:   val newStampset: unit -> stampset
        !            34:     (* generate a new stampset, guaranteed to be disjoint from any
        !            35:        existing stampset *)
        !            36: 
        !            37:   val newStampsets : unit -> stampsets
        !            38:     (* generate a record containing two new stampsets *)
        !            39: 
        !            40:   val member : stamp * stampset -> bool
        !            41:     (* tests membership in a stampset *)
        !            42: 
        !            43:   val newStamp : stampset -> stamp
        !            44:     (* generate a new member of the given stampset *)
        !            45: 
        !            46:   val newMap : stampset * '1a -> '1a stampmap
        !            47:     (* generate a new stampmap over a given stampset with given default value *)
        !            48: 
        !            49:   val updateMap : 'a stampmap -> stamp * 'a -> unit
        !            50:     (* add mapping to a stampmap *)
        !            51: 
        !            52:   val applyMap : 'a stampmap * stamp -> 'a
        !            53:     (* apply stampmap to a stamp *)
        !            54: 
        !            55:   val join : stampset * stampset -> stamp -> stamp 
        !            56:     (* join(A,B) produces a translation function for elements of B and
        !            57:        adds translated version of B to A, side-effecting A *)
        !            58: 
        !            59:   val fixedStrStamps : stampset
        !            60:   val fixedTycStamps : stampset
        !            61:   val globalStamps : stampsets
        !            62:   val sigStamps : stampset
        !            63:  
        !            64:   val strFixed : stamp -> bool
        !            65:   val tycFixed : stamp -> bool
        !            66: 
        !            67: end (* STAMPSET *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.