ghc-6.12.3: The GHC API
Source code
Contents
Index
TcSimplify
Documentation
tcSimplifyInfer
::
SDoc
->
TcTyVarSet
-> [
Inst
] ->
TcM
([
TcTyVar
], [
Inst
],
TcDictBinds
)
Source
tcSimplifyInferCheck
::
InstLoc
->
TcTyVarSet
-> [
Inst
] -> [
Inst
] ->
TcM
([
TyVar
],
TcDictBinds
)
Source
tcSimplifyCheck
::
InstLoc
-> [
TcTyVar
] -> [
Inst
] -> [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifyRestricted
::
SDoc
->
TopLevelFlag
-> [
Name
] ->
TcTyVarSet
-> [
Inst
] ->
TcM
([
TyVar
],
TcDictBinds
)
Source
tcSimplifyRuleLhs
:: [
Inst
] ->
TcM
([
Inst
],
TcDictBinds
)
Source
tcSimplifyIPs
:: [
Inst
] -> [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifySuperClasses
::
InstLoc
->
Inst
-> [
Inst
] -> [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifyTop
:: [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifyInteractive
:: [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifyBracket
:: [
Inst
] ->
TcM
()
Source
tcSimplifyCheckPat
::
InstLoc
-> [
TcTyVar
] -> [
Inst
] -> [
Inst
] ->
TcM
TcDictBinds
Source
tcSimplifyDeriv
::
InstOrigin
-> [
TyVar
] ->
ThetaType
->
TcM
ThetaType
Source
tcSimplifyDefault
::
ThetaType
->
TcM
()
Source
bindInstsOfLocalFuns
:: [
Inst
] -> [
TcId
] ->
TcM
TcDictBinds
Source
misMatchMsg
::
TidyEnv
-> (
TcType
,
TcType
) -> (
TidyEnv
,
SDoc
)
Source
Produced by
Haddock
version 2.6.1