| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TcClassDcl
- tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM [TcMethInfo]
- tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id)
- findMethodBind :: Name -> LHsBinds Name -> Maybe (LHsBind Name, SrcSpan)
- instantiateMethod :: Class -> Id -> [TcType] -> TcType
- tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDef
- type HsSigFun = NameEnv (LHsSigType Name)
- mkHsSigFun :: [LSig Name] -> HsSigFun
- lookupHsSig :: HsSigFun -> Name -> Maybe (LHsSigType Name)
- emptyHsSigs :: HsSigFun
- tcMkDeclCtxt :: TyClDecl Name -> SDoc
- tcAddDeclCtxt :: TyClDecl Name -> TcM a -> TcM a
- badMethodErr :: Outputable a => a -> Name -> SDoc
- tcATDefault :: Bool -> SrcSpan -> TCvSubst -> NameSet -> ClassATItem -> TcM [FamInst]
Documentation
tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM [TcMethInfo] Source
tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDef Source
type HsSigFun = NameEnv (LHsSigType Name) Source
mkHsSigFun :: [LSig Name] -> HsSigFun Source
lookupHsSig :: HsSigFun -> Name -> Maybe (LHsSigType Name) Source
tcMkDeclCtxt :: TyClDecl Name -> SDoc Source
badMethodErr :: Outputable a => a -> Name -> SDoc Source
tcATDefault :: Bool -> SrcSpan -> TCvSubst -> NameSet -> ClassATItem -> TcM [FamInst] Source
Construct default instances for any associated types that aren't given a user definition Returns [] or singleton