Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- matchGlobalInst :: DynFlags -> Bool -> Class -> [Type] -> TcM ClsInstResult
- data ClsInstResult
- = NoInstance
- | OneInst {
- cir_new_theta :: [TcPredType]
- cir_mk_ev :: [EvExpr] -> EvTerm
- cir_what :: InstanceWhat
- | NotSure
- data InstanceWhat
- = BuiltinInstance
- | BuiltinEqInstance
- | LocalInstance
- | TopLevInstance {
- iw_dfun_id :: DFunId
- iw_safe_over :: SafeOverlapping
- safeOverlap :: InstanceWhat -> Bool
- instanceReturnsDictCon :: InstanceWhat -> Bool
- data AssocInstInfo
- = NotAssociated
- | InClsInst { }
- isNotAssociated :: AssocInstInfo -> Bool
Documentation
matchGlobalInst :: DynFlags -> Bool -> Class -> [Type] -> TcM ClsInstResult Source #
data ClsInstResult Source #
NoInstance | |
OneInst | |
| |
NotSure |
Instances
Outputable ClsInstResult # | |
Defined in GHC.Tc.Instance.Class ppr :: ClsInstResult -> SDoc Source # |
data InstanceWhat Source #
BuiltinInstance | |
BuiltinEqInstance | |
LocalInstance | |
TopLevInstance | |
|
Instances
Outputable InstanceWhat # | |
Defined in GHC.Tc.Instance.Class ppr :: InstanceWhat -> SDoc Source # |
safeOverlap :: InstanceWhat -> Bool Source #
data AssocInstInfo Source #
Extra information about the parent instance declaration, needed
when type-checking associated types. The Class
is the enclosing
class, the [TyVar] are the scoped type variable of the instance decl.
The VarEnv Type
maps class variables to their instance types.
NotAssociated | |
InClsInst | |
|
isNotAssociated :: AssocInstInfo -> Bool Source #