ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

TcHsSyn

Documentation

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name Source

mkHsAppTy :: LHsType name -> LHsType name -> LHsType name Source

mkSimpleHsAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) Source

type TcId = Id Source

zonkTyBndrsX :: ZonkEnv -> [TyVar] -> TcM (ZonkEnv, [TyVar]) Source

emptyZonkEnv :: ZonkEnv Source

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv Source

mkTyVarZonkEnv :: [TyVar] -> ZonkEnv Source

zonkTcTypeToTypes :: ZonkEnv -> [TcType] -> TcM [Type] Source