Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Typecheck.Types.Evidence
Description
NB: Supplants TcEvidence.
Documentation
module TcEvidence
ghc-user-0.2.0.0
Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Typecheck.Types.Evidence
Description
NB: Supplants TcEvidence.
module TcEvidence