summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Unify.hs-boot
blob: 8afdbcd5ede6f54ef1d461cba66e7cad4e60c4a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
module GHC.Tc.Utils.Unify where

import GHC.Prelude
import GHC.Core.Type         ( Mult )
import GHC.Tc.Utils.TcType   ( TcTauType )
import GHC.Tc.Types          ( TcM )
import GHC.Tc.Types.Evidence ( TcCoercion, HsWrapper )
import GHC.Tc.Types.Origin   ( CtOrigin, TypedThing )


-- This boot file exists only to tie the knot between
--   GHC.Tc.Utils.Unify and GHC.Tc.Utils.Instantiate

unifyType :: Maybe TypedThing -> TcTauType -> TcTauType -> TcM TcCoercion
unifyKind :: Maybe TypedThing -> TcTauType -> TcTauType -> TcM TcCoercion

tcSubMult :: CtOrigin -> Mult -> Mult -> TcM HsWrapper