Documentation

tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM ([TcMethInfo], NameEnv Type) Source

tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id) Source

findMethodBind :: Name -> LHsBinds Name -> Maybe (LHsBind Name, SrcSpan) Source

instantiateMethod :: Class -> Id -> [TcType] -> TcType Source

tcInstanceMethodBody :: SkolemInfo -> [TcTyVar] -> [EvVar] -> Id -> TcSigInfo -> TcSpecPrags -> LHsBind Name -> TcM (LHsBind Id) Source

tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDef Source

type HsSigFun = NameEnv (LHsType Name) Source

mkHsSigFun :: [LSig Name] -> HsSigFun Source

lookupHsSig :: HsSigFun -> Name -> Maybe (LHsType Name) Source

emptyHsSigs :: HsSigFun Source

tcMkDeclCtxt :: TyClDecl Name -> SDoc Source

tcAddDeclCtxt :: TyClDecl Name -> TcM a -> TcM a Source

badMethodErr :: Outputable a => a -> Name -> SDoc Source