TiKEnv

Plain source file: base/TI/TiKEnv.hs (2003-02-13)

TiKEnv is imported by: OrigTiMonad, TiBySuper, TiClassInst2, TiDkc, TiSolve.

module TiKEnv(KEnv,extenv1,extenv,empty,lookup,domain,range) where
import Prelude hiding (lookup)
import TiEnvFM
import HsIdent(HsIdentI)
import TiTypes(Kind,TypeInfo)

type KEnv i = Env (HsIdentI i) (Kind,TypeInfo i) -- kind of type identifiers

Index

(HTML for this module was generated on 2009-01-04. About the conversion tool.)