ghc-7.8.2: The GHC API

Safe HaskellNone
LanguageHaskell98

TcUnify

Documentation

tcGen :: UserTypeCtxt -> TcType -> ([TcTyVar] -> TcRhoType -> TcM result) -> TcM (HsWrapper, result) Source

checkConstraints :: SkolemInfo -> [TcTyVar] -> [EvVar] -> TcM result -> TcM (TcEvBinds, result) Source

newImplication :: SkolemInfo -> [TcTyVar] -> [EvVar] -> TcM result -> TcM (TcEvBinds, result) Source

tcInfer :: (TcType -> TcM a) -> TcM (a, TcType) Source