| |||||
| |||||
Documentation | |||||
envDecls :: [Decl Id] -> t -> TypeState -> (Env, TypeState) | |||||
envPat :: Exp Id -> t -> TypeState -> (Env, TypeState) | |||||
envPats :: [Exp Id] -> t -> TypeState -> (Env, TypeState) | |||||
initEnv :: Env | |||||
lookupEnv :: Id -> Env -> Maybe NT | |||||
tvarsInEnv :: Env -> [Id] | |||||
Produced by Haddock version 0.8 |