Yhc Source code Contents Index

Type.Env

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