| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Typecheck.Solver.Monad
Description
Type definitions for the constraint solver.
NB: Supplants TcSMonad.
Synopsis
- isFilledMetaTyVar :: TcTyVar -> TcS (Maybe Type)
Documentation
isFilledMetaTyVar :: TcTyVar -> TcS (Maybe Type) #
NB: Renamed from isFilledMetaTyVar_maybe.