9af4c2777586001d175d0dc42417cf1be7aba75f
[ghc.git] / compiler / typecheck / TcUnify.hs-boot
1 module TcUnify where
2 import TcType      ( TcTauType )
3 import TcRnTypes   ( TcM )
4 import TcEvidence  ( TcCoercion )
5 import Outputable  ( Outputable )
6 import HsExpr      ( HsExpr )
7 import HsExtension ( GhcRn )
8
9 -- This boot file exists only to tie the knot between
10 --              TcUnify and Inst
11
12 unifyType :: Outputable a => Maybe a -> TcTauType -> TcTauType -> TcM TcCoercion
13 unifyKind :: Outputable a => Maybe a -> TcTauType -> TcTauType -> TcM TcCoercion
14 noThing   :: Maybe (HsExpr GhcRn)