ghc-6.12.3: The GHC API
Source code
Contents
Index
TcTyFuns
Synopsis
tcNormaliseFamInst
::
TcType
->
TcM
(
CoercionI
,
TcType
)
tcReduceEqs
:: [
Inst
] -> [
Inst
] ->
TcM
([
Inst
], [
Inst
],
TcTyVarBinds
,
TcDictBinds
)
misMatchMsg
::
TidyEnv
-> (
TcType
,
TcType
) -> (
TidyEnv
,
SDoc
)
failWithMisMatch
::
TcType
->
TcType
->
TcM
a
Documentation
tcNormaliseFamInst
::
TcType
->
TcM
(
CoercionI
,
TcType
)
Source
Normalise the given type as far as possible with toplevel equalities. This results in a coercion witnessing the type equality, in addition to the normalised type.
tcReduceEqs
:: [
Inst
] -> [
Inst
] ->
TcM
([
Inst
], [
Inst
],
TcTyVarBinds
,
TcDictBinds
)
Source
misMatchMsg
::
TidyEnv
-> (
TcType
,
TcType
) -> (
TidyEnv
,
SDoc
)
Source
failWithMisMatch
::
TcType
->
TcType
->
TcM
a
Source
Produced by
Haddock
version 2.6.1