ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcUnify

Synopsis

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

Infer a type using a type "checking" function by passing in a ReturnTv, which can unify with *anything*. See also Note [ReturnTv] in TcType