The STATICENV signature

Synopsis

signature STATICENV
structure StaticEnv : STATICENV


Interface

type staticEnv
type binding
exception Unbound
exception SpecialEnv
val empty : staticEnv
val look : (staticEnv * Symbol.symbol) -> binding
val bind : (Symbol.symbol * binding * staticEnv) -> staticEnv
val special : ((Symbol.symbol -> binding) * (unit -> Symbol.symbol list)) -> staticEnv
val atop : (staticEnv * staticEnv) -> staticEnv
val consolidate : staticEnv -> staticEnv
val consolidateLazy : staticEnv -> staticEnv
val app : ((Symbol.symbol * binding) -> unit) -> staticEnv -> unit
val map : (binding -> binding) -> staticEnv -> staticEnv
val fold : (((Symbol.symbol * binding) * 'a) -> 'a) -> 'a -> staticEnv -> 'a
val sort : staticEnv -> (Symbol.symbol * binding) list


Description

type staticEnv

type binding

exception Unbound

exception SpecialEnv

empty

look (st, sy)

bind (sy, bi, st)

special (f, g)

atop (st, st2)

consolidate st

consolidateLazy st

app f st

map f st

fold f a st

sort st