compiler/typecheck/TcUnify.hi-boot-6

   1 module TcUnify where
   2
   3 -- This boot file exists only to tie the knot between
   4 --              TcUnify and TcSimplify
   5
   6 unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
   7 zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
   8 boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI