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