Return to envaccess.sig CVS log

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

researchv10 Norman

(* Copyright 1989 by AT&T Bell Laboratories *)
(* envaccess.sig *)

signature ENVACCESS = sig

    structure Access : ACCESS
    structure Basics : BASICS
    structure Env : ENV

    val openStructureVar : Basics.structureVar -> unit

    val lookTYCinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.tycon ref
    val lookTYCinStr : Basics.Structure * Basics.Symbol.symbol -> Basics.tycon ref
    val lookTYC : Basics.Symbol.symbol -> Basics.tycon ref
    val lookTYClocal : Basics.Symbol.symbol -> Basics.tycon ref
    val bindTYC : Basics.Symbol.symbol * Basics.tycon ref -> Basics.binding
    val lookArTYCinSig : int -> Basics.Symbol.symbol * int -> Basics.tycon ref
    val lookArTYC : (Basics.Symbol.symbol * int -> Basics.tycon ref) ref
    val lookPathArTYCinSig : int -> (Basics.Symbol.symbol list * int) ->
			      Basics.tycon ref
    val lookPathArTYC : (Basics.Symbol.symbol list * int -> Basics.tycon ref) ref
    val protectDb : unit -> (unit -> unit) * (unit -> unit)

    val dconApplied: Basics.datacon * Env.info -> Basics.datacon
    val lookCONinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.datacon
    val lookCON  : Basics.Symbol.symbol -> Basics.datacon
    val lookCONlocal  : Basics.Symbol.symbol -> Basics.datacon
    val lookCONinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
		       * Basics.Symbol.symbol list -> Basics.datacon
    val bindCON : Basics.Symbol.symbol * Basics.datacon -> Basics.binding

    val unboundVAR : Basics.Symbol.symbol -> Basics.binding
    val varApplied: Basics.var * Env.info * Basics.Symbol.symbol list -> Basics.var
    val lookVARinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.var
    val lookVARCONinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.binding
    val lookVARCONinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
			  * Basics.Symbol.symbol list -> Basics.binding
    val lookVARCON  : Basics.Symbol.symbol -> Basics.binding
    val lookVARCONlocal : Basics.Symbol.symbol -> Basics.binding

    val getPatchVar : Basics.Symbol.symbol -> Basics.var ref
    val protectPatchList : (unit -> Basics.var ref list) *
			   (Basics.var ref list -> unit)
    val checkBinding : (Basics.Symbol.symbol * Basics.var) -> unit 
    val newVAR : (Basics.Symbol.symbol * Basics.var) list ref * Basics.Symbol.symbol ->
		  Basics.var
    val bindVAR : Basics.Symbol.symbol * Basics.var -> Basics.binding
    val bindVARs : (Basics.Symbol.symbol * Basics.var) list -> unit
    
    val protectTyvars : Basics.tyvar list option ->
		        (unit -> Basics.tyvar list) * (Basics.tyvar list -> unit)
    val currentTyvars : unit -> Basics.tyvar list
    val lookTyvar  : Basics.Symbol.symbol -> Basics.tyvar

    val looksLikeExn : Basics.Symbol.symbol -> bool
    val unboundEXN : Basics.Symbol.symbol -> Basics.datacon
    val lookEXNinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
		       * Basics.Symbol.symbol list -> Basics.datacon

    val lookSIG  : Basics.Symbol.symbol -> Basics.signatureVar
    val bindSIG  : Basics.Symbol.symbol * Basics.signatureVar -> unit

    val strApplied: Basics.structureVar * Env.info * Basics.Symbol.symbol list
		    -> Basics.structureVar
    val lookSTRinTable : Basics.symtable * Basics.Symbol.symbol -> Basics.structureVar
    val lookSTR0 : Basics.Symbol.symbol -> Basics.structureVar * Env.info
    val lookSTR : Basics.Symbol.symbol -> Basics.structureVar
    val lookSTRlocal : Basics.Symbol.symbol -> Basics.structureVar
    val lookSTRinStr : Basics.Structure * Basics.Symbol.symbol * Access.path
		       * Basics.Symbol.symbol list -> Basics.structureVar
    val bindSTR : Basics.Symbol.symbol * Basics.structureVar -> Basics.binding
    val bogusSTR: Basics.structureVar

    val lookFCT : Basics.Symbol.symbol -> Basics.functorVar

    val lookPathinStr: Basics.Structure * Access.path * Basics.Symbol.symbol list *
	  (Basics.Structure * Basics.Symbol.symbol * Access.path
	   * Basics.Symbol.symbol list -> 'a) -> 'a
    val lookPath: Basics.Symbol.symbol list * 
	  (Basics.Structure * Basics.Symbol.symbol * Access.path
	   * Basics.Symbol.symbol list -> 'a) -> 'a

    val bindFCT : Basics.Symbol.symbol * Basics.functorVar -> unit

    val lookFIX : Basics.Symbol.symbol -> Basics.fixity
    val bindFIX : Basics.Symbol.symbol * Basics.fixityVar -> Basics.binding

    val staleLvars : Env.env * Env.env -> int list
    val reset : unit -> unit

end  (* signature ENVACCESS *)

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