blob: 9b75cea1130d8b82ac700a48eed4876144bb0296 (
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/GHC.Tc.Utils.TcMType
unifyType :: Maybe TypedThing -> TcTauType -> TcTauType -> TcM TcCoercion
unifyInvisibleType :: TcTauType -> TcTauType -> TcM TcCoercion
tcSubMult :: CtOrigin -> Mult -> Mult -> TcM HsWrapper
|
