The ENVIRONMENT signature


Synopsis

signature ENVIRONMENT
structure Environment : ENVIRONMENT

Interface

type staticEnv
type dynenv
type symenv
type environment
type symbol
val emptyEnv : environment
val staticPart : environment -> staticEnv
val dynamicPart : environment -> dynenv
val symbolicPart : environment -> symenv
val mkenv : {static : staticEnv, dynamic : dynenv, symbolic : symenv} -> environment
val layerEnv : (environment * environment) -> environment
val concatEnv : (environment * environment) -> environment
val layerStatic : (staticEnv * staticEnv) -> staticEnv
val layerSymbolic : (symenv * symenv) -> symenv
val filterEnv : (environment * Symbol.symbol list) -> environment
val filterStaticEnv : (staticEnv * Symbol.symbol list) -> staticEnv
val consolidateEnv : environment -> environment
val consolidateStatic : staticEnv -> staticEnv
val consolidateSymbolic : symenv -> symenv
val catalogEnv : staticEnv -> Symbol.symbol list
datatype cmEnv
  = CM_NONE
  | CM_ENV of {look : Symbol.symbol -> cmEnv, symbols : unit -> Symbol.symbol list}
val cmEnvOfModule : staticEnv -> Symbol.symbol -> cmEnv
val describe : staticEnv -> Symbol.symbol -> unit
val primEnv : staticEnv

Description

type staticEnv

type dynenv

type symenv

type environment

type symbol

emptyEnv


staticPart en


dynamicPart en


symbolicPart en


mkenv {static, dynamic, symbolic}


layerEnv (en, en2)


concatEnv (en, en2)


layerStatic (st, st2)


layerSymbolic (sy, sy2)


filterEnv (en, l)


filterStaticEnv (st, l)


consolidateEnv en


consolidateStatic st


consolidateSymbolic sy


catalogEnv st


datatype cmEnv

cmEnvOfModule st sy


describe st sy


primEnv